Open Science Research Excellence

ICSAA 2020 : International Conference on Software Analysis for Aerospace

Kuala Lumpur, Malaysia
August 21 - 22, 2020

Call for Papers

ICSAA 2020 : International Conference on Software Analysis for Aerospace is the premier interdisciplinary platform for the presentation of new advances and research results in the fields of Software Analysis for Aerospace. The conference will bring together leading academic scientists, researchers and scholars in the domain of interest from around the world. Topics of interest for submission include, but are not limited to:
  • 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
  • Decision-making in air systems, including both autonomy and human factors issues
  • Creating and maintaining a skilled workforce for aerospace software
  • 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