@inproceedings{90c5a3c9d38a461ea1fb43a00718da1d,
title = "A UML profile for developing airworthiness-compliant (RTCA DO-178B), safety-critical software",
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.",
keywords = "Airworthiness, Certification, Certification authority, RTCA DO-178B, Safety, Safety assessment, Safety-critical, UML, UML profile",
author = "Gregory Zoughbi and Lionel Briand and Yvan Labiche",
year = "2007",
doi = "10.1007/978-3-540-75209-7_39",
language = "English",
isbn = "9783540752080",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "574--588",
booktitle = "Model Driven Engineering Languages and Systems - 10th International Conference, MODELS 2007, Proceedings",
note = "10th International Conference on Model Driven Engineering Languages and Systems, MODELS 2007 ; Conference date: 30-09-2007 Through 05-10-2007",
}