For the most recent entries see the Petri Nets Newsletter.

QUISAP: an Environment for Rapid Prototyping of Real-Time Systems.

Espinosa, A.; Garcia-Fornes, A.; Crespo, A.; de la Puente, J.A.

In: COMPEURO'90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering, 1990, Tel-Aviv, Israel, pages 502-508. Los Alamitos, CA, USA: IEEE Comput. Soc. Press, 1990.

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: QUISAP (environment for rapid) prototyping (of) real-time system(s); real-time system specification language QUISAP; timed net; Ada; temporal constraints violation; application object.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography