Bookcover of Model-Based Dependability Evaluation of Critical Control Systems
Booktitle:

Model-Based Dependability Evaluation of Critical Control Systems

A practical survey of advanced techniques for model-based system testing and reliability evaluation

VDM Verlag Dr. Müller (2009-09-08 )

Books loader

Omni badge eligible for voucher
ISBN-13:

978-3-639-19409-8

ISBN-10:
3639194098
EAN:
9783639194098
Book language:
English
Blurb/Shorttext:
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.
Publishing house:
VDM Verlag Dr. Müller
Website:
http://www.vdm-verlag.de
By (author) :
Francesco Flammini
Number of pages:
148
Published on:
2009-09-08
Stock:
Available
Category:
Informatics, IT
Price:
59.00 €
Keywords:
computer dependability, Safety, Reliability, Verification, critical real-time control systems, assessment and certification, Software testing, multi-formalism modeling, Railways, ERTMS/ETCS, Complexity, critical real-time control systems

Books loader

Adyen::diners Adyen::jcb Adyen::discover Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Adyen::paypal Paypal Wire Transfer

  0 products in the shopping cart
Edit cart
Loading frontend
LOADING