Scheduling analysis from architectural models of embedded multi-processor systems

  • Authors:
  • Stéphane Rubini;Christian Fotsing;Frank Singhoff;Hai Nam Tran;Pierre Dissaux

  • Affiliations:
  • Univ. Bretagne Occidentale, Brest, France;Univ. Bretagne Occidentale, Brest, France;Univ. Bretagne Occidentale, Brest, France;Univ. Bretagne Occidentale, Brest, France;Ellidiss Technologies, Brest, France

  • Venue:
  • ACM SIGBED Review - Special Issue on the 3rd Embedded Operating System Workshop (EWiLi 2013)
  • Year:
  • 2014

Quantified Score

Hi-index 0.00

Visualization

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.