This report presents the results of the analysis of a set of 12 model-based approaches to characterize their support for development and certification under DO- ...
Oct 16, 2008 · In collaboration with the University of Minnesota under NASA's Aviation Safety Program, Rockwell Collins has developed a translation framework ...
In this paper, we address the issues of safety-critical software verification and testing that are key requirements for achieving DO-178C and DO- 331 regulatory ...
Model-Based Testing of Safety-Critical Avionics Systems. Abstract. Safety-critical systems in aviation domain often go through the formal process of.
This research investigates formal verification and automatic test case generation approaches to enhance the quality of avionics software systems.
This paper describes how formal analysis tools can be inserted into a model-based development process to decrease costs and increase quality of safety-critical ...
Model checking reveals instrumentation and control (I&C) design issues in safety critical systems before they result in accidents or production losses.
This paper describes how formal analysis tools can be inserted into a model-based development process to decrease costs and increase quality of safety-critical ...
People also ask
What are examples of safety-critical software systems?
Which approach might be mandatory in the development of a safety-critical software?
What is the development of safety-critical software?
Autonomy‐based goal: Develop a V&V methodology for software following model‐based execution, demonstrate it on the next generation onboard collision avoidance ...
Missing: Checking | Show results with:Checking
May 27, 2020 · Modern safety critical avionics software requires rigorous security engineering that interleaves with the established safety practices in place.