%0 Book %1 flammini2009 %A Flammini, Francesco %B Model-Based Dependability Evaluation %D 2009 %E Flammini, Francesco %I VDM Verlag, Germany %K assessment certification control dependability evaluation model-based railway real-time reliability safety-critical software systems testing %T Model-Based Dependability Evaluation of Critical Control Systems %U http://www.amazon.com/Model-Based-Dependability-Evaluation-Critical-Control/dp/3639194098 %X 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. %7 1st

@book{flammini2009, abstract = {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. }, added-at = {2009-10-03T17:25:49.000+0200}, author = {Flammini, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/2d451af6c7b901b99db9ed633cf2d0cfb/flamminifra}, booktitle = {Model-Based Dependability Evaluation}, description = {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.}, edition = {1st}, editor = {Flammini, Francesco}, interhash = {a8e3f3643503f22e94c7ecfcce20a464}, intrahash = {d451af6c7b901b99db9ed633cf2d0cfb}, keywords = {assessment certification control dependability evaluation model-based railway real-time reliability safety-critical software systems testing}, month = {September}, note = {ISBN-13: 978-3639194098}, publisher = {VDM Verlag, Germany}, timestamp = {2009-10-03T17:25:50.000+0200}, title = {Model-Based Dependability Evaluation of Critical Control Systems}, url = {http://www.amazon.com/Model-Based-Dependability-Evaluation-Critical-Control/dp/3639194098}, year = 2009 }