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: