A Framework for Modeling and Formal Verification of SIS Control Programs Based on the IEC61511 Standard
Ferrarezi, Rodrigo Cesar and Junior, Reinaldo Squillante and Souza, Jefferson A. L. and Silva, José Reinaldo and Junqueira, Fabricio, and Miyagi, Paulo Eigi and Moscato, Lucas Antonio, and Okamoto, Jun and Santos, Diolino J.
- Journal
- Int. Journal of Systems Applications, Engineering & Development
- Autor
- Ferrarezi, Rodrigo Cesar and Junior, Reinaldo Squillante and Souza, Jefferson A. L. and Silva, José Reinaldo and Junqueira, Fabricio, and Miyagi, Paulo Eigi and Moscato, Lucas Antonio, and Okamoto, Jun and Santos, Diolino J.
- Book Title
- Volume
- 8
- Página(s)
- 283--291
- DOI
- Published
- 2014
- Month
- 0
- Tipo de Documento
- Artigo em Revista
- Abstract
- As productive systems are becoming more complex, their control solutions are also increasingly becoming more complex. The processes of understanding and developing such systems have also become highly complex. Thus design flaws are intrinsic to their development. Even the most innovative systems are error prone and faults or accidents may cause severe damage to the operators, the plant or the environment, as no system has no fault risk. The concepts of Safety Instrumented Systems (SIS) might be a solution to this problem. However, critical systems – such as oil and gas refineries where faults may cause severe accidents – controlled by PLCs also demand a formal verification processes of their control programs and must be developed according to the safety control program development cycle defined on the IEC 61511 standard. On this work we propose a framework for the model based development of SIS control programs that is based on the cycle defined on the IEC 61511 standard and where the interaction between the prevention and mitigation programs is considered. The framework was applied to the development of the SIS control program of a natural gas compression plant (ECOMP). The framework allowed the resulting program to present a modular structure and to have several properties properly verified – considering that the final model represented the entire SIS program of a real world plant.
- Keywords
- formal verification,framework,ghenesys,iec 61511,model checking,prevention and mitigation,sis
- Publisher
- URL