Model Driven Timing Analysis for Real-Time Systems

Author

Ouhammou, Yassine ; Grolleau, Emmanuel ; Richard, Michael ; Richard, Pascal

Author_Institution

LIAS, ISAE-ENSMA, Poitiers, France

fYear

2012

fDate

25-27 June 2012

Firstpage

1458

Lastpage

1465

Abstract

This paper stresses the difficulty for a system designer to use an appropriate real-time task model for his system, and to choose the associated scheduling analysis tests/dimensioning techniques. We propose a model-based approach tackling this difficulty. We focus on the schedulability analysis tree used by our method in order to help the designer to dimension, and then to validate his system.

Keywords

program testing; real-time systems; scheduling; dimensioning techniques; model driven timing analysis; model-based approach; real-time systems; real-time task model; schedulability analysis tree; scheduling analysis tests; Analytical models; Computer architecture; Hardware; Object oriented modeling; Real-time systems; Scheduling; Unified modeling language; Real-time; design; model driven engineering; scheduling analysis;

fLanguage

English

Publisher

ieee

Conference_Titel

High Performance Computing and Communication & 2012 IEEE 9th International Conference on Embedded Software and Systems (HPCC-ICESS), 2012 IEEE 14th International Conference on

Conference_Location

Liverpool

Print_ISBN

978-1-4673-2164-8

Type

conf

DOI

10.1109/HPCC.2012.213

Filename

6332349

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1831152