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

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Reflecting RTOS Model During WCET Timing Analysis: MSP430/FreeRTOS Case Study Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
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. Applic 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. Applic (en)
Title	Reflecting RTOS Model During WCET Timing Analysis: MSP430/FreeRTOS Case Study Reflecting RTOS Model During WCET Timing Analysis: MSP430/FreeRTOS Case Study (en)
skos:prefLabel	Reflecting RTOS Model During WCET Timing Analysis: MSP430/FreeRTOS Case Study Reflecting RTOS Model During WCET Timing Analysis: MSP430/FreeRTOS Case Study (en)
skos:notation	RIV/00216305:26230/12:PU103010!RIV13-MSM-26230___
http://linked.open...avai/riv/aktivita	P S Z
http://linked.open...avai/riv/aktivity	P(ED1.1.00/02.0070), S, Z(MSM0021630528)
http://linked.open...iv/cisloPeriodika	4
http://linked.open...vai/riv/dodaniDat	2013
http://linked.open...aciTvurceVysledku	Strnadel, Josef Rajnoha, Peter
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	164540
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/12:PU103010
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	analysis, assembly, compiler, FreeRTOS, model, MSPsim, MSP430, operating system, profiler, real time, response time, simulator, worst case, execution time (en)
http://linked.open.../riv/klicoveSlovo	response time assembly MSP430 analysis model simulator compiler FreeRTOS MSPsim execution time worst case profiler real time operating system
http://linked.open...odStatuVydavatele	SK - Slovenská republika
http://linked.open...ontrolniKodProRIV	[08DC4CAD2903]
http://linked.open...i/riv/nazevZdroje	Acta Electrotechnica et Informatica
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	2 (xsd:int)
http://linked.open...vavai/riv/projekt	IT4Innovations Centre of Excellence
http://linked.open...UplatneniVysledku	2012
http://linked.open...v/svazekPeriodika	12
http://linked.open...iv/tvurceVysledku	Strnadel, Josef Rajnoha, Peter
http://linked.open...n/vavai/riv/zamer	Výzkum informačních technologií z hlediska bezpečnosti
issn	1335-8243
number of pages	13 (xsd:int)
http://bibframe.org/vocab/doi	10.2478/v10198-012-0041-3
http://localhost/t...ganizacniJednotka	26230

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software