Themes
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
- Model-based Testing, Formal Methods, Run-Time Monitoring
- 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