doi: 10.18178/ijfcc.2016.5.2.457
Modeling RTCA DO-178C Specification to Facilitate Avionic Software System Design, Verification, and Validation
Emanuel S. Grant
1
,
Tanaya Datta
2
- 1 University of North Dakota Department of Computer Science, North Dakota, ND 58202, USA.
- 2 Department of Computer Science, the University of North Dakota, North Dakota, USA.
Abstract
Avionic systems are safety-critical systems becausesystem failure can be catastrophic resulting in loss of life and/orresources. Consequently, safety-critical systems must bedeveloped carefully and adhere to standards such as DO-178C.As these types of systems need to maintain critical mechanisms,some of the mechanisms can be complicated and difficult to useappropriately, written descriptions can be vague and errorprone. This paper aims to explore graphical specificationmethod as alternative to represent the textual DO-178C. SeveralUML diagrams are created in order to represent DO-178C in aformat that is easier related to model-driven softwaredevelopment. Specifically, UML Package Diagrams, ActivityDiagrams and Class Diagrams are used to illustrate the variousprocesses, sub-processes, activities and contents as defined in theDO-178C specification.
Keywords
- DO-178C specification
- model transformation
- safety-critical systems
- UML diagrams
How to Cite
Emanuel S. Grant and Tanaya Datta, "Modeling RTCA DO-178C Specification to Facilitate Avionic Software System Design, Verification, and Validation," International Journal of Future Computer and Communication, vol. 5, no. 2, pp. 120-124, 2016. https://doi.org/ 10.18178/ijfcc.2016.5.2.457
Copyright & License
Copyright © 2016 by the authors. This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).