Special Issue on Safety-Critical Software Development, Verification & Certification

Submission Deadline: Jun. 15, 2020

Please click the link to know more about Manuscript Preparation: http://www.ajesa.org/submission

Please download to know all details of the Special Issue

Special Issue Flyer (PDF)
  • Lead Guest Editor
    • Tugba Sarac
      Department of Airworthiness & Safety Management, Turkish Aerospace, Ankara, Turkey
  • Guest Editor
    Guest Editors play a significant role in a special issue. They maintain the quality of published research and enhance the special issue’s impact. If you would like to be a Guest Editor or recommend a colleague as a Guest Editor of this special issue, please Click here to complete the Guest Editor application.
    • 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
  • Introduction

    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

  • Guidelines for Submission

    Manuscripts can be submitted until the expiry of the deadline. Submissions must be previously unpublished and may not be under consideration elsewhere.

    Papers should be formatted according to the guidelines for authors (see: http://www.ajesa.org/submission). By submitting your manuscripts to the special issue, you are acknowledging that you accept the rules established for publication of manuscripts, including agreement to pay the Article Processing Charges for the manuscripts. Manuscripts should be submitted electronically through the online manuscript submission system at http://www.sciencepublishinggroup.com/login. All papers will be peer-reviewed. Accepted papers will be published continuously in the journal and will be listed together on the special issue website.