Formal support for quantitative analysis of residual risks in safety-critical systems

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn , Issue , 2008, Pages 154-164

  Elmqvist, Jonas ^a   Nadjm Tehrani, Simin ^a  

^a LINKÖPING UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; MODEL CHECKING; PATIENT MONITORING; QUALITY ASSURANCE; RELIABILITY; RISK PERCEPTION; SAFETY ENGINEERING; SECURITY SYSTEMS; SYSTEMS ANALYSIS; SYSTEMS ENGINEERING;

DESIGN MODELING; FAILURE PROBABILITIES; FORMAL MODELING; PROBABILISTIC MODEL (PM); RESIDUAL RISKS; SAFETY ASSESSMENTS; SYSTEM LEVELS;

QUALITY CONTROL;

EID: 58449105122     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2008.59     Document Type: Conference Paper

References (34)

1. R. Alur and T. A. Henzinger. Reactive modules. In Proceedings of the 11th Symposium on Logic in Computer Science (L1CS '96), pages 207-218. IEEE Computer Society, 1996.
2. AUTOSAR. http://www.autosar.org. URL, October 2006.
3. A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, 01(1):11-33, 2004.
4. A. Aziz, K. Sanwal, V. Singhal, and R. K. Brayton. Verifying continuous time markov chains. In CAV '96: Proceedings of the 8th International Conference on Computer Aided Verification, pages 269-276, London, UK, 1996. Springer-Verlag.
5. C. Baier, B. R. Haverkort, H. Hermanns, and J.-P. Katoen. Automated performance and dependability evaluation using model checking. In Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures, pages 261-289, London, UK, 2002. Springer-Verlag.
6. A. Bondavalli and L. Simoncini. Failures classification with respect to detection. In 2nd. IEEE Workshop on Future Trends in Distributed Computing Systems, pages 47-53, Cairo, Egypt, September 30 - October 2 1990. also Esprit PDCS (Predictably Dependable Computing Systems) report 1st Year Deliverables, 1990.
7. M. Bozzano, A. Villafiorita, O. kerlund, P. Bieber, C. Boug-nol, E. Bde, M. Bretschneider, A. Cavallo, C. Cas-tel, M. Cifaldi, A. Cimatti, A. Griffault, C. Kehren, B. Lawrence, A. Ldtke, S. Metge, C. Papadopoulos, R. Pas-sarello, T. Peikenkamp, P. Persson, C. Seguin, L. Trotta, L. Valacca, and G. Zacco. ESACS: an integrated methodology for design and safety analysis of complex systems. In ESREL 2003, pages 237-245. Balkema, June 2003.
8. J. Elmqvist and S. Nadjm-Tehrani. Safety-oriented design of component assemblies using safety interfaces. In Third International Workshop on Formal Aspects of Component Software (FACS'06), pages 1-15, Prague, Czech Republic, September 2006. ENTCS.
9. J. Elmqvist, S. Nadjm-Tehrani, and M. Minea. Safety interfaces for component-based systems. In R. Winther, B. A. Gran, and G. Dahll, editors, SAFECOMP, volume 3688 of Lecture Notes in Computer Science, pages 246-260. Springer Verlag, 2005.
10. Esterel Technologies. Design Verifier User Manual, 2004.
11. L. Grunske, R. Colvin, and K. Winter. Probabilistic model-checking support for FMEA. Quantitative Evaluation of Systems, pages 119-128, Sept. 2007.
12. L. Grunske, P. A. Lindsay, N. Yatapanage, and K. Winter. An automated failure mode and effect analysis based on high-level design specification with behavior trees. In J. Romijn, G. Smith, and J. van de Pol, editors, 1FM, volume 3771 of Lecture Notes in Computer Science, pages 129-149. Springer, 2005.
13. N. Halbwachs, F. Lagnier, and P. Raymond. Synchronous observers and the verification of reactive systems. In Third Int. Conf. on Algebraic Methodology and Software Technology, pages 83-96. Springer Verlag, 1993.
14. J. Hammarberg and S. Nadjm-Tehrani. Formal verification of fault tolerance in safety-critical reconfigurable modules. In International Journal of Software Tools for Technology Transfer (STTT), volume 7, pages 195-291. Springer Verlag, June 2005.
15. T. Han and J. P. Katoen. Counterexamples in probabilistic model checking. In O. Grumberg and M. Huth, editors, Proceedings of the 13th International Conference on Tools and Algorithms for Construction and Analysis of Systems, volume 4424 of Lecture Notes in Computer Science, pages 72-86. Springer Verlag, July 2007.
16. E. Henley and H. Kumamoto. Reliability Engineering and Risk Assessment. Prentice Hall, 1981.
17. A. Joshi and M. P. Heimdahl. Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. In SAFECOMP, volume 3688 of LNCS, pages 122-135. Springer-Verlag, Sept 2005.
18. A. Joshi and M. P. E. Heimdahl. Behavioral fault modeling for model-based safety analysis. In HASE '07: Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium, pages 199-208, Washington, DC, USA, 2007. IEEE Computer Society.
19. M. Kwiatkowska, G. Norman, and D. Parker. PRISM: Probabilistic symbolic model checker. In Computer Performance Evaluation/TOOLS, pages 200-204. Springer Verlag, 2002.
20. M. Kwiatkowska, G. Norman, and D. Parker. Controller dependability analysis by probabilistic model checking. Control Engineering Practice, 15(11): 1427-1434, 2006.
21. M. Kwiatkowska, G. Norman, and D. Parker. Stochastic model checking. In Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation, volume 4486 of Lecture Notes in Computer Science, pages 220-270. Springer Verlag, june 2007.
22. N. Leveson. Safeware. Addison-Wesley, 1995.
23. I. Majzik, A. Pataricza, and A. Bondavalli. Stochastic dependability analysis of system architecture based on UML models. In Architecting Dependable Systems, volume 2677 of Lecture notes in computer science, pages 219-244. Springer Verlag, 2003.
24. Z. Manna and A. Pnueli. The temporal logic of reactive and concurrent systems: Specification. Springer-Verlag, 1992.
25. G. Norman, D. Parker, M. Kwiatkowska, and S. Shukla. Evaluating the reliability of NAND multiplexing with PRISM. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 24(10): 1629-1637, 2005.
26. Y. Papadopoulos, J. A. McDermid, R. Sasse, and G. Heiner. Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Reliability Engineering and System Safety, 71(3):229-247, 2001.
27. Y. Papadopoulos, D. Parker, and C. Grante. Automating the failure modes and effects analysis of safety critical systems. In Proc. of the 8th IEEE International Symposium on High Assurance Systems Engineering (HASE'04), March 2004.
28. P. J. Prisaznuk. Integrated modular avionics. In National Aerospace and Electronics Conf, volume 1, pages 39-45, May 1993.
29. PRISM Model Checker.http://www.prismmodelchecker.org. URL, March 2008.
30. D. Raheja. Software system failure mode and effects analysis (SSFMEA) - a tool for reliability growth. In International Symposium on Reliability and Maintainability (ISRM'90), pages 271-277, Tokyo, Japan, 1990.
31. R. H. Reussner, H. W. Schmidt, and I. H. Poernomo. Reliability prediction for component-based software architectures. J. Syst. Softw., 66(3):241-252, 2003.
32. G. Rodrigues, D. Rosenblum, and S. Uchitel. Using scenarios to predict the reliability of concurrent component-based software systems. In Fundamental Approaches to Software Engineering, volume 3442 of Lecture Notes in Computer Science, pages 111-126. Springer Verlag, 2005.
33. E. Technologies. Esterel Studio 5.0 User Manual, 2004.
34. E. Technologies. Scade Suite 4.3 User Manual, 2006.