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

Francesco Flammini

ISBN 10: 3639194098 / ISBN 13: 9783639194098

Published by VDM Verlag Dr. Müller, 2009

About this Item

Model-Based Dependability Evaluation of Critical Control Systems | A practical survey of advanced techniques for model-based system testing and reliability evaluation | Francesco Flammini | Taschenbuch | Englisch | VDM Verlag Dr. Müller | EAN 9783639194098 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu.

Seller Inventory # 101491946

Bibliographic Details

• Title: Model-Based Dependability Evaluation of Critical Control Systems | A practical survey of advanced techniques for model-based system testing and reliability evaluation
• Publisher: VDM Verlag Dr. Müller
• Publication Date: 2009
• Language: English
• ISBN 10: 3639194098
• ISBN 13: 9783639194098
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 12W x 156H x 226D millimeters 12 millimeters width by 156 millimeters height by 226 millimeters depth
• Weight: 240 grams
• Seller catalogs:
  • Bücher

About this title

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.

About the Author

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.