Investigation on safety-related standards for critical systems

Proceedings - 2011 1st International Workshop on Software Certification, WoSoCER 2011 - In Conjunction with the 22nd International Symposium on Software Reliability Engineering, ISSRE 2011

Volumn , Issue , 2011, Pages 49-54

  Esposito, Christian ^a   Cotroneo, Domenico ^a   Silva, Nuno ^b  

^a CINI Consorzio Interuniversitario Nazionale per l'Informatica   (Italy)

^b Critical Software   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION DOMAINS; AREAS OF INTERESTS; CRITICAL SYSTEMS; DIFFERENT DOMAINS; INTERNATIONAL ORGANIZATIONS; SAFETY CRITICAL SYSTEMS; SAFETY LEVEL; SAFETY STANDARD;

COMPUTER SOFTWARE MAINTENANCE; INTERNATIONAL COOPERATION; SAFETY ENGINEERING; SECURITY SYSTEMS; STANDARDS;

SOFTWARE RELIABILITY;

EID: 84856111188     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WoSoCER.2011.9     Document Type: Conference Paper

References (18)

1. D.R. Wallace and R.U. Fujii. Software Verification and Validation: An Overview. IEEE Software, 6(3):10-17, May 1989.
2. S. Brown. Overview of IEC 61508 - Design of electrical/electronic/ programmable electronic safety-related systems. Computing & Control Engineering Journal, pages 6-12, February 2010.
3. M.H. Lloyd and P.J. Reeve. IEC 61508 and IEC 61511 Assessments some Lessons Learned. Proceedings of 4th IET International Conference on Systems Safety 2009 Incorporating the SaRS Annual Conference, pages 1-6, 2009.
4. R. Bell. Introduction and Revision of IEC 61508. Advances in Systems Safety, Part 6, pages 273-291, January 2011.
5. R.K. Panesar-Walawege, M. Sabetzadeh, L. Briand, and T. Coq. Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard. Proceedings of 3rd International Conference on Software Testing, Verification and Validation, April 2010.
6. M. Conrad. Testing-based translation validation of generated code in the context of IEC 61508. Formal Methods in System Design, 35(3):389-401, 2009.
7. P. Hokstad and K. Corneliussen. Loss of safety assessment and the IEC 61508 standard. Reliability Engineering & System Safety, 83(1):111-120, January 2004.
8. P. Baufreton, J.-P. Blanquart, J.-L. Boulanger, H. Delseny, J.-C. Derrien, J. Gassino, G. Ladier, E. Ledinot, M. Leeman, P. Quéré, and B. Ricque. Comparison between IEC 60880 and IEC 61508 for Certification Purposes in the Nuclear Domain. Computer Safety, Reliability, and Security - Lecture Notes in Computer Science, 6351/2010:55-67, 2010.
9. L.A. Johnson. DO-178B, "Software Considerations in Airborne Systems and Equipment Certification". Report available on line at www.dcs.gla.ac.uk/ johnson/teaching/safety/reports/schad.html.
10. M. Gerlach and R. Hilbrich and S. Weißleder. Can Cars Fly? From Avionics to Automotive: Comparability of Domain Specific Safety Standards. Proceedings of the Embedded World Conference, March 2011.
11. R. Bell. Introduction and Revision of IEC 61508. Proceedings of the 1993 Software Engineering Standards Symposium (SESS'93), pages 168-177, August/September 1993.
12. P. Baufreton, J.-P. Blanquart, J.-L. Boulanger, H. Delseny, J.-C. Derrien, J. Gassino, G. Ladier, E. Ledinot, M. Leeman, P. Quéré, and B. Ricque. Multi-domain Comparison of Safety Standards. Proceedings of the Embedded Real Time Software and Systems Conference, May 2010.
13. C. Esposito and D. Cotroneo and N. Silva. Preliminary Investigation on Safety-related Standards. Technical Report - Mobilab, available at www.mobilab.unina.it/techreports.html, September 2011.
14. A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr. Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing, 1:11-33, January-March 2004.
15. M. Grottke and K.S. Trivedi. A classification of software faults. In Supplemental Proc. Sixteenth International IEEE Symposium on Software Reliability Engineering, pages 4.19-4.20, 2005.
16. R.E. Bloomfield and B. Littlewood and D. Wright. Confidence: Its Role in Dependability Cases for Risk Assessment. Proceedings of 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 07), pages 338-346, June 2007.
17. J. Arlat et al. Fault Injection for Dependability Validation: A Methodology and Some Applications. IEEE Transactions on Software Engineering, 16(2):166-182, February 1990. (Pubitemid 20666028)
18. M. Broy. Challenges in automotive software engineering. Proceedings of the 28th international conference on Software engineering, pages 33-42, May 2006.