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.
Back to the Petri Nets Bibliography