Title :
Environment and tool for hard real-time systems design
Author :
Carcagno, L. ; De Michiel, M. ; Dours, D. ; Facca, R. ; Sautet, B.
Author_Institution :
Inst. de Recherche en Inf., Toulouse, France
Abstract :
To automate the transition from the specification of a hard real-time system to its design, a design aid tool has been defined. It allows the description of a hard-real-time system using a synchronous visual language, the automatic transformation of the description in order to comply with the temporal constraints indicated in the system specification, and the research of an optimised configuration of the system for its projection on a generic architecture
Keywords :
programming environments; real-time systems; software tools; design aid tool; formal specification; generic architecture; hard real-time systems design; optimised configuration; synchronous visual language; temporal constraints; Computer languages; Constraint optimization; Control systems; Environmental management; Interactive systems; Process control; Real time systems; Robot control; Signal processing; Time factors;
Conference_Titel :
EUROMICRO 94. System Architecture and Integration. Proceedings of the 20th EUROMICRO Conference.
Conference_Location :
Liverpool
Print_ISBN :
0-8186-6430-4
DOI :
10.1109/EURMIC.1994.390382
