QUISAP: an environment for rapid prototyping of real-time systems

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.<
>