About This Special Issue
Software is one of the most important elements in the overall safety chain in many domains, such as aviation, nuclear, medical, space. Products developed in these industries generally have safety-critical software whose failure might lead to loss of life or extensive environmental damage. In the future, the use of safety-critical software in these products will increase dramatically. The aim of this special issue is to share ideas, innovations, technologies, applications, safety aspects, and gained experiences about the safety-critical software development, verification and certification in aviation industry.
Aims and Scope:
- DO-178B/C Applications in Airborne Software Development, Verification and Certification
- Model-Based Development Technology in Airborne Software Development, Verification and Certification
- Object-Oriented Technology in Airborne Software Development, , Verification and Certification
- Safety, Determinism & Certification Concerns on Multi-Core Usage
- Lessons Learned in Safety-Critical Software Development, Verification and Certification
- Alternative Means for Certification of Military Software
- Suggestions for Improving DO-178C
- Safety Aspects of Airborne Software
- DO-178 vs DO-254: Application, Tool, Automation Comparison
- Software Tool Qualification Applications in Safety-Critical Software