A Tool Environment for the Development of Embedded systems

The traditional approach to schedulability analysis is often based on scheduling theory and a task model, which has been less successful in the case of event-driven systems as compared to that achieved in time-driven systems. In the realm of formal modeling and analysis techniques, Timed automata have proved expressive enough for many real-life examples, in particular, for event-driven systems. In this project we address the issues of how the model of timed automata can be used for schedulability analysis. A concrete goal of this project is to develop a code-generator for the UPPAAL tool (developed jointly by Uppsala University and Aalborg University).