Innovative technologies for dependable ots-based critical systems: challenges and achievements of the critical step project
Éditeur :
Springer Verlag
ISBN :
9788847027718
Date de publication :
25 janv. 2013
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Italie
The book introduces methods and tools adopted by the critical systems industry, and surveys key achievements of the CRITICAL STEP project along four directions: fault injection tools, V&V of critical systems, runtime monitoring and evaluation techniques, and security assessment.