| 1. |
- Sünder, Christoph, et al.
(författare)
-
Comprehensive formal description of IEC 61499 control devices
- 2008
-
Ingår i: Proceedings, IEEE INDIN 2008. - Piscataway, NJ : IEEE Communications Society. - 9781424421701 ; , s. 1166-1172
-
Konferensbidrag (refereegranskat)abstract
- This work analyses the requirements for a comprehensive formal description of an IEC 61499 control device. The model captures functional properties, along with temporal properties, and architecture of a control device, which includes also underlying runtime environment and operating system. The paper presents a case study of an IEC 61499 control device utilizing the Framework for Distributed Industrial Automation and Control (4DIAC) and gives an impression on analysis details that can be achieved by this modeling approach. The formal description is based on Net Condition/Event Systems and the model checking tools VisualVerifier and SESA
|
|
| 2. |
- Sünder, Christoph, et al.
(författare)
-
Formal description of an IEC 61499 runtime environment with real-time constraints
- 2007
-
Ingår i: INDIN 2007. - Piscataway, NJ : IEEE Communications Society. ; , s. 853-859
-
Konferensbidrag (refereegranskat)abstract
- 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
|
|
| 3. |
- Sûnder, Christoph, et al.
(författare)
-
Formal verification of downtimeless system evolution in embedded automation controllers
- 2013
-
Ingår i: ACM Transactions on Embedded Computing Systems. - : Association for Computing Machinery (ACM). - 1539-9087 .- 1558-3465. ; 12:1
-
Tidskriftsartikel (refereegranskat)abstract
- This article presents a new formal approach to validation of on-the-fly modification of control software in automation systems. The concept of downtimeless system evolution (DSE) is introduced. The DSE is essentially based on the use of IEC 61499 system architecture and formal modeling and verification of the hardware and software of an automation device. The validation is performed by means of two complimentary techniques: analytic calculations and formal verification by model-checking
|
|
| 4. |
- Sünder, Christoph, et al.
(författare)
-
Functional and temporal formal modelling of embedded controllers for intelligent mechatronic systems
- 2009
-
Ingår i: International Journal of Mechatronics and Manufacturing Systems. - 1753-1039. ; 2:1-2, s. 215-235
-
Tidskriftsartikel (refereegranskat)abstract
- Formal verification of intelligent mechatronic systems needs to incorporate a detailed description of the system architecture in order to provide sufficient results. Especially · the model of function blocks with precise semantics · real-time behaviour has to be included. This paper focuses on the IEC 61499 control applications for automation objects, the building blocks for intelligent mechatronic systems. A comprehensive approach for their formal description of control behaviour incorporating also the operating system policy and physical time as parameter for real-time behaviour is given on the basis of Net Condition/Event Systems for a typical control device configuration
|
|
| 5. |
- Sünder, Christoph, et al.
(författare)
-
Towards an approach for the verification of downtimeless system evolution
- 2006
-
Ingår i: 2006 IEEE Conference on Emerging Technologies & Factory Automation. - Piscataway, NJ : IEEE Communications Society. ; , s. 1133-1136
-
Konferensbidrag (refereegranskat)abstract
- This paper presents ongoing work focused on dynamic reconfiguration of industrial automation systems as a part of their total life cycle. Modification of the control logic has to be enabled at runtime and without any disturbances of related applications. The εCEDAC engineering cycle for dynamic system evolution is based on the use of an IEC 61499 reconfiguration application responsible for the dynamic transformation of the program during its execution. The verification of this evolution step takes the central role in this engineering cycle. The paper discusses the general requirements for this kind of verification. Especially the capabilities of the automation system-the used hardware and software-form a major point. The paper describes the basic concepts and ongoing work regarding the verification of downtimeless system evolution.
|
|
| 6. |
- Sünder, Christoph, et al.
(författare)
-
Usability and interoperability of IEC 61499 based distributed automation systems
- 2007
-
Ingår i: 2006 4th IEEE International Conference on Industrial Informatics. - Piscataway, NJ : IEEE Communications Society. - 0780397010 - 0780397002 ; , s. 31-37
-
Konferensbidrag (refereegranskat)abstract
- Since IEC 61499 has reached the state of an International Standard and a substantial body of research results exists the question of the authors as main intention for this paper was: Do the models of IEC 61499 solve all problems when thinking of usability and interoperability in heterogeneous system environments? The main problems discussed within the paper concern to the execution model defined for basic function blocks and the scheduling of events within function block networks
|
|
