• Jan 05, 2017 News![CFP] 2017 the annual meeting of IJFCC Editorial Board, ICCTD 2017, will be held in Paris, France during March 20-22, 2017.   [Click]
  • Mar 24, 2016 News! IJFCC Vol. 4, No. 4 has been indexed by EI (Inspec).   [Click]
  • Mar 24, 2017 News!Vol.6, No.1 has been published with online version.   [Click]
General Information
    • ISSN: 2010-3751
    • Frequency: Bimonthly (2012-2016); Quarterly (Since 2017)
    • DOI: 10.18178/IJFCC
    • Editor-in-Chief: Prof. Mohamed Othman
    • Executive Editor: Ms. Nancy Y. Liu
    • Abstracting/ Indexing: Google Scholar, Engineering & Technology Digital Library, and Crossref, DOAJ, Electronic Journals LibraryEI (INSPEC, IET).
    • E-mail:  ijfcc@ejournal.net 
Editor-in-chief
Prof. Mohamed Othman
Department of Communication Technology and Network Universiti Putra Malaysia, Malaysia
It is my honor to be the editor-in-chief of IJFCC. The journal publishes good papers in the field of future computer and communication. Hopefully, IJFCC will become a recognized journal among the readers in the filed of future computer and communication.
IJFCC 2016 Vol.5(2): 120-124 ISSN: 2010-3751
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 and Tanaya Datta
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.

Copyright © 2008-2016. International Journal of Future Computer and Communication. All rights reserved.
E-mail: ijfcc@ejournal.net