full record print

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
url
ISSN
1876-1100
ISBN
978-3-319-62919-3
notes
Bibliogr.: 54 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
subject term
keyword
adaptive test strategy generation
automatic test case generation
checker minimization
checker qualification
concurrent online checkers
counterexample-guided inductive synthesis
CPS
cross-layered fault management
cyber-physical systems
dependable CPSoC
embedded systems
fault classification
gating-aware error injection
health monitors
parameter synthesis
reliability analysis
system-on-chip
Reserch Group
Centre for trustworthy and efficient computing hardware (TECH)
Centre of dependable computing systems
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). https://doi.org/10.1007/978-3-319-62920-9_2