In the 5th Software Challenges in Aerospace symposium, we will again bring together experts at the intersection of aerospace and computer science. We will focus on software for flight operations (both on the vehicle and ground), and place a priority on the design and analysis of software-intensive aerospace systems for safety assurance. The goal of this symposium is to foster innovation and discussion across the divide between the two academic communities. We place an emphasis on demonstrable research on real-world applications, with clear extensions to aerospace software. The Software Challenges in Aerospace Symposium specifically targets high-quality papers with a high degree of formality for software modeling and analysis. Authors of selected high-quality papers may be invited to extend their papers for a special issue of the Journal of Aerospace Information Systems.

We invite papers of the following types:

• Papers that clearly describe gaps in the capabilities or policies related to aerospace software, and that illuminate frontiers where research will be necessary in order to make progress.
• Papers which push the boundaries and deliver results in software-intensive systems, highlighting techniques that enable the intelligent and efficient management of system complexity.

Papers will appear in the 2018 SciTech proceedings. Selected papers from the first symposium were invited to extend their papers for a special issue of the Journal of Aerospace Information Systems.