%0 Conference Proceedings
%T Using Probabilistic Analysis for the Certification of Machine Control Systems
%+ Software Competence Center Hagenberg (SCCH)
%+ School of Electrical Engineering and Computer Science [Islamabad Univ] (NUST - SEECS)
%A Mashkoor, Atif
%A Hasan, Osman
%A Beer, Wolfgang
%Z Part 2: Security Engineering
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES)
%C Regensburg, Germany
%Y Alfredo Cuzzocrea
%Y Christian Kittl
%Y Dimitris E. Simos
%Y Edgar Weippl
%Y Lida Xu
%I Springer
%3 Security Engineering and Intelligence Informatics
%V LNCS-8128
%P 305-320
%8 2013-09-02
%D 2013
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%2 https://inria.hal.science/hal-01506575/document
%2 https://inria.hal.science/hal-01506575/file/978-3-642-40588-4_21_Chapter.pdf
%L hal-01506575
%U https://inria.hal.science/hal-01506575
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC5
%~ IFIP-WG
%~ IFIP-TC8
%~ IFIP-CD-ARES
%~ IFIP-WG8-4
%~ IFIP-WG8-9
%~ IFIP-LNCS-8128