TalTech publikatsioonid
pealdis Aleksandrowicz, G., Arbel, E., Bloem, R., Devadze, S., Jenihhin, M., Jutman, A., Raik, J., Shibin, K. et al.
TTÜ struktuuriüksus arvutisüsteemide instituut
maakood ch
keel inglise
autor Aleksandrowicz, Gadi
Arbel, Eli
Bloem, Roderick
Devadze, Sergei
Jenihhin, Maksim
Jutman, Artur
Raik, Jaan
Shibin, Konstantin
pealkiri 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 Springer
ilmumisaasta 2018
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
märksõna adaptiivsüsteemid
arvutisüsteemid
küberruum
manussüsteemid
usaldusväärsus
võtmesõna 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
ISSN 1876-1100
ISBN 978-3-319-62919-3
märkused Bibliogr.: 54 ref
url https://doi.org/10.1007/978-3-319-62920-9_2