Formal safety analysis in industrial practice

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6959 LNCS, Issue , 2011, Pages 68-84

  Daskaya, Ilyas ^a   Huhn, Michaela ^b   Milius, Stefan ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

^b CLAUSTHAL UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Deductive Cause Consequence Analysis; model based development; Scade

Indexed keywords

CAUSE-CONSEQUENCE ANALYSIS; COMPARATIVE STUDIES; COMPOSITIONAL VERIFICATION; FORMAL SAFETY; FORMAL VERIFICATIONS; INDUSTRIAL CASE STUDY; INDUSTRIAL PRACTICES; LEVEL CROSSING; LIVENESS PROPERTIES; MEDIUM SIZE; MODEL TRANSFORMATION; MODEL-BASED DEVELOPMENT; SAFETY REQUIREMENTS; SCADE; SIGNIFICANT IMPACTS; TIMED AUTOMATA; VERIFICATION TASK; MODEL BASED DEVELOPMENT;

ABSTRACTING; FORMAL METHODS; INDUSTRY; SECURITY SYSTEMS; FORMAL VERIFICATION;

ACCIDENT PREVENTION;

EID: 80052741706     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-24431-5_7     Document Type: Conference Paper

References (20)

1. Abdulla, P.A., Deneux, J., Stålmarck, G., Ågren, H., Åkerlund, O.: Designing Safe, Reliable Systems Using Scade. In: Margaria, T., Steffen, B. (eds.) ISoLA 2004. LNCS, vol. 4313, pp. 115-129. Springer, Heidelberg (2006), http://dx.doi.org/10.1007/11925040-8
2. Alur, R., Courcoubetis, C., Dill, D.L.: Model-checking in dense real-time. Information and Computation 104(1), 2-34 (1993)
3. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126, 183-235 (1994)
4. André, C.: Semantics of S.S.M (safe state machine). Tech. Rep. UMR 6070, I3S Laboratory, University of Nice-Sophia Antipolis (2003)
5. Bozzano, M., Villafiorita, A.: Improving system reliability via model checking: The fsap/nusmv-sa safety analysis platform (2003)
6. CENELEC: EN 50128 - Railway Applications - Software for Railway Control and Protection Systems. European Standard (2001)
7. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)
8. Daskaya, I.: Comparative Safety Analysis and Verification for Level Crossings. Master's thesis, Technische Universität Braunschweig (2011)
9. DIN: EN 50126: Spezifikation und Nachweis der Zuverlässigkeit, Verfügbarkeit, Instandhaltbarkeit und Sicherheit, RAMS (1999)
10. DIN: EN 50129: Bahnanwendungen - Telekommunikationstechnik, Signaltechnik und Datenverarbeitungssysteme - Sicherheitsrelevante elektronische Systeme für Signaltechnik (2003)
11. Güdemann, M., Ortmeier, F., Reif,W.: Using deductive cause-consequence analysis (DCCA) with SCADE. In: Saglietti, F., Oster, N. (eds.) SAFECOMP 2007. LNCS, vol. 4680, pp. 465-478. Springer, Heidelberg (2007)
12. Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow programming language LUSTRE. Proceedings of the IEEE 79(9), 1305-1320 (1991)
13. Hanisch, H.M., Pannier, T., Peter, D., Roch, S., Starke, P.: Modeling and formal verification of a modular level-crossing controller design (2000)
14. IEC 60812: Analysis techniques for system reliability (2006)
15. IEC 61508: Functional safety of electrical/electronic/programmable electronic safety-related systems - Part 3: Software requirements (1998), corrigendum (1999)
16. Joshi, A., Whalen, M.: Modelbased safety analysis: Final report. Tech. rep., NASA (2005)
17. Lamport, L.: What good is temporal logic. Information Processing 83, 657-668 (1983)
18. McDermid, J.A., Nicholson, M., Pumfrey, D.J., Fenelon, P.: Experience with the application of HAZOP to computer-based systems. In: 10th Annual Conference on Computer Assurance (Compass), pp. 37-48 (1995)
19. Ortmeier, F., Reif, W., Schellhorn, G.: Deductive cause consequence analysis (DCCA). In: Proc. IFAC World Congress. Elsevier, Amsterdam (2006)
20. UPPAAL 4.0: Small Tutorial (November 16, 2009), http://www.it.uu.se/ research/group/darts/uppaal/smalltutorial.pdf