Abstract
Verification and Validation represent key activities to be properly conducted during the development of safety-critical systems. Due to their importance, international organizations have issued regulations to disciple how these activities have to be performed in order to achieve systems of high quality. In particular, each of them indicates a definition of what safety means, proper qualitative and quantitative properties for evaluating the quality of the system under development, and a set of methodologies to be used for assessing the fulfillment of the mentioned properties. These standards are today an essential tool for ensuring the required safety levels in many domains that require extremely high dependability. This paper summarizes the analysis on a set of well-known safety standards in different domains of critical systems with the intend of highlighting similarities and differences among them, pointing out common areas of interest and reporting on which features the newest (and upcoming) standards are focusing.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Wallace, D., Fujii, R.: Software verification and validation: an overview. IEEE Softw. 6(3), 10–17 (1989)
Brown, S.: Overview of IEC 61508—Design of electrical/electronic/programmable electronic safety-related systems. Comput. Control Eng. J. (2010)
Lloyd, M., Reeve, P.: IEC 61508 and IEC 61511 assessments some lessons learned. In: Proceedings of 4th IET International Conference on Systems Safety 2009 Incorporating the SaRS Annual Conference (2009)
Bell, R.: Introduction and revision of IEC 61508. Adv. Syst. Saf. (2011)
Panesar-Walawege, R., Sabetzadeh, M., Briand, L., Coq, T.: Characterizing the chain of evidence for software safety cases: a conceptual model based on the IEC 61508 standard. In: Proceedings of 3rd International Conference on Software Testing, Verification and Validation, April 2010
Conrad, M.: Testing-based translation validation of generated code in the context of IEC 61508. Formal Methods Syst. Des. 35(3), 389–401 (2009)
Hokstad, P., Corneliussen, K.: Loss of safety assessment and the IEC 61508 standard. Reliab. Eng. Syst. Saf. 83(1), 111–120 (2004)
Baufreton, P., Blanquart, J.P., Boulanger, J.L., Delseny, H., Derrien, J.C., Gassino, J., Ladier, G., Ledinot, E., Leeman, M., Quéré, P., Ricque, B.: Comparison between IEC 60880 and IEC 61508 for certification purposes in the nuclear domain. In: Computer Safety, Reliability, and Security—Lecture Notes in Computer Science 6351/2010 (2010)
Johnson, L.: DO-178B, Software considerations in airborne systems and equipment certification.http://www.dcs.gla.ac.uk/johnson/teaching/safety/reports/schad.html
Gerlach, M., Hilbrich, R., Weißleder, S.: Can cars fly?. comparability of domain specific safety standards. In: Proceedings of the Embedded World Conference, Mar 2011
Bell, R.: Introduction and revision of IEC 61508. In: Proceedings of the 1993 Software Engineering Standards Symposium (SESS’93) Aug/Sept 1993
Baufreton, P., Blanquart, J.P., Boulanger, J.L., Delseny, H., Derrien, J.C., Gassino, J., Ladier, G., Ledinot, E., Leeman, M., Quéré, P., Ricque, B.: Multi-domain comparison of safety standards. In: Proceedings of the Embedded Real Time Software and Systems Conference, May 2010
Esposito, C., Cotroneo, D., Silva, N.: Preliminary investigation on safety-related standards. Technical Report—Mobilab. www.mobilab.unina.it/techreports.html. Sept 2011
Grottke, M., Trivedi, K.: A classification of software faults. In: Supplemental Proceedings of Sixteenth International IEEE Symposium on Software Reliability Engineering (2005)
Bloomfield, R., Littlewood, B., Wright, D.: Confidence: Its Role in Dependability Cases for Risk Assessment. In: Proceedings of 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 07) June 2007
Arlat, J. et al.: Fault injection for dependability validation: a methodology and some applications. IEEE Trans. Softw. Eng. 16(2), 166–182 (1990)
Broy, M.: Challenges in automotive software engineering. In: Proceedings of the 28th international conference on Software engineering, May 2006
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Italia
About this chapter
Cite this chapter
Esposito, C., Barbosa, R., Silva, N. (2013). Safety-Critical Standards for Verification and Validation. In: Cotroneo, D. (eds) Innovative Technologies for Dependable OTS-Based Critical Systems. Springer, Milano. https://doi.org/10.1007/978-88-470-2772-5_4
Download citation
DOI: https://doi.org/10.1007/978-88-470-2772-5_4
Published:
Publisher Name: Springer, Milano
Print ISBN: 978-88-470-2771-8
Online ISBN: 978-88-470-2772-5
eBook Packages: Computer ScienceComputer Science (R0)