Twelve years ago, Proceedings of the IEEE devoted a special section to the synchronous
languages. This paper discusses the improvements, difficulties, and successes that have …

Unlike the other air transport business models, air cargo and business aviation proved
resilient during the COVID-19 pandemic setting the fundamentals for further growth in the …

Formal methods encompass a wide choice of techniques and tools for the specification,
development, analysis, and verification of software and hardware systems. Formal methods …

The growing number of vehicles daily moving on roads increases the need of protecting the
safety and security of passengers, pedestrians, and vehicles themselves. This need is …

Currently, the most widespread software quality assurance methods in the avionics domain
are semi-automated reviews and testing. However, their effort grows disproportionately to …

This document is the primer for the EsterelTM synchronous programming language, which is
devoted to programming control-dominated software or hardware reactive systems. The …

Embedded hard real-time software systems often need fine-grained parallelism and precise
control of timing, things typical real-time operating systems do not provide. The Esterel …

Abstract 'Ibis paper presents a novel compiler forEstere1, a concurrent synchronous
imperative language. It generates fast, small object code by compiling away concurrency …

In this paper we describe how an executable model of interactive software can be exploited
to allow programmers or specifiers to express properties that will be automatically checked …

Highly critical application domains, like medicine and aerospace, require the use of strict
design, implementation, and validation techniques. Functional languages have been used …