Using probabilistic analysis for the certification of machine control systems

Autoren Atif Mashkoor
O. Hasan
Wolfgang Beer
Editoren 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
Typ in Konferenzband
Verlag Springer
Serie Lecture Notes in Computer Science
Band 8128
ISBN 978-3-642-40587-7
Monat September
Jahr 2013
Seiten 305-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.