Abstract
Many safety-related, certification standards exist for developing safety-critical systems. System safety assessments are common practice and system certification according to a standard requires submitting relevant software safety information to appropriate authorities. The airworthiness standard, RTCA DO-178B, is the de-facto standard for certifying aerospace systems containing software. This research introduces an approach to improve communication and collaboration among safety engineers and software engineers by proposing a Unified Modeling Language (UML) profile that allows software engineers to model safety-related concepts and properties in UML, the de-facto software modeling language. Key safety-related concepts are extracted from RTCA DO-178B, and then a UML profile is defined to enable their precise modeling. We show that the profile improves the line of communication between safety engineers and software engineers, for instance by allowing the automated generation of certification-related information from UML models. This is illustrated through a case study on developing an aircraft’s navigation controller subsystem.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
CENELECÂ ENÂ 50128: Railway Applications: Software for Railway Control and Protection Systems, Version (1997)
Gomaa, H.: Designing Concurrent, Distributed, and Real-Time Applications with UML, Object Technology. Addison Wesley, Reading (2000)
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)
Hayhurst, K.J., Holloway, C.M.: Challenges in Software Aspects of Aerospace Systems. In: Proc. Annual NASA Goddard Software Engineering Workshop (2001)
Herrmann, D.S.: Software Safety and Reliability: Techniques, Approaches, and Standards of Key Industrial Sectors. Wiley, Chichester (2000)
International Electrotechnical Commission (IEC), Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems, IEC 61508 (1998)
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)
Leveson, N.G.: Safeware - System Safety and Computers. Addison-Wesley, Reading (1995)
Meunier, J.-N., Lippert, 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)
Nilsen, K.: Certification Requirements for Safety-Critical Software. RTC Magazine (2004)
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
OMG: UML Profile for Schedulability, Performance, and Time Specification, Adopted Specification (2005), http://www.omg.org/docs/formal/05-01-02.pdf
Pender, T.: UML Bible. Wiley, Chichester (2003)
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)
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)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zoughbi, G., Briand, L., Labiche, Y. (2007). A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds) Model Driven Engineering Languages and Systems. MODELS 2007. Lecture Notes in Computer Science, vol 4735. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75209-7_39
Download citation
DOI: https://doi.org/10.1007/978-3-540-75209-7_39
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75208-0
Online ISBN: 978-3-540-75209-7
eBook Packages: Computer ScienceComputer Science (R0)