research-article

Model level worst-case execution time analysis for IEC 61499

Authors:

Kristian SandströmAuthors Info & Claims

CBSE '13: Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering

Pages 169 - 178

https://doi.org/10.1145/2465449.2465455

Published: 17 June 2013 Publication History

Abstract

The IEC 61499 standard provides a possibility to develop industrial embedded systems in a component-based manner. Besides alleviating the efforts of system design, the component-based approach also allows analysis of various system characteristics using system models even before the actual deployment. One of the crucial characteristics in the domain of safety-critical and real-time systems is timing: a failure to execute a specific task on time can have severe consequences. This paper presents a method for compositional model-level analysis of worst-case execution time of IEC 61499 software models. The analysis is performed on one hierarchical level of composition at a time, and the results can be stored together with the software artefact to be used when analysis is performed on the higher hierarchical level, or when the unit is reused in another system. The analysis has been implemented as a plug-in for the 4DIAC tool.

References

[1]

J. Carlson. Timing analysis of component-based embedded systems. In 15th International ACM SIGSOFT Symposium on Component Based Software Engineering. ACM, June 2012.

Digital Library

[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.

Digital Library

[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. Preue 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.

Digital Library

[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. Cengic and K. Akesson. 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.

Digital Library

[15]

A. Zoitl, T. Strasser, K. Hall, R. Staron, C. Sunder, and B. Favre-Bulle. The past, present, and future of IEC 61499. Holonic and Multi-Agent Systems for Manufacturing, pages 1--14, 2007.

Digital Library

Cited By

Zhou NLi DVyatkin VDubinin VLiu C(2022)Toward Dependable Model-Driven Design of Low-Level Industrial Automation Control SystemsIEEE Transactions on Automation Science and Engineering10.1109/TASE.2020.303803419:1(425-440)Online publication date: Jan-2022
https://doi.org/10.1109/TASE.2020.3038034
Santos ASilva AMagalhães ASousa M(2020)Determinism of Replicated Distributed Systems–A Timing Analysis of the Data Passing ProcessAdvances in Science, Technology and Engineering Systems Journal10.25046/aj0506635:6(531-537)Online publication date: Nov-2020
https://doi.org/10.25046/aj050663
Terzimehic TWenger MVoss SGruner SElfaham H(2019)SMT-Based Deployment Calculation in Industrial Automation Domain2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)10.1109/ETFA.2019.8868247(290-297)Online publication date: Sep-2019
https://doi.org/10.1109/ETFA.2019.8868247
Show More Cited By

Index Terms

Model level worst-case execution time analysis for IEC 61499

Recommendations

Real-Time Execution for IEC 61499
A Survey of WCET Analysis of Real-Time Operating Systems
ICESS '09: Proceedings of the 2009 International Conference on Embedded Software and Systems

Timing correctness of hard real-time systems is guaranteed by schedulability analysis and worst-case execution time (WCET) analysis of programs. Traditional WCET analysis mainly deals with application programs and has achieved success in industry. ...
WCET Analysis of the mC/OS-II Real-Time Kernel
CSE '09: Proceedings of the 2009 International Conference on Computational Science and Engineering - Volume 02

Worst-case execution time (WCET) analysis is one of the major tasks in timing validation of hard real-time systems. In complex systems with real-time operating systems (RTOS), the timing properties of the system are decided by both the applications and ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

CBSE '13: Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering

June 2013

200 pages

ISBN:9781450321228

DOI:10.1145/2465449

General Chair:
Philippe Kruchten
University of British Columbia, Canada
,
Program Chairs:
Dimitra Giannakopoulou
NASA Ames Research Center, USA
,
Massimo Tivoli
University of L'Aquila, Italy

Copyright © 2013 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 17 June 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

Comparch '13

Sponsor:

SIGSOFT

Comparch '13: Federated Events on Component-Based Software Engineering and Software Architecture

June 17 - 21, 2013

British Columbia, Vancouver, Canada

Acceptance Rates

CBSE '13 Paper Acceptance Rate 20 of 43 submissions, 47%;

Overall Acceptance Rate 55 of 147 submissions, 37%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

17
Total Citations
View Citations
153
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)0

Reflects downloads up to 15 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Zhou NLi DVyatkin VDubinin VLiu C(2022)Toward Dependable Model-Driven Design of Low-Level Industrial Automation Control SystemsIEEE Transactions on Automation Science and Engineering10.1109/TASE.2020.303803419:1(425-440)Online publication date: Jan-2022
https://doi.org/10.1109/TASE.2020.3038034
Santos ASilva AMagalhães ASousa M(2020)Determinism of Replicated Distributed Systems–A Timing Analysis of the Data Passing ProcessAdvances in Science, Technology and Engineering Systems Journal10.25046/aj0506635:6(531-537)Online publication date: Nov-2020
https://doi.org/10.25046/aj050663
Terzimehic TWenger MVoss SGruner SElfaham H(2019)SMT-Based Deployment Calculation in Industrial Automation Domain2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)10.1109/ETFA.2019.8868247(290-297)Online publication date: Sep-2019
https://doi.org/10.1109/ETFA.2019.8868247
Pearce HRoop PBiglari-Abhari MSchoeberl M(2018)Faster Function Blocks for Precision Timed Industrial Automation2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC)10.1109/ISORC.2018.00017(67-74)Online publication date: May-2018
https://doi.org/10.1109/ISORC.2018.00017
Santos ASilva Ade Sousa MMagalhaes P(2018)An IEC 61499 Replication for Distributed Control Applications2018 IEEE 16th International Conference on Industrial Informatics (INDIN)10.1109/INDIN.2018.8471958(362-367)Online publication date: Jul-2018
https://doi.org/10.1109/INDIN.2018.8471958
Matena VMasrur ABures T(2017)An Ensemble-Based Approach for Scalable QoS in Highly Dynamic CPS2017 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA)10.1109/SEAA.2017.62(234-238)Online publication date: Aug-2017
https://doi.org/10.1109/SEAA.2017.62
Vaananen EVyatkin V(2017)Estimation, measurement and improvement of distributed automation applications performanceIECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society10.1109/IECON.2017.8216940(5426-5431)Online publication date: Oct-2017
https://doi.org/10.1109/IECON.2017.8216940
Pearce HKuo MRoop PBiglari-Abhari M(2016)RunSync: A Predictable Runtime for Precision Timed Automation Systems2016 IEEE 19th International Symposium on Real-Time Distributed Computing (ISORC)10.1109/ISORC.2016.25(116-123)Online publication date: May-2016
https://doi.org/10.1109/ISORC.2016.25
Spichkova MSchmidt HGray JChechik MKulkarni VPaige R(2015)Reconciling a component and process viewProceedings of the Seventh International Workshop on Modeling in Software Engineering10.5555/2820489.2820491(1-6)Online publication date: 16-May-2015
https://dl.acm.org/doi/10.5555/2820489.2820491
Peter SGivargis T(2015)Component-Based Synthesis of Embedded Systems Using Satisfiability Modulo TheoriesACM Transactions on Design Automation of Electronic Systems10.1145/274623520:4(1-27)Online publication date: 28-Sep-2015
https://dl.acm.org/doi/10.1145/2746235
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents