Using probabilistic analysis for the certification of machine control systems

O. Hasan. Using probabilistic analysis for the certification of machine control systems. volume 8128, pages 305-320, 9, 2013.

Autoren
  • O. Hasan
BuchSecurity Engineering and Intelligence Informatics - Proc. CD-AReS 2013 Workshops
TypIn Konferenzband
VerlagSpringer
SerieLecture Notes in Computer Science
Band8128
ISBN978-3-642-40587-7
Monat9
Jahr2013
Seiten305-320
Abstract

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.