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

fYear

1990

fDate

8-10 May 1990

Firstpage

502

Lastpage

508

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/CMPEUR.1990.113663

Filename

113663