CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

A Control Software Development Method Using IEC 61499 Function Blocks, Simulation and Formal Verification

Goran Cengic (Institutionen för signaler och system, Automation) ; Knut Åkesson (Institutionen för signaler och system, Automation)
Proceedings of the 17th IFAC World Congress p. 22-27. (2008)
[Artikel, refereegranskad vetenskaplig]

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.

Nyckelord: Dependable manufacturing systems control, Discrete event systems in manufacturing, Supervisory control



Denna post skapades 2008-12-12. Senast ändrad 2008-12-12.
CPL Pubid: 81332

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för signaler och system, Automation

Ämnesområden

Systemteknik
Programvaruteknik
Reglerteknik

Chalmers infrastruktur

Relaterade publikationer

Denna publikation ingår i:


On Formal Methods in Development of Control Logic Using IEC 61499