Reflecting RTOS Model During WCET Timing Analysis: MSP430/FreeRTOS Case Study

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F12%3APU103010" target="_blank" >RIV/00216305:26230/12:PU103010 - isvavai.cz</a>

Result on the web

<a href="http://dx.doi.org/10.2478/v10198-012-0041-3" target="_blank" >http://dx.doi.org/10.2478/v10198-012-0041-3</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.2478/v10198-012-0041-3" target="_blank" >10.2478/v10198-012-0041-3</a>

Result language

angličtina

Original language name

Reflecting RTOS Model During WCET Timing Analysis: MSP430/FreeRTOS Case Study

Original language description

The determination of the execution time upper bound, commonly called Worst-Case Execution Time (WCET), is a necessary step in the development and validation process for real-time systems. The WCET analysis techniques can be classified as static or dynamic. While a high-level language code suffices for the static techniques, for a precise WCET analysis a target architecture or its authentic simulator able to run the final machine-level code of an analyzed application is needed by the dynamic techniques.In the paper, we have decided not only to present a novel hybrid timing analysis technique, but also to show its practical applicability in the area of WCET analysis over particular embedded architecture (MSP430) and real-time operating system (FreeRTOS). Novelty of the presented method can be seen in the fact the operating system model is reflected during the analysis in order to facilitate the process of derivating schedulability test formulas, create detail task/stack analysis etc. Ap

Czech name

—

Czech description

—

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

<a href="/en/project/ED1.1.00%2F02.0070" target="_blank" >ED1.1.00/02.0070: IT4Innovations Centre of Excellence</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)<br>S - Specificky vyzkum na vysokych skolach

Publication year

2012

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Name of the periodical

Acta Electrotechnica et Informatica

ISSN

1335-8243

e-ISSN

—

Volume of the periodical

12

Issue of the periodical within the volume

4

Country of publishing house

SK - SLOVAKIA

Number of pages

13

Pages from-to

17-29

UT code for WoS article

—

EID of the result in the Scopus database

—