• Aug 09, 2018 News![CFP] The annual meeting of IJFCC Editorial Board, ICCTD 2019, will be held in Prague, Czech Republic during March 2-4, 2019.   [Click]
  • Aug 09, 2018 News!IJFCC Vol. 6, No. 1-No. 3 has been indexed by EI (Inspec).   [Click]
  • Dec 24, 2018 News!The papers published in Vol.7, No.1-No.2 have all received dois from Crossref.
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. Cherry L. Chan
    • Abstracting/ Indexing: Google Scholar,  Crossref, Electronic Journals LibraryEI (INSPEC, IET), etc.
    • E-mail:  ijfcc@ejournal.net 
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).


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-2018. International Journal of Future Computer and Communication. All rights reserved.
E-mail: ijfcc@ejournal.net