J. Machado and J.C. Campos
Partial Plant Models in Formal Verification of Industrial Automation Discrete Systems
In Ambrosio, A.M., Mattiello-Francisco, M.F., Batista, J.C., Barbosa, R. and Cancela, H., editors, Latin-American Symposium on Dependable Computing (LADC 2011) suplemental proceedings. INPE. 2011.

Abstract

The use of a plant model for formal verification of Industrial Automation systems controllers is realistic because all automation systems are composed by a controller and a plant. Therefore, if the plant model is not used, there is a part of the system that is not considered. However, if there are some cases where the use of a plant model makes the formal verification results more realistic and robust, there are other cases where this does not always happen. Moreover, the discussion presented in this paper is related with the need of using a Plant Model considering, not all of the Plant Model, but Partial Plant models in order to facilitate formal verification tasks of Industrial Automation Discrete Event Systems Controllers.

download PDF

@InProceedings{MachadoC:2011,
 author = {J. Machado and J.C. Campos},
 title = {Partial Plant Models in Formal Verification of Industrial Automation Discrete Systems},
 booktitle = {Latin-American Symposium on Dependable Computing (LADC 2011) suplemental proceedings},
 abstract = {The use of a plant model for formal verification of Industrial Automation systems controllers is realistic because all automation systems are composed by a controller and a plant. Therefore, if the plant model is not used, there is a part of the system that is not considered. However, if there are some cases where the use of a plant model makes the formal verification results more realistic and robust, there are other cases where this does not always happen. Moreover, the discussion presented in this paper is related with the need of using a Plant Model considering, not all of the Plant Model, but Partial Plant models in order to facilitate formal verification tasks of Industrial Automation Discrete Event Systems Controllers.},
 editor = {Ambrosio, A.M. and Mattiello-Francisco, M.F. and Batista, J.C. and Barbosa, R. and Cancela, H.},
 paperurl = {http://mtc-m18.sid.inpe.br/rep/sid.inpe.br/mtc-m18/2011/04.11.16.35?mirror=sid.inpe.br/mtc-m18@80/2008/03.17.15.17.24&metadatarepository=sid.inpe.br/mtc-m18/2011/04.11.16.35.23},
 year = {2011},
 publisher = {INPE}
}

Generated by mkBiblio 2.6.23