Skip to Main content Skip to Navigation
New interface
Conference papers

Using Probabilistic Analysis for the Certification of Machine Control Systems

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 probabilistic 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [29 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Wednesday, April 12, 2017 - 10:25:07 AM
Last modification on : Friday, April 2, 2021 - 12:02:01 PM
Long-term archiving on: : Thursday, July 13, 2017 - 12:29:52 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License


  • HAL Id : hal-01506575, version 1


Atif Mashkoor, Osman Hasan, Wolfgang Beer. Using Probabilistic Analysis for the Certification of Machine Control Systems. 1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.305-320. ⟨hal-01506575⟩



Record views


Files downloads