Abstract
Several safety-related standards exist for developing and certifying safety-critical systems. System safety assessments are common practice and system certification according to a standard requires submitting relevant system safety information to appropriate authorities. The RTCA DO-178B standard is a software quality assurance, safety-related standard for the development of software aspects of aerospace systems. This research introduces an approach to improve communication and collaboration among safety engineers, software engineers, and certification authorities in the context of RTCA DO-178B. This is achieved by utilizing a Unified Modeling Language (UML) profile that allows software engineers to model safety-related concepts and properties in UML, the de facto software modeling standard. A conceptual meta-model is defined based on RTCA DO-178B, and then a corresponding UML profile, which we call SafeUML, is designed to enable its precise modeling. We show how SafeUML improves communication by, for example, allowing monitoring implementation of safety requirements during the development process, and supporting system certification per RTCA DO-178B. This is enabled through automatic generation of safety and certification-related information from UML models. We validate this approach through a case study on developing an aircraft’s navigation controller subsystem.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Balasubramanian K., Krishna A.S., Turkay E., Balasubramanian J., Parsons J., Gokhale A., Schmidt D.: Applying model-driven development to distributed real-time and embedded avionics systems. Int. J. Embed. Syst. 2(3/4), 142–155 (2006)
CENELEC EN: 50128.: Railway Applications: Software for Railway Control and Protection Systems. European Committe for Electrotechnical Standardization. January 1997
Eclipse Foundation.: Eclipse Modeling Framework. http://www.eclipse.org/emf/. Accessed May 2005
Gomaa H.: Designing Concurrent, Distributed, and Real-Time Applications with UML, Object Technology. Addison Wesley, Reading (2000)
Hamid, B., Radermacher, A., Lanusse, A., Jouvray, C., Gerard, S., Terrier, F.: Designing fault-tolerant component based applications with a model driven approach. In: Proceedings of IFIP Workshop on Software Technologies for Embedded and Ubiquitous Systems, pp. 9–20 (2008)
Hansen, K.T., Gullesen, I.: Utilizing UML and patterns for safety critical systems. In: Proceedings of 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: Proceedings of Annual NASA Goddard Software Engineering Workshop (2001)
Heinrich, M., Winkler, M., Steidelmueller, H., Zabelt, M., Behring, A., Neumerkel, R., Strunk, A.: MDA applied: a task-model driven tool chain for multimodal applications. In: Proceedings of Task Models and Diagrams for User Interface Design, LNCS, vol. 4849, pp. 15–27 (2007)
Herrmann D.S.: Software Safety and Reliability: Techniques, Approaches, and Standards of Key Industrial Sectors. Wiley, New York (2000)
IBM.: Rhapsody. http://www.01.ibm.com/software/awdtools/rhapsody/
IBM-Rational.: Rational Software Architect. http://www.306-ibm.com/software/awdtools/architect/swarchitect/
Inc A.S.: ARTiSAN Studio. http://www.artisansw.com/pdf/product_sheets/studio.pdf
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: Proceedings of International Conference on the UML, LNCS, vol. 2863, pp. 360–372 (2003)
Lagarde, F., Espinoza, H., Terrier, F., Andre, C., Gerard, S.: Leveraging patterns on domain models to improve UML profile definition. In: Proceedings of Fundamental Approaches to Software Engineering, LNCS, vol. 4961, pp. 116–130 (2008)
Leveson N.G.: Safeware—System Safety and Computers. Addison-Wesley, New York (1995)
Lewis, R., Dale, C., Anderson, T.: Safety case development as an information modelling problem. In: Proceedings of Safety-Critical Systems Symposium, Part 6, pp. 183–193 (2009)
Meunier, J.-N., Lippert, F., Jadhav, R.: RT modeling with UML for safety critical applications—the HIDOORS project example. In: Proceedings of Workshop on Specification and Validation of UML Models for Real-Time and Embedded Systems, in Conjunction with the International Conference on the UML (2003)
Monin A., Dowell J.: User interface specification with sequence diagrams: an application to the AIRBUS A380 Datalink system. Cogn. Technol. Work 11(4), 267–277 (2009)
Nilsen, K.: Certification requirements for safety-critical software. RTC Magazine (2004)
Ober I., Graf S., Yushtein Y., Ober I.: Timing analysis and validation with UML: the case of the embedded MARS bus manager. Innov. Syst. Softw. Eng. 4(3), 301–308 (2008)
OMG.: OCL 2.0 Specification. Object Management Group, Final Adopted Specification ptc/03-10-14 (2003)
OMG.: UML Profile for Schedulability, Performance, and Time Specification. Adopted Specification. http://www.omg.org/docs/formal/05-01-02.pdf (2005)
OMG: MOF 2.0/XMI Mapping Specification v2.1.1., http://www.omg.org/cgi-bin/doc?formal/07-12-01.pdf, (2007)
OMG: UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms. Formal Specification 08-04-05. http://www.omg.org/cgi-bin/doc?formal/08-04-05.pdf (2008)
OMG: A UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. Formal Specification 2009-11-02. http://doc.omg.org/formal/2009-11-02.pdf (2009)
OMG: Unified Modeling Language: Infrastructure. Adopted Specification 09-02-04. http://www.omg.org/cgi-bin/doc?formal/09-02-04.pdf (2009)
OMG: Unified Modeling Language: Superstructure. Adopted Specification 09-02-02. http://www.omg.org/cgi-bin/doc?formal/09-02-02.pdf (2009)
Pender, T.: UML Bible. Wiley (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
Sparx Systems: Enterprise Architect. http://www.sparxsystems.com/products/ea/index.html
World Wide Web Consortium: The Extensible Stylesheet Language Family (XSL). http://www.w3.org/Style/XSL/ (2009)
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
Zoughbi, G., Briand, L.C., Labiche, Y.: A UML profile for developing airworthiness-compliant (RTCA DO-178B) safety-critical software. In: Proceedings of ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pp. 574–588 (2007)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Marko Boškovic, Bernhard Schätz, Claus Pahl, and Dragan Gasevic.
Rights and permissions
About this article
Cite this article
Zoughbi, G., Briand, L. & Labiche, Y. Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile. Softw Syst Model 10, 337–367 (2011). https://doi.org/10.1007/s10270-010-0164-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10270-010-0164-x