Knowledge and Technology Integration in Production and Services 2002
DOI: 10.1007/978-0-387-35613-6_35
|View full text |Cite
|
Sign up to set email alerts
|

Component Design and Formal Validation of SFA Systems: A Case Study

Abstract: In this paper we present a case study of component based automation system design using IEC61499 accompanied by subsequent application of the formal modeling methods and the corresponding verification tools. Our approach to validation is based on the results of formerly conducted research and development works on formal modeling of distributed control systems. The validation tool VEDA (Verification Environment for Distributed Applications) is intended on integration with IEC61499 engineering tools by means of … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2006
2006
2019
2019

Publication Types

Select...
4
1

Relationship

0
5

Authors

Journals

citations
Cited by 5 publications
(2 citation statements)
references
References 5 publications
0
2
0
Order By: Relevance
“…Industry 4.0 is improving the establishment of intelligent products and production processes. In future manufacturing, factories have to cope with the need of rapid product development, flexible production as well as complex environments (Vyatkin and Hanisch, 2002). Within the factory of the future also considered as a smart factory.…”
Section: Methodsmentioning
confidence: 99%
“…Industry 4.0 is improving the establishment of intelligent products and production processes. In future manufacturing, factories have to cope with the need of rapid product development, flexible production as well as complex environments (Vyatkin and Hanisch, 2002). Within the factory of the future also considered as a smart factory.…”
Section: Methodsmentioning
confidence: 99%
“…For example, members of the HMS consortium focused on defining a low-level control architecture [4,5] that is based on the IEC 61499 function block standard. With this work as a basis, IEC 61499 function blocks have been used at the device level for dynamic reconfiguration [4,6], safety management [7,8], and system validation [9]. This has led to range of industrial applications of real time distributed control such as DaimlerChrysler's holonic control implementation for engine assembly [10], Rockwell Automation's design of a reconfigurable ship-based chilled-water system, the integration of RFID (radio frequency identification) systems [11], and our recent work with C-Core and DRDC (Defence Research and Development Canada) on the use of holonic systems for sensor management on military platforms [12].…”
Section: Introductionmentioning
confidence: 99%