Technical Application of Hybrid Modeling Methods to specify Function Block Systems
-
U. Enste
In spite of large improvements of formal modeling methods, their technical application in industrial process control implementations is still rare. Two reasons can be pointed out. First, there is still a gap between the formal modeling languages and the control languages used in industrial process control systems respectively specified in normative standards. Second, the focus of the modeling aspects is mostly on the control algorithms itself. Looking at industrial applications, these pure control algorithms yield often just 10 % or less of the behaviour and the signal flows of a control unit. All other aspects like synchronisiation or occupying mechanisms are usually unconsidered.
As a consequence of these arguments, first a new framework was developed for specifying modular function block applications in a comprehensive and formal way. Second, a generic template for batch-oriented process control blocks was designed, which takes all aspects of operational handlings into account. Both models – the framework and the template – are described using graphgrammars and hybrid modeling methods. The whole approach appears usefull for normative commitees and for large vendors of process control systems who have to develop function block applications or maintain and merge big function block libraries.
Artikel in diesem Heft
- Special Issue on Hybrid Systems II:Analysis, Modeling, and Verification
- Technical Application of Hybrid Modeling Methods to specify Function Block Systems
- Modeling and Validation of Hybrid Systems using Extended Timestamp Nets
- Approaches to the Formal Verification of Hybrid Systems
- Erreichbarkeitsanalyse hybrider Systeme (Reachability Analysis of Hybrid Systems)
- Aktive Deadlockvermeidung in Ereignisdiskreten Systemen (Active Deadlock Avoidance for Discrete Event Systems)
- Professor Gerhard Vossius 75 Jahre
- The 4th International Conference on Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM 2000)
- Gemeinsames Kolloquium der DFG-Schwerpunkprogramme Softwarespezifikation und KONDISK
- 1st IFAC-Conference on Mechatronic Systems
- 10. Workshop des GMA-Fachausschusses 5.22 Fuzzy Control
- Eine virtuelle Werkstatt für internationale Tele-Gruppenarbeit am Beispiel einer Fertigung von Drehteilen
Artikel in diesem Heft
- Special Issue on Hybrid Systems II:Analysis, Modeling, and Verification
- Technical Application of Hybrid Modeling Methods to specify Function Block Systems
- Modeling and Validation of Hybrid Systems using Extended Timestamp Nets
- Approaches to the Formal Verification of Hybrid Systems
- Erreichbarkeitsanalyse hybrider Systeme (Reachability Analysis of Hybrid Systems)
- Aktive Deadlockvermeidung in Ereignisdiskreten Systemen (Active Deadlock Avoidance for Discrete Event Systems)
- Professor Gerhard Vossius 75 Jahre
- The 4th International Conference on Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM 2000)
- Gemeinsames Kolloquium der DFG-Schwerpunkprogramme Softwarespezifikation und KONDISK
- 1st IFAC-Conference on Mechatronic Systems
- 10. Workshop des GMA-Fachausschusses 5.22 Fuzzy Control
- Eine virtuelle Werkstatt für internationale Tele-Gruppenarbeit am Beispiel einer Fertigung von Drehteilen
