Characterizing the chain of evidence for software safety cases: A conceptual model based on the IEC 61508 standard

ICST 2010 - 3rd International Conference on Software Testing, Verification and Validation

Volumn , Issue , 2010, Pages 335-344

  Panesar Walawege, Rajwinder Kaur ^a   Sabetzadeh, Mehrdad ^a   Briand, Lionel ^a   Coq, Thierry ^b  

^a SIMULA RESEARCH LABORATORY   (Norway)

^b DNV GL   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

AFTER-THE-FACT; CHAIN OF EVIDENCE; CONCEPTUAL MODEL; FUNCTIONAL SAFETY; GENERIC MODELS; IEC 61508; INFORMATION REQUIREMENT; REGULATORY BODIES; SAFETY CASE; SAFETY CRITICAL SYSTEMS; SOFTWARE CERTIFICATION; SOFTWARE DEVELOPMENT; SOFTWARE ELEMENTS; SOFTWARE SAFETY; SYSTEM SUPPLIERS; TRACEABILITY LINKS;

SOFTWARE DESIGN; SOFTWARE TESTING; STANDARDS; VERIFICATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 77954526885     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICST.2010.12     Document Type: Conference Paper

References (21)

1. T. P. Kelly, Arguing Safety - A Systematic Approach to Managing Safety Cases, PhD Thesis, University of York, 1998
2. S. P. Wilson, T. P. Kelly, and J. A. McDermid, "Safety Case Development: Current Practice, Future Prospects," in Safety and Reliability of Software Based Systems: 12th Annual CSR Workshop, 1995.
3. P. Bishop and R. Bloomfield, "A Methodology for Safety Case Development," Proceedings of the 6th Safety-critical Systems Symposium, 1998.
4. T. Kelly and R. Weaver, "The goal structuring notation - a safety argument notation," Proceedings of the Dependable Systems and Networks - Workshop on Assurance Cases, 2004.
5. D. Jackson, M. Thomas, and L. I. Millett, Software for Dependable Systems - Sufficient Evidence?: The National Academies Press, 2007.
6. J. A. McDermid, "Support for Safety cases and safety arguments using sam.," Reliability Engineering and System Safety, vol. 43, pp. 111-127, 1994.
7. "Functional Safety of Electrical / Electronic / Programmable Electronic Safety-related Systems (IEC 61508)," International Electrotechnical Commission: International Electrotechnical Commission, 2005.
8. Rules for Classification of Ships, http://www.dnv.com/industry/maritime/ rulesregulations/dnvrules/rulesclassships/, 2009
9. J. Holt and S. Perry, SysML for Systems Engineering: Institute of Engineering and Technology, 2008.
10. Lionel Briand, Thierry Coq, Shiva Nejati, Rajwinder Kaur Panesar-Walawege, and M. Sabetzadeh, Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard., http://modelme.simula.no/, 2009
11. MDT/OCL, http://wiki.eclipse.org/MDT/OCL, 2009
12. "Ships and marine technology - Computer applications - General principles for the development and use of programmable electronic systems in marine applications (ISO 17894)," International Organization for Standardization, 2005.
13. Dave Steinberg, Frank Budinsky, Marcelo Paternostro, and E. Merks, EMF: Eclipse Modeling Framework, 2nd ed.: Addison-Wesley, 2008.
14. C. A. Ericson, Hazard Analysis Techniques for System Safety: John Wiley & Sons, 2005.
15. T. Kelly and J. McDermid, "Safety Case Patterns - Reusing Successful Arguments," Colloquium on Understanding Patterns and Their Application to Systems Engineering, 1998.
16. M. Huhn and A. Zechner, "Analysing Dependability Case Arguments using Quality Models," Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security, 2009.
17. G. Despotou, D. Kolovos, R. F. Paige, and T. Kelly, "Defining a Framework for the Development and Management of Dependability Cases," Proceedings of 26th International System Safety Conference, 2008.
18. R. Lewis, "Safety Case Development as an Information Model," in Safety-Critical Systems: Problems, Process and Practice, Proceedings of the Seventeenth Safety-Critical Systems Symposium, 2009.
19. T. Cockram and B. Lockwood, "Electronic Safety Case: Challenges and Opportunities," Safety-Critical Systems, Current Issues, techniques and standards, 2003.
20. P. W. H. Chung, L. Y. C. Cheung, and C. H. C. Machin, "Compliance Flow - Managing the compliance of dynamic and complex processes," Knowledge-Based Systems, vol. 21, pp. 332-354, 2008.
21. Y. Papadopoulos and J. A. McDermid, "A Harmonised Model for Safety Assessment and Certification of Safety-Critical Systems in the Transportation Industries," Requirements Engineering, vol. 3, pp. 143-149, 1998.