Formal description of an IEC 61499 runtime environment with real-time constraints

被引：5

作者：

Suender, Christoph ^{[1
]}

Rofner, Hermann ^{[2
]}

Vyatkin, Valeriy ^{[3
]}

Favre-Bulle, Bernard ^{[1
,4
]}

机构：

[1] Vienna Univ Technol, Automat & Control Inst ACIN, Vienna, Austria

[2] Vienna Univ Technol, A-2006 Vienna, Austria

[3] Univ Auckland, Dept Elect & Comp Engn, Auckland 1, New Zealand

[4] Vienna Univ Technol, Automat & Control Inst ACIN, A-1010 Vienna, Austria

来源：

2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3 | 2007年

关键词：

D O I：

10.1109/INDIN.2007.4384885

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper investigates on the introduction of the runtime behavior and real-time constraints into the verification process of IEC 61499 based automation systems. In detail, the event propagation policies as well as the necessary execution time for all actions within the automation system need to be described for a complete model of the automation system. The basis of the formal description provides an analytic methodology for the event propagation policy of an IEC 61499 runtime implementation. By use of this methodology within the formal model of the runtime environment, the overall system behavior can be described also in the case of reactive systems properties.

引用

页码：853 / +

页数：2

共 50 条

[21] Formal description of a real-time operating system using RTPA
Wang, YX
Ngolah, CF
CCECE 2003: CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-3, PROCEEDINGS: TOWARD A CARING AND HUMANE TECHNOLOGY, 2003, : 1247 - 1250
[22] Comparative study of using CNet, IEC 61499, and statecharts for behavioral models of real-time control applications
Barji, Arastoo
Hagge, Nils
Wagner, Bernardo
2006 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION, VOLS 1 -3, 2006, : 304 - +
[23] PRINCIPLES OF PROGRAM SYNTHESIS FOR REAL-TIME SYSTEMS ON THE BASIS OF A FORMAL LOGICAL DESCRIPTION OF THE PROBLEM ENVIRONMENT.
Ros', A.A.
Cybernetics, 1985, 21 (05): : 599 - 606
[24] Transforming structural model to runtime model of embedded software with real-time constraints
Kodase, S
Wang, SG
Shin, KG
DESIGNERS FORUM: DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, 2003, : 170 - 175
[25] Towards engineering methods for reconfiguration of distributed real-time control systems based on the reference model of IEC 61499
Strasser, T
Zoitl, A
Auinger, R
Sünder, C
HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING, PROCEEDINGS, 2005, 3593 : 165 - 175
[26] Solution Based on IEC 61499 for Standardized Representation of Components in a Real-time Library of Reusable Algorithms for Process Control
Rohat, Oana
Ocheana, Luiza
Popescu, Dan
CONTROL ENGINEERING AND APPLIED INFORMATICS, 2015, 17 (01): : 81 - 90
[27] An approach to platform independent real-time programming: (1) formal description
Hooman, J
Van Roosmalen, O
REAL-TIME SYSTEMS, 2000, 19 (01) : 61 - 85
[28] An Approach to Platform Independent Real-Time Programming: (1) Formal Description
Jozef Hooman
Onno van Roosmalen
Real-Time Systems, 2000, 19 : 61 - 85
[29] Specification and verification of a real-time field bus with formal description languages
Marino, P
Poza, F
Dominguez, M
Nogueira, J
TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 415 - 429
[30] Real-time MLton: A Standard ML runtime for real-time functional programs
Shivkumar, Bhargav
Murphy, Jeffrey
Ziarek, Lukasz
JOURNAL OF FUNCTIONAL PROGRAMMING, 2021, 31

← 1 2 3 4 5 →