InitRech 2015/2016, sujet 30
Summary
When we use an embedded control system, we want to handle how long each functions, in our program, takes. The real-time concept was created to carry out a deterministic code and use computer science for highly critical systems. Indeed, these systems must handle different constraints such as multi-periodicity or deadlines. A real time operating system is able to match this abstract concept with computing language. In this articles, the authors talk about how they simplify the development process for real time programs with multi-rates operations. Based on C and Lustre languages, they realized an ADL (Architecture Design Language) which provides a high-level abstraction. The study was motivated by an application for planes called FAS.
First, authors compared different existing works and they noticed that most real-time APIs use threads scheduled by the OS. The main threads’ drawback is data-dependencies which obligate to implement functions to order consumption and production of data to keep the program predictable. It means a long process of development. With languages more abstracted, development was easier and more reliable. The synchronous approach which abstract real-time in logical time provides a formal way to code and is optimized in mono-periodic systems but not in multi-periodic systems. Then, authors keep this approach and the language used synchronous data-flows, to get infinite input and output values and reasoning in instant. It means inputs’ treatment cannot start while all inputs are not available. To handle multi-rate correctly, synchronous model provide a common real time tag and a strictly periodic clock to define the flow’s belonging of an instant and the real time rate of a flow.
The language is a set of equation grouped in imported nodes. It is able to implement real-time constraint and allow communication between nodes of different rates thanks to the special clock. In addition, the language’s strength is the ability to let the programmer free to decide how operations at different rates communicate. It is possible to combine these operations to get a new pattern of communication. Finally, the compiler realizes three important analyses: type-checking, causality-check and clock calculus (to check if two flows are synchronous). It means, in a successful case, that the program is deterministic and it can be translated un C code. Then, imported nodes are translated in tasks, and communications between tasks is allowed thanks to a buffer allocated in a global memory.
To conclude, the ADL done can handle multiple deadline and periodicity constraints. In that way, the language brings a precise description of multi-rate. Moreover, the translation b the compiler transcodes the high-level abstract program in a reliable and portable program. The purpose in the future would be to develop the compiler and it translate more precisely the code.
