Artigo Completo - Open Access.

Idioma principal | Segundo idioma

FRAMEWORK PARA O DESENVOLVIMENTO DE PROGRAMAS DE CONTROLES DE SIS BASEADO NA NORMA IEC 61511

FRAMEWORK FOR THE DEVELOPMENT OF SIS CONTROL PROGRAMS BASED ON THE IEC61511 STANDARD

Ferrarezi, Rodrigo Cesar ; Squillante Júnior, Reinald ; Souza, Jeferson A. L. ; Silva, José Reinaldo ; Miyagi, Paulo Eigi ; Moscato, Lucas Antonio ; Filho, Diolino J. Santos ;

Artigo Completo:

Devido à alta complexidade dos sistemas produtivos atuais, o desenvolvimento de soluções de controle apropriadas de acordo com as normas industriais, os possíveis impactos negativos nos seres humanos e equipamentos e meio ambiente em caso de falha desses sistemas, existe uma demanda muito grande para o desen olvimento de soluções de controle que sejam estáveis e seguros. Uma forma de se desenvolver sistemas mais seguros e confiáveis é o uso dos Sistemas Instrumentados de Segurança (SIS) de acordo com as normas IEC 61508 e IEC 61511. Entretanto, mesmo quando programas são desenvolvidos de acordo com as normas aplicáveis, programas de controle de SIS são susceptíveis de erros de desenvolvimento e especificação assim como no desenvolvimento de qua quer tipo de software. Uma forma de melhoria da confiabilidade desses programas de controle, que também é req erimento das normas IEC 61508 e IEC 61511, é a utilização do ciclo de desenvolvimento de programas de segurança de SIS em conjunto com técnicas de verificação formal dos modelos dos programas de controle, bem como uma abordagem unificada para a modelagem dos programas do SIS de prevenção e mitigação, dessa forma, possibilitando um melhor entendimento de suas interações.

Artigo Completo:

Due to the high complexity of the actual Productive Systems, the design of suitable control systems according to the applicable industrial standards, and the possible negative impacts on human beings, on the environment and on equipment, the development of control solutions are both - secure and stable - is very demanded. One way to develop safer and more reliable systems is the use of Safety Instrumented Systems (SIS) according to the standards IEC 61508 and IEC 61511. However, even when the control programs are developed according to the applicable standards SIS control programs are prone to specification and design errors, as on the developing of any kind of software. One way to improve the reliability of these control programs, method which is also required by the safety standards IEC 61508 and IEC 61511 is the application of the SIS safety programs development cycle, together with the use of formal verification techniques on the control software models as well the use a unified approach for modeling the SIS prevention and mitigation systems, and thus having a better understanding of their interactions.

Palavras-chave: IEC 61511, SIS de mitigação e prevenção, Model Checking, GHENeSys, IEC 61511, prevention and mitigation SIS, Model Checking, GHENeSys,

Palavras-chave: ,

DOI: 10.5151/mathpro-cnmai-0058

Referências bibliográficas
  • [1] Alur, R., Courcoubetis, C.A. Andamp; Dill, D.L., 1990. Model-checking for real-time systems. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science. Philadelphia, 1990. pp.414-25.
  • [2] Bani Younis, M. Andamp; Frey, G., 2003. Formalization of Existing PLC Programs: A survey. Kaiserslautern, 2003. Berthomieu, B. Andamp; Menasche, M., 1983. An Enumerative Approach For Analyzing Time Petri Nets. In Proceedings IFIP. Paris, 1983. Elsevier Science Publishers. pp.41-46.
  • [3] Cavalheiro, A.C.M. et al., 2011. Specification of Supervisory Control Systems for Ventricular Assist Devices. Artificial Organs, 35(5), pp.465–70.
  • [4] Clarke, M., Grumberg, Andamp; Peled, D.A., 1999. Model Cheking. 1st ed. Cambridge: MIT Press.
  • [5] del Foyo, P.M.G., Miralles, A.S.P.J. Andamp; Silva, J.R., 2011. UM VERIFICADOR FORMAL EFICIENTE PARA SISTEMAS DE TEMPO REAL. In X SBAI – Simpósio Brasileiro de Automação Inteligente. São João del-Rei, 2011. pp.1220-2
  • [6] del Foyo, P.M.G. Andamp; Silva, J.R., 2003. Towards a unified view of Petri nets and object oriented modeling. In In 17th International Congress in Mechanical Engineering. São Paulo, 2003. pp.518-24.
  • [7] Diaz, M., 2009. Petri Nets - Fundamental Models, Verification and Applications. London: John Wiley Andamp; Sons. Dwyer, M.B., Avrunin, G.S. Andamp; Corbett, J.C., 1998. Property Specification Patterns for Finite-state Verication. In Proceedings of 2nd Workshop on Formal Methods in Software Practice. Clearwater Beach, 1998. pp.7-15.
  • [8] Gu, F., Harrison, W.S., Tilbury, D.M. Andamp; Yuan, C., 2007. Hardware-In-The-Loop for Manufacturing Automation Control: Current Status and Identified Needs. In CASE 2007. IEEE International Conference on Automation Science and Engineering. Scottsdale, 2007. pp.1105-10.
  • [9] IEC, 2003. IEC 61131-3 - Programmable controllers - Part 3: Programming languages. Geneva: International Electrotechnical Commission.
  • [10] IEC, 2003. IEC 61511 - Safety instrumented systems for the process industry sector. Geneva: International Electrotechnical Commission International Electrotechnical Commission.
  • [11] IEC, 2010. IEC 61508 - Functional safety of electrical/electronic/programmable electronic safety-related systems. Geneva, Switzerland: International Electrotechnical Commission International Electrotechnical Commission.
  • [12] ISA, 1984 (R1992). ANSI/ISA-S5.1 — Instrumentation Symbols and Identification. Research Triangle Park: Instrument Society of America.
  • [13] ISO/IEC, 2005. Software and Systems Engineering - High-level Petri Nets, Part 2: Transfer Format, International Standard WD ISO/IEC 15909. Wd version 0.9.0.
  • [14] Mayr, A., Plösch, R. Andamp; Saft, M., 2011. Towards an Operational Safety Standard for Software - Modelling IEC 61508 Part 3. In 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems. Las Vegas, 2011. IEEE Computer Society. pp.97-104.
  • [15] Mazzolini, , Brusaferri, Andamp; Carpanzano, E., 2011. An Integrated Framework for Model-based Design and Verification of discrete Automation Solutions. In Proceedings 2011 9th IEEE International Conference on Industrial Informatics. Milan, 2011. pp.545-50.
  • [16] Miyagi, P.E., 1996. Controle Programável - Fundamentos do Controle de Sistemas. São Paulo: Editora Edgard Blücher Ltda.
  • [17] Miyagi, P.E., Hasegawa, K. Andamp; Takahashi, K., 1988. A programming language for discrete production systems based on Production Flow Schema and Mark Flow Graph. Trans. SICE 24, pp.183-90.
  • [18] Murata, T., 1989. Petri nets: Properties, analysis and applications. Proceedings of IEEE, 77(4), pp.541–80.
  • [19] Sallak, M., Simon, C. Andamp; Aubry, J.-F., 2008. A Fuzzy Probabilistic Approach for Determining Safety Integrity Level. IEEE Transactions on Fuzzy Systems, 16(1), pp.239-48.
  • [20] Souza, J.A.L. et al., 2013. Mitigation Control of Faults in Critical Production Systems. In International Congress of Mechanical Engineering. Ribeirão Preto, 2013. pp.3889-99.
  • [21] Squillante Júnior, R., Santos Filho, D.J., Junqueira, F. Andamp; Miyagi, P.E., 2011. Development of Control Systems for Safety Instrumented Systems. IEEE Latin America Transactions, 9(4), pp.451-57.
  • [22] Thapa, D., Dangol, S. Andamp; Wang, G.-N., 2005. Transformation from Petri Nets Model to Programmable Logic Controller using One-to-One Mapping Technique. In International Conference on Computational Intelligence for Modelling, Control and Automation. Vienna, 2005. pp.228-33.
  • [23] Wan, H., Song, X., Chen, G. Andamp; Gu, M., 2010. A Refinement-Based Validation Method for Programmable Logic Controllers. In 10th International Conference on Quality Software. Zhangjiajie, 2010. pp.361-64.
  • [24] Zurawski, R. Andamp; Zhou , M., 1994. Petri nets and industrial applications: a tutorial. IEEE Transactions on Industrial Electronics, 41(6), pp.567–83.
Como citar:

Ferrarezi, Rodrigo Cesar; Squillante Júnior, Reinald; Souza, Jeferson A. L.; Silva, José Reinaldo; Miyagi, Paulo Eigi; Moscato, Lucas Antonio; Filho, Diolino J. Santos; "FRAMEWORK PARA O DESENVOLVIMENTO DE PROGRAMAS DE CONTROLES DE SIS BASEADO NA NORMA IEC 61511", p. 337-346 . In: Anais do Congresso Nacional de Matemática Aplicada à Indústria [= Blucher Mathematical Proceedings, v.1, n.1]. São Paulo: Blucher, 2015.
ISSN em b-reve, DOI 10.5151/mathpro-cnmai-0058

últimos 30 dias | último ano | desde a publicação


downloads


visualizações


indexações