SCiA at AIAA SciTech 2015 : Software Challenges in Aerospace Symposium

Country: USA

City: Kissimee

Abstr. due: 01.09.2014

Dates: 05.01.15 — 09.01.15

Organizing comittee e-mail: questions@softwarechallengesaero.com

Organizers: NASA Ames Research Center

 

In the second 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 topics covered by this workshop include, but are not limited to, the following:

Software Synthesis for Aerospace

  • model-based approaches to software and software-intensive system design
  • compositional and hierarchical design approaches for reducing and managing complexity
  • approaches to building intelligent and adaptive systems within a safety-critical framework
  • the generation of code that is correct-by-construction
  • the design of maintainable systems

Software Analysis for Aerospace

  • verification and validation for safety-critical software systems
  • security analysis for aerospace communications
  • compositional analysis of code for scalability
  • automated testing techniques
  • statistical techniques (including data mining and learning) for program and software behavior analysis

Aerospace System Integration

  • architectures for safety-critical aerospace systems containing software, hardware and people
  • approaches to, benefits of, and limitations of Integrated Modular Avionics frameworks
  • human-computer interaction including intelligent cockpits/control towers
  • adaptive airspace implementations

Aerospace Software Policy and Implementation

  • the certification of software systems,including DO-178, DO-278, and safety-case based approaches
  • decision-making in air systems, including both autonomy and human factors issues
  • creating and maintaining a skilled workforce for aerospace software

Conference Web-Site: http://www.softwarechallengesaero.com/