Special Issue on Safety-Critical Software Development, Verification & Certification
  • Lead Guest Editor
    • Tugba Sarac
      Department of Airworthiness & Safety Management, Turkish Aerospace, Ankara, Turkey
  • Guest Editors
    • Resat Erhan Yuceer
      Department of Software Development Directorate, AYESES Inc., Ankara, Turkey
    • Alparslan Arslan
      Department of Software Development and Engineering, ASML, Veldhoven, Netherlands
    • Ugur Bilgi
      Department of Software Development, AYESAS Inc., Ankara, Turkey
    • Alper Tolga Kocatas
      Department of Avionics Software Design, Aselsan Inc., Ankara, Turkey
    • Burak Ata
      Volocopter Gmbh, Bruchsal, Germany
    • Mehmet Umut Pisken
      Presidency of Defence Industries, Ankara, Turkey
  • Special Issue Information

    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:
    1. DO-178B/C Applications in Airborne Software Development, Verification and Certification
    2. Model-Based Development Technology in Airborne Software Development, Verification and Certification
    3. Object-Oriented Technology in Airborne Software Development, , Verification and Certification
    4. Safety, Determinism & Certification Concerns on Multi-Core Usage
    5. Lessons Learned in Safety-Critical Software Development, Verification and Certification
    6. Alternative Means for Certification of Military Software
    7. Suggestions for Improving DO-178C
    8. Safety Aspects of Airborne Software
    9. DO-178 vs DO-254: Application, Tool, Automation Comparison
    10. Software Tool Qualification Applications in Safety-Critical Software