Title :
QUISAP: an environment for rapid prototyping of real-time systems
Author :
Espinosa, A. ; Garcia-Fornes, A. ; Crespo, A. ; de la Puente, J.A.
Author_Institution :
Grupo de Automatica e Inf. Ind., Univ., Politecnica de Valencia, Spain
Abstract :
An environment for rapid prototyping and analysis of real-time systems is presented. The real-time system is specified using the language QUISAP and, from this specification, a model based on timed Petri nets for formal analysis and a prototype written in Ada for behavior analysis are built. Inappropriate handling of temporal constraints violations during prototype execution due to the Ada language can be improved with a new scheduling of tasks. Other improvements relate to the model of application objects, its definition, concurrency, and communication
Keywords :
Petri nets; formal specification; real-time systems; software prototyping; software tools; Ada; QUISAP; application objects; behavior analysis; concurrency; formal analysis; rapid prototyping; real-time systems; scheduling; specification; temporal constraints violations; timed Petri nets; Carbon capture and storage; Delay effects; Petri nets; Production; Prototypes; Real time systems; Sequential analysis; Signal generators; Software prototyping; System testing;
Conference_Titel :
CompEuro '90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering
Conference_Location :
Tel-Aviv
Print_ISBN :
0-8186-2041-2
DOI :
10.1109/CMPEUR.1990.113663
