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.
Type de document :
Communication dans un congrès
Alfredo Cuzzocrea; Christian Kittl; Dimitris E. Simos; Edgar Weippl; Lida Xu. 1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. Springer, Lecture Notes in Computer Science, LNCS-8128, pp.305-320, 2013, Security Engineering and Intelligence Informatics
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01506575
Contributeur : Hal Ifip <>
Soumis le : mercredi 12 avril 2017 - 10:25:07
Dernière modification le : lundi 8 octobre 2018 - 21:18:02
Document(s) archivé(s) le : jeudi 13 juillet 2017 - 12:29:52

Fichier

978-3-642-40588-4_21_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

  • HAL Id : hal-01506575, version 1

Citation

Atif Mashkoor, Osman Hasan, Wolfgang Beer. Using Probabilistic Analysis for the Certification of Machine Control Systems. Alfredo Cuzzocrea; Christian Kittl; Dimitris E. Simos; Edgar Weippl; Lida Xu. 1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. Springer, Lecture Notes in Computer Science, LNCS-8128, pp.305-320, 2013, Security Engineering and Intelligence Informatics. 〈hal-01506575〉

Partager

Métriques

Consultations de la notice

44

Téléchargements de fichiers

37