Data flow modelling in real time multitasking graphical design

Abstract

LACATRE is a graphical tool intended to help the design of applications requiring multitasking real time executives. Within the software life cycle, it covers both preliminary and detailed design. The first version of this tool gave preference to the tasking aspect of an application by the modelling of both low level objects, issued from real time kernels, and high level application objects, close to specification methods. This paper presents the data modelling introduced in the LACATRE language, in order to lead to a quasi complete code generation of an application target programme. Two other issues are brought up with data modelling: the introduction of control variables used for simulation and programme correctness verification, and the definition of a graphical formalism for data flow representation.<>