An Example of Synchronous Design of Embedded Real-Time Systems based on IMA

International audienceWe present a study on the design of embedded real-time systems in general, and avionic systems in particular. The synchronous language Signal is used to describe a real world avionic application based on the recent Integrated Modular Avionics concept (IMA). The exposed case study shows how the synchronous technology helps for a reliable and modular design of real-time systems. One major advantage of this technology is the availability of formal tools and techniques for verification and validation, which are important for safety-critical systems such as avionics systems