Model level worst-case execution time analysis for IEC 61499

CBSE 2013 - Proceedings of the 16th ACM SIGSOFT Symposium on Component Based Software Engineering

Volumn , Issue , 2013, Pages 169-178

  Lednicki, Luka ^a   Carlson, Jan ^a   Sandström, Kristian ^b  

^a MÄLARDALEN UNIVERSITY   (Sweden)

^b ABB CORPORATE RESEARCH   (Sweden)

Author keywords

Analysis; IEC 61499; Timing; WCET

Indexed keywords

ANALYSIS; COMPONENT BASED APPROACH; IEC 61499; SYSTEM CHARACTERISTICS; TIMING; WCET; WORST-CASE EXECUTION TIME; WORST-CASE EXECUTION TIME ANALYSIS;

REAL TIME SYSTEMS; SOFTWARE ENGINEERING;

STANDARDS;

EID: 84880526044     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2465449.2465455     Document Type: Conference Paper

References (15)

1. J. Carlson. Timing analysis of component-based embedded systems. In 15th International ACM SIGSOFT Symposium on Component Based Software Engineering. ACM, June 2012.
2. J. Fredriksson, T. Nolte, M. Nolin, and H. Schmidt. Contract-based reusableworst-case execution time estimate. In Embedded and Real-Time Computing Systems and Applications, 2007. RTCSA 2007. 13th IEEE International Conference on, pages 39-46. IEEE, 2007.
3. Holobloc Inc. Function block development kit (FBDK), May 2012. http://www.holobloc.org/.
4. IEC 61131-3: Programmable Controllers-Part 3: Programming Languages. International Electrotechnical Commission, Geneva, 1993.
5. IEC 61499-1: Function Blocks-Part 1 Architecture. International Electrotechnical Commission, Geneva, 2005.
6. M. Khalgui, X. Rebeuf, and F. Simonot-Lion. A tolerant temporal validation of components based applications. In 12th IFAC International Conference on Information Control Problems in Manufacturing (INCOM 06), 2006.
7. M. Kuo, L. H. Yoong, S. Andalam, and P. Roop. Determining the worst-case reaction time of IEC 61499 function blocks. In Industrial Informatics (INDIN), 2010 8th IEEE International Conference on, pages 1104-1109, july 2010.
8. B. Lisper. Trends in timing analysis. In From Model-Driven Design to Resource Management for Distributed Embedded Systems, IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES), volume 225, pages 85-94. Springer, 2006.
9. S. Preuße and H.-M. Hanisch. Verifying functional and non-functional properties of manufacturing control systems. In Dependable Control of Discrete Systems (DCDS), 2011 3rd International Workshop on, pages 41-46. IEEE, 2011.
10. P. Puschner and A. Burns. Guest editorial: A review of worst-case execution-time analysis. Real-Time Systems, 18(2):115-128, 2000.
11. T. Strasser, M. Rooker, G. Ebenhofer, A. Zoitl, C. Sunder, A. Valentini, and A. Martel. Framework for Distributed Industrial Automation and Control (4DIAC). In Industrial Informatics, 2008. INDIN 2008. 6th IEEE International Conference on, pages 283-288, july 2008.
12. G. Čengić and K. Åkesson. On Formal Analysis of IEC 61499 Applications, Part A: Modeling. Industrial Informatics, IEEE Transactions on, 6(2):136-144, may 2010.
13. V. Vyatkin. IEC 61499 as Enabler of Distributed and Intelligent Automation: State-of-the-Art Review. Industrial Informatics, IEEE Transactions on, 7(4):768-781, nov. 2011.
14. R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, et al. The worst-case execution-time problem - overview of methods and survey of tools. ACM Transactions on Embedded Computing Systems (TECS), 7(3):36, 2008.
15. A. Zoitl, T. Strasser, K. Hall, R. Staron, C. Sünder, and B. Favre-Bulle. The past, present, and future of IEC 61499. Holonic and Multi-Agent Systems for Manufacturing, pages 1-14, 2007.