A UML profile for developing airworthiness-compliant (RTCA DO-178B), safety-critical software

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4735 LNCS, Issue , 2007, Pages 574-588

  Zoughbi, Gregory ^a,b   Briand, Lionel ^b   Labiche, Yvan ^b  

^a General Dynamics Canada   (Canada)

^b CARLETON UNIVERSITY   (Canada)

Author keywords

Airworthiness; Certification; Certification authority; RTCA DO 178B; Safety; Safety assessment; Safety critical; UML; UML profile

Indexed keywords

AUTOMATIC PROGRAMMING; DATA COMMUNICATION EQUIPMENT; SECURITY OF DATA; SOFTWARE ENGINEERING;

CERTIFICATION AUTHORITY; CERTIFICATION STANDARDS; NAVIGATION CONTROLLER SUBSYSTEM;

UNIFIED MODELING LANGUAGE;

EID: 38049082909     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75209-7_39     Document Type: Conference Paper

References (15)

1. CENELEC EN 50128: Railway Applications: Software for Railway Control and Protection Systems, Version (1997)
2. Gomaa, H.: Designing Concurrent, Distributed, and Real-Time Applications with UML, Object Technology. Addison Wesley, Reading (2000)
3. Hansen, K.T., Gullesen, I.: Utilizing UML and Patterns for Safety Critical Systems. In: Proc. Workshop on Critical Systems Development with UML, in conjunction with the International Conference on the UML (2002)
4. Hayhurst, K.J., Holloway, CM.: Challenges in Software Aspects of Aerospace Systems. In: Proc. Annual NASA Goddard Software Engineering Workshop (2001)
5. Herrmann, D.S.: Software Safety and Reliability: Techniques, Approaches, and Standards of Key Industrial Sectors. Wiley, Chichester (2000)
6. International Electrotechnical Commission (IEC), Functional Safety of Electrical/ Electronic/Programmable Electronic Safety-Related Systems, IEC 61508 (1998)
7. Jürjens, J.: Developing Safety-Critical Systems with UML. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 360-372. Springer, Heidelberg (2003)
8. Leveson, N.G.: Safeware - System Safety and Computers. Addison-Wesley, Reading (1995)
9. Meunier, J.-N., Lippen, F., Jadhav, R.: RT Modeling with UML for Safety Critical Applications - the HIDOORS Project Example. In: Proc. Workshop on Specification and Validation of UML Models for Real-Time and Embedded Systems, in conjunction with the International Conference on the UML (2003)
10. Nilsen, K.: Certification Requirements for Safety-Critical Software. RTC Magazine (2004)
11. OMG: UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms (2005), Final Adopted Submission, http://www.omg.org/docs/ptc/05-05-02.pdf
12. OMG: UML Profile for Schedulability, Performance, and Time Specification, Adopted Specification (2005), http://www.omg.org/docs/formal/05-01-02.pdf
13. Pender, T.: UML Bible. Wiley, Chichester (2003)
14. RTCA: Software Considerations in Airbone Systems and Equipment Certification, Radio Technical Commission for Aeronautics (RTCA), European Organization for Civil Aviation Electronics (EUROCAE), Standard Document no. DO-178B/ED-12B, (December 1992)
15. Zoughbi, G., Briand, L.C., Labiche, Y.: A UML Profile For Developing Airworthiness-Compliant (RTCA DO-178B) Safety-Critical Software. Carleton University, Technical Report SCE-05-19 (December 2006)