Model-Based Dependability Evaluation of Critical Control Systems: A practical survey of advanced techniques for model-based system testing and reliability evaluation - Couverture souple

Flammini, Francesco

 
9783639194098: Model-Based Dependability Evaluation of Critical Control Systems: A practical survey of advanced techniques for model-based system testing and reliability evaluation
Couverture souple
ISBN 10 : 3639194098 ISBN 13 : 9783639194098
Editeur : VDM Verlag, 2009

Synopsis

The complexity and criticality of modern control systems are rapidly growing. This book addresses the issue of dependability assessment by means of model-based techniques, both as a support for software testing and a means to evaluate quantitative reliability attributes. Models allow engineers to fine tune effectiveness and efficiency according to system complexity and dependability requirements. Real-world engineering problems are clearly presented in the book, and solutions are described from both theoretical and practical points of view. In order to demonstrate the feasibility of the approaches, several example applications on railway systems are described.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

The complexity and criticality of modern control systems are rapidly growing. This book addresses the issue of dependability assessment by means of model-based techniques, both as a support for software testing and a means to evaluate quantitative reliability attributes. Models allow engineers to fine tune effectiveness and efficiency according to system complexity and dependability requirements. Real-world engineering problems are clearly presented in the book, and solutions are described from both theoretical and practical points of view. In order to demonstrate the feasibility of the approaches, several example applications on railway systems are described.

Biographie de l'auteur

Francesco Flammini holds a Ph.D. in Computer & Systems Engineering from the University of Naples Federico II. Since 2003, he has worked in Ansaldo STS on the dependability of real-time control systems and on the security of transportation infrastructures. He teaches Computer Science, Software Engineering, Computer Dependability and Risk Assessment.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
VDM Verlag
Date d'édition
2009
Langue
anglais
ISBN 10 
3639194098
ISBN 13 
9783639194098
Reliure
Broché
Nombre de pages
148
Coordonnées du fabricant
non disponible
Personne responsable
Buchpark GmbH
gpsr@buchpark.de

Krügerweg 1
Trebbin
Brandenburg
14959
Allemagne