Using probabilistic analysis for the certification of machine control systems
|A. Mashkoor, O. Hasan, W. Beer. Using probabilistic analysis for the certification of machine control systems. volume 8128, pages 305-320, 9, 2013.|
|Buch||Security Engineering and Intelligence Informatics - Proc. CD-AReS 2013 Workshops|
|Serie||Lecture Notes in Computer Science|
Traditional testing techniques often reach their limits when employed for the assessment of critical Machine Control Systems as they contain a large amount of random and unpredictable components. The probabilistic analysis approach can assist in their evaluation by providing a subjective evidence of their safety and reliability. The synergy of proba- bilistic analysis and expressiveness of higher-order logic theorem proving results into convincing modelling and reasoning of several stringent safety cases that contribute towards the certification of high-assurance systems.