Certification of Safety-Critical Software Under DO-178C and DO-278A

@inproceedings{Jacklin2012CertificationOS,
  title={Certification of Safety-Critical Software Under DO-178C and DO-278A},
  author={Stephen A. Jacklin},
  booktitle={Infotech@Aerospace},
  year={2012}
}
  • S. Jacklin
  • Published in Infotech@Aerospace 19 June 2012
  • Computer Science
The Radio Technical Commission for Aeronautics (RTCA) has recently released DO-178C and DO-278A as new certification guidance for the production of airborne and ground-based air traffic management software, respectively. Additionally, RTCA special committee SC-205 has also produced, at the same time, five other companion documents. These documents are RTCA DO-248C, DO-330, DO-331, DO- 332, and DO-333. These supplements address frequently asked questions about software certification, provide… 

Figures from this paper

Tool Qualification Requirements Comparison and Analyses Between RTCA/DO-178B and RTCA/DO-178C+DO-330

TLDR
This paper compares and analyses the different requirements in RTCA/DO-178B and RTSC+DO-330 to provide an indication of what are the new requirements and what has not been changed.

On the Exploration of Model-Based Support for DO-178C-Compliant Avionics Software Development and Certification

  • A. PazGhizlane El-Boussaidi
  • Computer Science
    2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
  • 2016
TLDR
This paper builds a framework to characterize a set of model-based approaches according with several criteria, specially coverage of DO-178C's required information for compliance, and analyzes the approaches using this framework and highlights their commonalities, differences, strengths and weaknesses.

A Framework for Evaluating the Standards for the Production of Airborne and Ground Traffic Management Software

TLDR
The objective of this work is to develop an Expert System (ES) that helps to evaluate the application of the standards DO-178C and DO-278A throughout the project life cycle and serves to facilitate both its use and the learning of its application to a wide group of professionals.

Design and development of certification compliance tool for airborne systems

  • B. AnushaM. NandaJ. Jayanthi
  • Computer Science
    2017 International Conference on Advances in Computing, Communications and Informatics (ICACCI)
  • 2017
TLDR
This paper proposes a novel approach used in the design and development of an effective and efficient parsing technique incorporated in the indigenous software tool CCT used for compliance check that helps in accessing the Certification capabilities of the developed software.

Model-Based Software Engineering and Certification: Some Open Issues

  • S. RussoF. Scippacercola
  • Computer Science
    2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
  • 2016
TLDR
This work examines key aspects of model-based engineering in critical systems engineering, and identifies some open issues.

Toward run-time assurance in general aviation and unmanned aircraft vehicle autopilots

TLDR
An RTA system for GA autopilots is proposed, which uses the human pilot as the baseline controller and a lesser certified autopilot as the advanced controller, and a hybrid control model which takes into account thehuman pilot's variable timing and control ability is developed.

Certification and Software Verification Considerations for Autonomous Unmanned Aircraft

TLDR
This work presents the processes and tools that were established for the software development, verification, and validation of the unmanned rotorcraft software testbed ARTIS, and the current status of unmanned aerial vehicle verification, certification, and regulation.

Research on the Effects of MAAB Style Guidelines for Weapon System Embedded Software Reliability Improvement

TLDR
This paper proposes the criterion to select proper items from MAAB for DAPA guideline and shows how to verify the relationship and the effects on reliability of models in Simulink.

Safety Assurance of Non-Deterministic Flight Controllers in Aircraft Applications

TLDR
The design of a generic adaptive autopilot is presented that could potentially lead to a single certification for use in several makes and models of aircraft and a strong theoretical foundation is presented for the safety and stability of the controller.

Automated Verification and Validation of an Onboard Mission Planning and Execution System for UAVs

TLDR
A layered test strategy is presented, which utilizes different testing methods that complement and build upon each other to assess the overall test quality of the verification and validation approach for the sampling-based mission planner of an unmanned rotorcraft.

References

SHOWING 1-7 OF 7 REFERENCES

SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION

TLDR
In this article, reuse is defined simply as using previously existing software artifacts as part of the process of creating software systems from predefined software components.

Model-Based Development and Verification Supplement to DO-178C and DO-278A

    Software Tool Qualification Considerations

      Object-Oriented Technology and Related Techniques Supplement to DO-178C and DO-278A

        Formal Methods Supplement to DO-178C and DO-278A

          Software Integrity Assurance Considerations for Communication, Navigation, Surveillance and Air Traffic Management (CNS/ATM) Systems

            Supporting Information for DO-178C and DO-278A