Title :
Data flow modelling in real time multitasking graphical design
Author :
Petit, J.F. ; Schwarz, J.J. ; Maranzana, M. ; Skubich, J.J.
Author_Institution :
LISPI/NSA, Villeurbanne, France
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
Keywords :
application generators; data structures; database management systems; multiprogramming; parallel processing; real-time systems; software tools; LACATRE; LACATRE language; application target program; code generation; control variables; data flow representation; data modelling; detailed design; graphical formalism; graphical tool; high level application objects; low level objects; multitasking real time executives; preliminary design; program correctness verification; real time kernels; real time multitasking graphical design; software life cycle; specification methods; Application software; Bars; Documentation; Flow graphs; Kernel; Modems; Multitasking; Operating systems; Real time systems;
Conference_Titel :
Real-Time Applications, 1994., Proceedings of the IEEE Workshop on
Conference_Location :
Washington, DC
Print_ISBN :
0-8186-6375-8
DOI :
10.1109/RTA.1994.316138
