Using probabilistic analysis for the certification of machine control systems

Autoren Atif Mashkoor
O. Hasan
Wolfgang Beer
Editoren A. Cuzzocera et al.
TitelUsing probabilistic analysis for the certification of machine control systems
BuchtitelSecurity Engineering and Intelligence Informatics - Proc. CD-AReS 2013 Workshops
Typin Konferenzband
VerlagSpringer
SerieLecture Notes in Computer Science
Band8128
ISBN978-3-642-40587-7
MonatSeptember
Jahr2013
Seiten305-320
SCCH ID#1327
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.