Integrating model checking with HiP-HOPS in model-based safety analysis

Reliability Engineering and System Safety

Volumn 135, Issue , 2015, Pages 64-80

  Sharvia, Septavera ^a   Papadopoulos, Yiannis ^a  

^a UNIVERSITY OF HULL   (United Kingdom)

Author keywords

Failure logic synthesis analysis; Fault tolerance; Fault tree analysis; HiP HOPS; Model checking; Model based safety analysis

Indexed keywords

CODES (SYMBOLS); FAULT TOLERANCE; FAULT TREE ANALYSIS; SYSTEMS ANALYSIS;

BRAKE-BY-WIRE SYSTEMS; EXTENDED MODEL; INTEGRATING MODEL; LOGIC SYNTHESIS; MODEL-BASED SAFETY ANALYSIS; SAFETY ANALYSIS; SAFETY CRITICAL SYSTEMS; SYSTEM MODELING;

MODEL CHECKING;

EID: 84918819168     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2014.10.025     Document Type: Article

References (35)

1. IEC Hazard and operability studies (HAZOP studies) 2000 International Electrotechnical Commission (IEC)
2. WE Vesely, FF Goldberg, NH Roberts, and DF. Haasl Fault tree handbook 1981 Nuclear Regulatory Commission Washington DC, USA
3. IEC60812. Functional safety of electrocal/electronic/programmable electronic safety/related systems, analysis techniques for system reliability - procedure for failure mode and effect analysis (FMEA); 1991.
4. MPE. Heimdahl Formal model-based development in aerospace systems: challenges to adoption. In: Lecture notes, 2007 University of Minnesota Software Engineering Centre Critical System Research Group, Minnesota
5. T. Weilkiens Systems engineering with SysML/UML: modeling, analysis, design 2008 Morgan Kaufmann CA, USA
6. Feiler PH, Gluch DP, Hudak JJ. The architecture analysis and design language (AADL): an introduction; 2006.
7. P Cuenot, DJ Chen, S Gerard, H LöNN, MO Reiser, and D Servat Towards improving dependability of automotive systems by using the EAST-ADL architecture description language Lect Notes Comput Sci 4615 2006 39 65
8. Walker M, Mahmud N, Papadopoulos Y, Tagliabò F, Torchiaro S, Schierano W, et al. ATESST: review of relevant safety analysis techniques; 2010.
9. Clarke EM, Wing JM. Formal methods: state of the art and future directions ACM computer surveys; 1996. vol 28, p. 626-643.
10. Papadopoulos Y, Maruhn M. Model-based automated synthesis of fault trees from Matlab-Simulink models. In: International conference on dependable systems and networks; 2001. p. 77-82.
11. A Cimatti, E Clarke, F Giuchiglia, and M. Roveri NuSMV: a new symbolic model verifier Computer-aided verification 1999 Springer-Verlag London 495 499
12. Walker M, Papadopoulos Y. PANDORA: the time of priority-AND gates. INCOM. France; 2006. p. 237-42.
13. Parker D, Papadopoulos Y. Optimization of networked controlled systems using model-based safety analysis techniques. In: IEEE international conference on networking, sensing and control. London; 2007. p. 425-430.
14. P Fenelon, and JA. McDermid An integrated toolset for software safety analysis J Syst Software 21 3 1993 279 290
15. Kaiser B, Liggesmeyer P, Mackel O. A new component concept for fault tree. In: Eighth Australian workshop on safety crucial systems and software; 2003.
16. L Grunske, B Kaiser, and Y. Papadopoulos Model-driven safety evaluation with state-event-based component failure annotation Lect Notes Comput Sci 3489 2005 33 48
17. EM Clarke, and A. Emerson Characterizing correctness properties of parallel programs using fixpoints Automata Lang Program 1980 169 181
18. A Arnold, P Gerald, A Griffault, and A. Rauzy The Altarica formalism for describing concurrent systems Fundam Inf 34 2000 109 124
19. M Bozzano, and A. Villafiorita The FSAP/NuSMV-SA safety analysis platform Int J Software Tools Technol Trans (STTT) 9 2006 5 24
20. McMillan KL. Symbolic model checking Kluwer; 1993.
21. SP Miller, A Tribble, M Whalen, and M. Heimdahl Proving the shalls: early validation of requirements through formal models Int J Software Tools Technol Trans (STTT) 8 2003 303 319
22. IEC61508 Functional safety of electrical/electronic/programmable electronic safety-related systems 1998 International Electrotechnical Commission Geneva
23. Y Papadopoulos, and C. Grante Evolving car designs using model-based automated safety analysis and optimisation techniques J Syst Software 76 2005 77 89
24. Y Papadopoulos, M Walker, D Parker, E Rüde, R Hamann, and A Uhlig Engineering failure analysis and design optimisation with HiP-HOPS J Eng Fail Anal 18 2011 590 608
25. Y. Papadopoulos Safety-directed system monitoring using safety cases 2000 University of York
26. N Suri, C Walter, and MM. Hugue Advances in ultra-dependable distributed systems 1995 IEEE Computer Society Press
27. K. Loer Model-based automated analysis for dependable interactive systems 2003 University of York
28. AL Juarez-Domiguez, AD Nancy, and JJ. Joyce Modelling feature interactions in the automotive domain Int Workshop Models Software Eng (MiSE) 2008 45 50
29. B Berard, M Bidoit, A Finkel, F Laroussinie, A Petit, and L. Petrucci System and software verification: model-checking techniques and tools 1999 Springer-Verlarg Germany
30. Tribble AC, Miller SP. Software safety analysis of a flight management - a status report. In: 22nd digital avionics systems conference; 2003.
31. Y. Papadopoulos Safety analysis of a distributed brake by wire system for cars. ESPRIT 23396 (TTA) deliverable 1998 University of York
32. D. Colombo Brake-by-wire system development: technology and development process 2007 FIAT Group Torino
33. B Hedenetz, and R. Belschner Brake-by-wire without mechanical backup using a TTP-communication network Soc Automotive Eng Int 1998
34. S Sharvia, and Y. Papadopoulos Integrated application of compositional and behavioural safety analysis Dependability and complex system 2011 2011 Springer Wroclaw
35. Papadopoulos Y, McDermid JA. Hierarchically performed hazard origin and propagation studies. In: 18th International conference on computer safety, reliability and security. Toulouse: Springer-Verlag; 1999. p.139-152.