SOFTWARE CHALLENGES

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.