No abstract

As embedded systems need more and more computing power, many products require hardware platforms based on multiple processors. In case of real-time constrained systems, the use of scheduling analysis tools is mandatory to validate the design choices, and to better use the processing capacity of the system.To this end, this paper presents the extension of the scheduling analysis tool Cheddar to deal with multi-processor scheduling. In a Model Driven Engineering approach, useful information about the scheduling of the application is extracted from a model expressed with an architectural language called AADL. We also define how the AADL model must be written to express the standard policies for the multi-processor scheduling.

No abstract

We consider real-time applications with interacting periodic tasks which may contain conditional statements. When the behaviours of the tasks are linked to the context, they may be interdependent, and some theoretical configurations may actually be impossible. Our concern is to reduce the schedulability analysis to the only coherent behaviours. We thus propose a model-driven approach. We first model the application and the semantic constraints coming from the tests. Then we propose a Petri net based model, whose aim is to enumerate the possible behaviours, and which takes the structural, the temporal and the semantic constraints into account.

No abstract