Paper Info
Title
Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile
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.
Year
DOI
Venue
2011
10.1007/s10270-010-0164-x
Software and System Modeling
Keywords
Field
DocType
safety requirement,software aspect,safety-critical,meta-model,software modeling standard,airworthiness,relevant system safety information,uml profile,software engineer,uml,safety assessment,certification,safety,rtca do-178b,safety engineer,safety-related standard,conceptual model,software quality assurance,system certification,meta model
UML tool,Unified Modeling Language,Systems engineering,Software engineering,DO-254,Computer science,Software quality assurance,Applications of UML,DO-178B,Certification,Metamodeling
Journal
Volume
Issue
ISSN
10
3
1619-1374
Citations 
PageRank 
References 
22
1.37
11
Authors
3
Name
Order
Citations
PageRank
Gregory Zoughbi1392.67
Lionel C. Briand28795481.98
Yvan Labiche32874143.30