You are required to read and agree to the below before accessing a full-text version of an article in the IDE article repository.

The full-text document you are about to access is subject to national and international copyright laws. In most cases (but not necessarily all) the consequence is that personal use is allowed given that the copyright owner is duly acknowledged and respected. All other use (typically) require an explicit permission (often in writing) by the copyright owner.

For the reports in this repository we specifically note that

  • the use of articles under IEEE copyright is governed by the IEEE copyright policy (available at http://www.ieee.org/web/publications/rights/copyrightpolicy.html)
  • the use of articles under ACM copyright is governed by the ACM copyright policy (available at http://www.acm.org/pubs/copyright_policy/)
  • technical reports and other articles issued by M‰lardalen University is free for personal use. For other use, the explicit consent of the authors is required
  • in other cases, please contact the copyright owner for detailed information

By accepting I agree to acknowledge and respect the rights of the copyright owner of the document I am about to access.

If you are in doubt, feel free to contact webmaster@ide.mdh.se

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

Authors:

Luka Lednicki, Jan Carlson

Research group:

Industrial Software Engineering

Publication Type:

Conference/Workshop Paper

Venue:

The 40th Euromicro Conference on Software Engineering and Advanced Applications

Publisher:

IEEE

Abstract

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.

Bibtex

@inproceedings{Lednicki3605,
author = {Luka Lednicki and Jan Carlson},
title = {Handling Cyclic Execution Paths in Timing Analysis of Component-based Software},
month = {August},
year = {2014},
booktitle = {The 40th Euromicro Conference on Software Engineering and Advanced Applications},
publisher = {IEEE},
url = {http://www.es.mdu.se/publications/3605-}
}