Analysis of critical scalable real-time systems by means of Petri nets
- Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems (AVoCS 2009), Sep 2009, Swansea, UK, United Kingdom : 245-247
Résumé
The constantly increasing complexity and risks associated with real-time systems has been approached in different ways in recent years. Design and implementation of real time applications on multiprocessors has to take into account these factors. To cope with them, applications need to be more adaptive and evolutive. We present an approach for schedulability analysis of a real-time application that can accommodate reliable insertion of new tasks. This paper presents an approach based on the modelling of the application by a Petri net with terminal markings. Time is here modelled by means of the earliest firing rule. The main expected results are techniques for extraction of valid and scalable schedules within the terminal marking graph.
Mots-clés
real-time systems, multiprocessor scheduling, scalability, Petri nets