Detail publikace

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

STRNADEL, J.; RAJNOHA, P. Reflecting RTOS Model During WCET Timing Analysis: MSP430/FreeRTOS Case Study. Acta Electrotechnica et Informatica, 2012, vol. 12, no. 4, p. 17-29. ISSN: 1335-8243.
Název česky
Reflektování modelu RTOS při WCET analýze: Případová studie pro MSP430/FreeRTOS
Typ
článek v časopise
Jazyk
anglicky
Autoři
Strnadel Josef, Ing., Ph.D. (UPSY)
Rajnoha Peter, Ing.
URL
Klíčová slova

analysis, assembly, compiler, FreeRTOS, model, MSPsim, MSP430, operating system, profiler, real time, response time, simulator, worst case, execution time

Abstrakt

Stanovení horních mez dob provádění (Worst-Case Execution Time, WCET), je nezbytným krokem v oblasti vývoje real-time systémů. Techniky analýz WCET mohou být klasifikovány jako statické nebo dynamické. Zatímco statické techniky si vystačí s popisem na úrovni vyššího programovacího jazyka, tak pro přesné analýzy WCET je nutno použít dynamické techniky vyžadující znalost cílové architektury či její autentický simulátor schopný provádět konkrétní strojový kód. V článku je představena nejen nová hybridní WCET technika, ale také ukázána její praktická použitelnost v oblasti analýzy WCET nad konkrétní vestavnou platformou (MSP430) a real-time operačním systémem (FreeRTOS). Přínos předložené techniky lze spatřovat v tom, že model operačního systému je reflektován během analýzy s cílem usnadnit a zautomatizovat proces odvození vztahů pro testy plánovatelnosti, detailní analýzu využitelnosti zásobníku apod. Použitelnost metody byla testována pomocí simulátoru MSPsim architektury MSP430.

Rok
2012
Strany
17–29
Časopis
Acta Electrotechnica et Informatica, roč. 12, č. 4, ISSN 1335-8243
DOI
10.2478/v10198-012-0041-3
BibTeX 
@article{BUT98564,
  author="Josef {Strnadel} and Peter {Rajnoha}",
  title="Reflecting RTOS Model During WCET Timing Analysis: MSP430/FreeRTOS Case Study",
  journal="Acta Electrotechnica et Informatica",
  year="2012",
  volume="12",
  number="4",
  pages="17--29",
  doi="10.2478/v10198-012-0041-3",
  issn="1335-8243",
  url="http://www.aei.tuke.sk/papers/2012/4/03_Strnadel.pdf"
}
Nahoru