Designing reliable cyber-physical systems
author
statement of authorship
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
source
Languages, design methods, and tools for electronic system design : selected contributions from FDL 2016
location of publication
Cham
publisher
year of publication
pages
p. 15-38 : ill
series
Lecture notes in electrical engineering; 454
conference name, date
2016 Forum on Specification & Design Languages, September 14-16, 2016
conference location
Bremen, Germany
kvartiil
category (general)
category (sub)
keyword
adaptive test strategy generation
automatic test case generation
checker minimization
checker qualification
counterexample-guided inductive synthesis
cross-layered fault management
dependable CPSoC
gating-aware error injection
health monitors
parameter synthesis
ISSN
1876-1100
ISBN
978-3-319-62919-3
notes
Bibliogr.: 54 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
TTÜ department
language
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).