Sökning: onr:"swepub:oai:research.chalmers.se:1cab3840-9dcc-4caa-9405-cebdbc49c627" >
A Control Software ...
A Control Software Development Method Using IEC 61499 Function Blocks, Simulation and Formal Verification
-
- Cengic, Goran, 1978 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Åkesson, Knut, 1972 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
(creator_code:org_t)
- 2008
- 2008
- Engelska.
-
Ingår i: Proceedings of the 17th IFAC World Congress. ; , s. 22-27
- Relaterad länk:
-
https://research.cha...
Abstract
Ämnesord
Stäng
- A new control software development method is presented. It uses IEC 61499 function blocks for control software programming and provides tools for simulation, execution, automatic model generation and formal verification of the control code during the development. Simulation and execution are supported by the same tool, the Fuber runtime environment. Formal modeling is done using extended finite automata (EFA) and an automatic model generation tool. Formal verification shows the behavior of the closed-loop system. i.e. when control code is executed against the model of the process. The model can use a non-deterministic execution control chart (ECC) in the process model block. The control code and the process model are expressed using the IEC 61499 language in order to avoid maintenance of the process model and control code in different languages, thus making it easier to use the formal verification in the control software development.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Systemvetenskap, informationssystem och informatik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Information Systems (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Reglerteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Control Engineering (hsv//eng)
Nyckelord
- Supervisory control
- Dependable manufacturing systems control
- Discrete event systems in manufacturing
Publikations- och innehållstyp
- art (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas