Verification and optimization of a PLC control schedule
E Brinksma, A Mader - International SPIN Workshop on Model Checking of …, 2000 - Springer
We report on the use of the SPIN model checker for both the verification of a process control
program and the derivation of optimal control schedules. This work was carried out as part of
a case study for the EC VHS project (Verification of Hybrid Systems), in which the program
for a Programmable Logic Controller (PLC) of an experimental chemical plant had to be
designed and verified. The intention of our approach was to see how much could be
achieved here using the standard model checking environment of SPIN/Promela. As the …
program and the derivation of optimal control schedules. This work was carried out as part of
a case study for the EC VHS project (Verification of Hybrid Systems), in which the program
for a Programmable Logic Controller (PLC) of an experimental chemical plant had to be
designed and verified. The intention of our approach was to see how much could be
achieved here using the standard model checking environment of SPIN/Promela. As the …
Verification and optimization of a PLC control schedule
E Brinksma, A Mader, A Fehnker - International Journal on Software Tools …, 2002 - Springer
We report on the use of model checking techniques for both the verification of a process
control program and the derivation of optimal control schedules. Most of this work has been
carried out as part of a case study for the EU VHS project (Verification of Hybrid Systems), in
which the program for a Programmable Logic Controller (PLC) of an experimental chemical
plant had to be designed and verified. The original intention of our approach was to see how
much could be achieved here using the standard model checking environment of …
control program and the derivation of optimal control schedules. Most of this work has been
carried out as part of a case study for the EU VHS project (Verification of Hybrid Systems), in
which the program for a Programmable Logic Controller (PLC) of an experimental chemical
plant had to be designed and verified. The original intention of our approach was to see how
much could be achieved here using the standard model checking environment of …
以上显示的是最相近的搜索结果。 查看全部搜索结果