This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Planning for Safety Standards Compliance: A Model-Based Tool-Supported Approach
May-June 2012 (vol. 29 no. 3)
pp. 64-70
Davide Falessi, University of Rome Tor Vergata and Simula Research Laboratory
Mehrdad Sabetzadeh, Simula Research Laboratory
Lionel Briand, University of Luxembourg
Emanuele Turella, University of Rome Tor Vergata
Thierry Coq, Det Norske Veritas, Paris
Rajwinder Kaur Panesar-Walawege, Simula Research Laboratory
Safety-critical software-dependent systems such as those found in the avionics, automotive, maritime, and energy domains often require certification based on one or more safety standards. To demonstrate compliance with software safety standards, such as IEC 61508, suppliers must collect evidence that the certifiers can use. Without an upfront agreement between the system supplier and the certifier about the necessary evidence to collect, omissions invariably occur and must be remedied after the fact and at significant costs. The authors present a flexible approach and a supporting tool for assisting suppliers and certifiers in developing an agreement about the evidence necessary to demonstrate compliance to a safety standard. The approach is model-based—specifically, it expresses the safety standard of interest via an information model. The supporting tool, which is available online, takes this information model as input and helps system suppliers and certifiers reach a documented, consistent agreement about the safety evidence to be collected.

1. T.P. Kelly, Arguing Safety - A Systematic Approach to Managing Safety Cases, Univ. of York, 1998.
2. T. Spencer, “The A400M Military Transport Aircraft,” Defense Viewpoints,11 Dec. 2011; www.defenceviewpoints.co.uk/defence-industry the-a400m-military-transport-aircraft .
3. Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems (IEC 61508), Int'l Electrotechnical Commission, 2005.
4. R.K. Panesar-Walawege et al., “Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard,” Proc. 2010 3rd Int'l Conf. Software Testing, Verification, and Validation, IEEE CS, 2010, pp. 335–344.
5. Recommended Practice DNV-RP-A201–Plan Approval Documentation Types, DNV, 2010; http://exchange.dnv.com/publishing/Codes/ download.asp?url=2010-04rp-a201.pdf.
1. M. Silverman, Compliance Management for Public, Private, or Non-Profit Organizations, McGraw-Hill, 2008.
2. R. Sturm and W. Morris, Foundations of Service Level Management, Sams Publishing, 2000.
3. R. Lewis, “Safety Case Development as an Information Model,” Proc. 17th Safety-Critical Systems Symp. Safety-Critical Systems: Problems, Process and Practice, Springer, 2009, pp. 183–193.
4. “What Is CASS? Accredited Certification for Safety Systems to IEC 61508 and Related Standards,” 61508 Assoc., 2005; www.61508.orgcass.htm.
5. W. Foddy, Constructing Questions for Interviews and Questionnaires, Cambridge Univ. Press, 1994.
1. M. Silverman, Compliance Management for Public, Private, or Non-Profit Organizations, McGraw-Hill, 2008.
2. R. Sturm and W. Morris, Foundations of Service Level Management, Sams Publishing, 2000.
3. R. Lewis, “Safety Case Development as an Information Model,” Proc. 17th Safety-Critical Systems Symp. Safety-Critical Systems: Problems, Process and Practice, Springer, 2009, pp. 183–193.
4. “What Is CASS? Accredited Certification for Safety Systems to IEC 61508 and Related Standards,” 61508 Assoc., 2005; www.61508.orgcass.htm.
5. W. Foddy, Constructing Questions for Interviews and Questionnaires, Cambridge Univ. Press, 1994.

Index Terms:
software quality assurance planning, SQA, verification and validation planning, V and V, standards, software and system safety
Citation:
Davide Falessi, Mehrdad Sabetzadeh, Lionel Briand, Emanuele Turella, Thierry Coq, Rajwinder Kaur Panesar-Walawege, "Planning for Safety Standards Compliance: A Model-Based Tool-Supported Approach," IEEE Software, vol. 29, no. 3, pp. 64-70, May-June 2012, doi:10.1109/MS.2011.116
Usage of this product signifies your acceptance of the Terms of Use.