Home / Journals American Journal of Embedded Systems and Applications / Safety-Critical Software Development, Verification & Certification
Safety-Critical Software Development, Verification & Certification
Submission DeadlineMar. 15, 2020

Online submission system: http://www.sciencepublishinggroup.com/login

Lead Guest Editor
Tugba Sarac
Department of Airworthiness & Safety Management, Turkish Aerospace Industries Inc., 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
  • Murat Temizsoy
    ESEN System Integration, Ankara, Turkey
  • Burak Ata
    Department of Engineering Quality, Lilium GmbH, Wessling, Germany
  • Mehmet Umut Pisken
    Department of Computer Engineering, Middle East Technical University, 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 should be formatted according to the guidelines for authors
(see: http://www.sciencepublishinggroup.com/journal/guideforauthors?journalid=236).

Please download the template to format your manuscript.

ADDRESS
Science Publishing Group
1 Rockefeller Plaza,
10th and 11th Floors,
New York, NY 10020
U.S.A.
Tel: (001)347-983-5186