Sciweavers

Share
MODELS
2007
Springer

A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software

8 years 11 months ago
A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a standard requires the submitting information about the software. The airworthiness standard, RTCA DO-178B, is the software de-facto standard for commercial and military aerospace programmes. The objective of this research is to propose an approach to improve the line of communication between 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. In this research, the list of safety-related concepts is extracted from RTCA DO178B, and then a UML profile is presented to enable modeling them. Then, approaches to generate certification-related information from UML models are presented. This new approach is illustrated through a case study on develo...
Gregory Zoughbi, Lionel C. Briand, Yvan Labiche
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where MODELS
Authors Gregory Zoughbi, Lionel C. Briand, Yvan Labiche
Comments (0)
books