Designing reliable cyber-physical systems

vastutusandmed
Gadi Aleksandrowicz, Eli Arbel, Roderick Bloem, Timon D. ter Braak, Sergei Devadze, Goerschwin Fey, Maksim Jenihhin, Artur Jutman, Hans G. Kerkhoff, Robert Könighofer, Shlomit Koyfman, Jan Malburg, Shiri Moran, Jaan Raik, Gerard Rauwerda, Heinz Riener, Franz Röck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, and Yong Zhao
allikas
Languages, design methods, and tools for electronic system design : selected contributions from FDL 2016
ilmumiskoht
Cham
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 15-38 : ill
seeria-sari
Lecture notes in electrical engineering; 454
konverentsi nimetus, aeg
2016 Forum on Specification & Design Languages, September 14-16, 2016
konverentsi toimumispaik
Bremen, Germany
võtmesõna
adaptive test strategy generation
automatic test case generation
checker minimization
checker qualification
counterexample-guided inductive synthesis
CPS
cross-layered fault management
dependable CPSoC
gating-aware error injection
health monitors
parameter synthesis
ISSN
1876-1100
ISBN
978-3-319-62919-3
märkused
Bibliogr.: 54 ref
TTÜ struktuuriüksus
keel
inglise
Aleksandrowicz, G., Arbel, E., Bloem, R., Devadze, S., Jenihhin, M., Jutman, A., Raik, J., Shibin, K. et al. Designing reliable cyber-physical systems // Languages, design methods, and tools for electronic system design : selected contributions from FDL 2016. Cham : Springer, 2018. p. 15-38 : ill. (Lecture notes in electrical engineering; 454).