Using probabilistic analysis for the certification of machine control systems
A. Cuzzocera et al.
|Titel||Using probabilistic analysis for the certification of machine control systems|
|Buchtitel||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.