Proceedings FM-09 Workshop on Formal Methods for Aerospace

TL;DR

This workshop focused on integrating formal methods with control engineering and AI to enhance the design, verification, and coordination of aerospace systems, addressing their complex safety and performance demands.

Contribution

It promotes interdisciplinary approaches combining formal methods, control engineering, and AI for aerospace system development and verification.

Findings

Encouraged collaboration among researchers from diverse fields.

Highlighted the need for heterogeneous techniques in aerospace safety.

Facilitated discussion on integrating formal methods with AI and control engineering.

Abstract

The main workshop objective was to promote a holistic view and interdisciplinary methods for design, verification and co-ordination of aerospace systems, by combining formal methods with techniques from control engineering and artificial intelligence. The very demanding safety, robustness and performance requirements of these systems require unprecedented integration of heterogeneous techniques and models. The aim of FMA was to bring together active researchers from all the above areas to discuss and present their work.