Handling Cyclic Execution Paths in Timing Analysis of Component-based Software (CROSBI ID 611177)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Lednicki, Luka ; Carlson, Jan
engleski
Handling Cyclic Execution Paths in Timing Analysis of Component-based Software
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.
timing; analysis; component-based; wcet; cbse; cbd; model
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
2014.
objavljeno
Podaci o matičnoj publikaciji
Proceedings of the 40th Euromicro Conference on Software Engineering and Advanced Applications
Podaci o skupu
40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
predavanje
27.08.2014-29.08.2014
Verona, Italija