Model driven resource usage simulation for critical embedded systems

Michaël Lafaye, Laurent Pautet, Etienne Borde, Marc Gatti, David Faura

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Facing a growing complexity, embedded systems design relies on model-based approaches to ease the exploration of a design space. A key aspect of such exploration is performance evaluation, mainly depending on usage of the hardware resources. In model-driven engineering, hardware resources usage is often approximated by static properties. In this paper, we propose an extensible modeling framework, to describe with different levels of detail the hardware resource usage. Our method relies on the AADL to describe the whole system, and SystemC to refine the execution platform description. In this paper we expose how we generate and compose SystemC models from the execution platform model described in AADL. We also present promising experimental results obtained on an avionics use-case.

Original languageEnglish
Title of host publicationProceedings - Design, Automation and Test in Europe Conference and Exhibition, DATE 2012
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages312-315
Number of pages4
ISBN (Print)9783981080186
DOIs
Publication statusPublished - 1 Jan 2012
Externally publishedYes
Event15th Design, Automation and Test in Europe Conference and Exhibition, DATE 2012 - Dresden, Germany
Duration: 12 Mar 201216 Mar 2012

Publication series

NameProceedings -Design, Automation and Test in Europe, DATE
ISSN (Print)1530-1591

Conference

Conference15th Design, Automation and Test in Europe Conference and Exhibition, DATE 2012
Country/TerritoryGermany
CityDresden
Period12/03/1216/03/12

Keywords

  • AADL
  • SystemC
  • early modeling
  • mapping
  • real-time systems

Fingerprint

Dive into the research topics of 'Model driven resource usage simulation for critical embedded systems'. Together they form a unique fingerprint.

Cite this