Skip to Main content Skip to Navigation
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

https://hal.inria.fr/hal-01506575
Contributor : Hal Ifip <>
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

File

978-3-642-40588-4_21_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

  • HAL Id : hal-01506575, version 1

Citation

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⟩

Share

Metrics

Record views

173

Files downloads

414