Abstract—Avionic systems are safety-critical systems because
system failure can be catastrophic resulting in loss of life and/or
resources. Consequently, safety-critical systems must be
developed 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 use
appropriately, written descriptions can be vague and error
prone. This paper aims to explore graphical specification
method as alternative to represent the textual DO-178C. Several
UML diagrams are created in order to represent DO-178C in a
format that is easier related to model-driven software
development. Specifically, UML Package Diagrams, Activity
Diagrams and Class Diagrams are used to illustrate the various
processes, sub-processes, activities and contents as defined in the
DO-178C specification.
Index Terms—DO-178C specification, model transformation,
safety-critical systems, UML diagrams.
E. S. Grant is with the University of North Dakota Department of
Computer Science, North Dakota, ND 58202, USA (e-mail:
grante@aero.und.edu).
T. Datta is with the Department of Computer Science, the University of
North Dakota, North Dakota, USA (e-mail: Tanaya.datta@und.edu).
[PDF]
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.
