Abstract

Safety assessment of new air traffic management systems is a main issue for civil aviation authorities. Standard techniques such as testing and simulation have serious limitations in new systems that are significantly more autonomous than the older ones. In this paper, we present [...]

Abstract

International audience; In a software development lifecycle, it is often more than half of the development time that is dedicated to verification activities. Formal methods offer new possibilities for verification. In the specification phase, simulation or model-checking allow users [...]

Abstract

Highly accurate positioning systems and new broadcasting technology have enabled air traffic management concepts where the responsibility for aircraft separation resides on pilots rather than on air traffic controllers. The Formal Methods Group at the National Institute of Aerospace [...]

Abstract

A joint project of the Austrian company Frequentis1 and the Technical University Graz demonstrates the applicability of executable formal models2. The formal method VDM++ has been applied to specify a safety critical voice communication system (VCS) for air-traffic control. Besides [...]

Abstract

This paper illustrates two different approaches for the application of Formal Methods (FM): integrated-parallel and after-the-fact. In the first approach FMs have been applied integrated and in parallel with structured methods starting from the design phase. In the second approach [...]

Abstract

This short paper presents an overview of the approach developed within the MEFISTO project. An important element in the approach is the use of formal models and their integration with other, less formal, techniques. MEFISTO (Modelling, Evaluating and Formalising Interactive Systems [...]