Naslov
Handling Cyclic Execution Paths in Timing Analysis of Component-based Software

Autori
Lednicki, Luka ; Carlson, Jan

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications / - , 2014

Skup
40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

Mjesto i datum
Verona, Italija, 27.08.2014. - 29.08.2014

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
timing; analysis; component-based; wcet; cbse; cbd; model

Sažetak
Usage of model-driven and component-based development approaches in embedded systems allows timing analysis to be performed using system models. One of the problems rarely addressed by model-level analysis is support for analysis of cyclic execution paths. In this paper we present a method which allows compositional worst-case execution time analysis to be performed on software models containing such cycles. Our method allows defining cycle bounds for components and connections, and provides an algorithm to analyze cyclic paths containing such bounds. Additionally, we provide a possibility to propagate cycle bound definitions through the component hierarchy. The method is applied to the IEC~61499 component model and its applicability has been tested using a prototype tool.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA