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

fYear

1994

fDate

21-22 Jul 1994

Firstpage

33

Lastpage

38

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Real-Time Applications, 1994., Proceedings of the IEEE Workshop on

Conference_Location

Washington, DC

Print_ISBN

0-8186-6375-8

Type

conf

DOI

10.1109/RTA.1994.316138

Filename

316138