Aplicação da IEC 61508 na Prototipação de Protocolos Seguros de Comunicação
Resumo
Visando garantir os níveis de segurança funcional adequados para a correta troca de informações entre os dispositivos de controle e instru- mentação em uma planta industrial, as normas IEC 61508 e IEC 61784-3 impõem o uso de protocolos de comunicação seguros. A codificação desse tipo de protocolo deve ser realizada caso a caso e certificada para cada novo equipamento de automação. Neste contexto, este artigo apresenta um protótipo do protocolo PROFIsafe. A construção do protótipo partiu da especificação do protocolo e seguiu as recomendações da norma IEC 61508 para o desenvolvimento de software embarcado de segurança. O conjunto de regras e padrões de codificação desenvolvidos e a experiência na validação do protótipo serão aplicados no desenvolvimento de equipamentos para sistemas instrumentados de segurança.Referências
Alemzadeh, Homa, Jai Raman, Zbigniew Kalbarczyk, and Ravishankar Iyer. 2013. “Analysis of Safety-Critical Computer Failures in Medical Devices.” IEEE Security & Privacy 99 (1): 1.
Bell, Ron. 2006. “Introduction to IEC 61508.” In Proceedings of the 10th Australian Workshop on Safety Critical Systems and software-Volume 55, 3–12. Australian Computer Society, Inc.
Bell, Ron. 2011. “Introduction and Revision of IEC 61508.” In Advances in Systems Safety, edited by Chris Dale and Tom Anderson, 273–91. Springer London.
Bilich, Carlos, and Zaijun Hu. 2009. “Experiences with the Certification of a Generic Functional Safety Management Structure According to IEC 61508.” In Computer Safety, Reliability, and Security, edited by Bettina Buth, Gerd Rabe, and Till Seyfarth, 5775:103–17. Lecture Notes in Computer Science. Springer Berlin / Heidelberg.
Dunn, W.R. 2003. “Designing Safety-critical Computer Systems.” Computer 36 (11): 40– 46.
Esposito, Christian, Domenico Cotroneo, and Nuno Silva. 2011. “Investigation on Safety-Related Standards for Critical Systems.” In Software Certification 158Anais do XV Workshop de Testes e Tolerância a Falhas - WTF 2014 (WoSoCER), 2011 First International Workshop On, 49–54. IEEE.
Fowler, Derek, and Phil Bennett. 2000. “IEC 61508 — A Suitable Basis for the Certification of Safety-Critical Transport-Infrastructure Systems ??” In Computer Safety, Reliability and Security, edited by Floor Koornneef and Meine van der Meulen, 1943:250–63. Lecture Notes in Computer Science. Springer Berlin / Heidelberg.
Gall, Heinz, and Joachim Wen. 2010. “Functional Safety IEC 61508 and Sector Standards for Machinery and Process Industry the Impact to Certification and Users Including IEC 61508 2nd Edition.” In 23rd International Congress on Condition Monitoring and Diagnostic Engineering Management, COMADEM 2010, June 28, 2010 - July 2, 2010, 73–81.
Grottke, Michael, and Kishor S. Trivedi. 2007. “Fighting Bugs: Remove, Retry, Replicate, and Rejuvenate.” Computer 40 (2): 107–9.
Hardy, Terry. 2013. “Case Studies in Process Safety: Lessons Learned From Software-Related Accidents.”
IEC. 1999. IEC 61508: Functional Safety of Electrical, Electronic/Programmable Electronic Safety-Related Systems.
Leveson, Nancy G. 1995. Safeware: System Safety and Computers. 1 edition. Reading, Mass: Addison-Wesley Professional.
Malik, Robi, and Reinhard Mühlfeld. 2003. “A Case Study in Verification of UML Statecharts: The PROFIsafe Protocol.” J. UCS 9 (2): 138–51.
Neumann, Peter. 2007. “Communication in Industrial automation—What Is Going On?” Control Engineering Practice 15 (11): 1332–47.
Schonbeck, Martin, Marvin Rausand, and Jan Rouvroye. 2010. “Human and Organisational Factors in the Operational Phase of Safety Instrumented Systems: A New Approach.” Safety Science 48 (3): 310–18.
Thomesse, J.-P. 2005. “Fieldbus Technology in Industrial Automation.” Proceedings of the IEEE 93 (6): 1073–1101.
Wassyng, Alan, Tom Maibaum, Mark Lawford, and Hans Bherer. 2011. “Software Certification: Is There a Case Against Safety Cases?” In Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 206–27. Springer.
Zhivich, Michael, and Robert K. Cunningham. 2009. “The Real Cost of Software Errors.” Security & Privacy, IEEE 7 (2): 87–90.
Bell, Ron. 2006. “Introduction to IEC 61508.” In Proceedings of the 10th Australian Workshop on Safety Critical Systems and software-Volume 55, 3–12. Australian Computer Society, Inc.
Bell, Ron. 2011. “Introduction and Revision of IEC 61508.” In Advances in Systems Safety, edited by Chris Dale and Tom Anderson, 273–91. Springer London.
Bilich, Carlos, and Zaijun Hu. 2009. “Experiences with the Certification of a Generic Functional Safety Management Structure According to IEC 61508.” In Computer Safety, Reliability, and Security, edited by Bettina Buth, Gerd Rabe, and Till Seyfarth, 5775:103–17. Lecture Notes in Computer Science. Springer Berlin / Heidelberg.
Dunn, W.R. 2003. “Designing Safety-critical Computer Systems.” Computer 36 (11): 40– 46.
Esposito, Christian, Domenico Cotroneo, and Nuno Silva. 2011. “Investigation on Safety-Related Standards for Critical Systems.” In Software Certification 158Anais do XV Workshop de Testes e Tolerância a Falhas - WTF 2014 (WoSoCER), 2011 First International Workshop On, 49–54. IEEE.
Fowler, Derek, and Phil Bennett. 2000. “IEC 61508 — A Suitable Basis for the Certification of Safety-Critical Transport-Infrastructure Systems ??” In Computer Safety, Reliability and Security, edited by Floor Koornneef and Meine van der Meulen, 1943:250–63. Lecture Notes in Computer Science. Springer Berlin / Heidelberg.
Gall, Heinz, and Joachim Wen. 2010. “Functional Safety IEC 61508 and Sector Standards for Machinery and Process Industry the Impact to Certification and Users Including IEC 61508 2nd Edition.” In 23rd International Congress on Condition Monitoring and Diagnostic Engineering Management, COMADEM 2010, June 28, 2010 - July 2, 2010, 73–81.
Grottke, Michael, and Kishor S. Trivedi. 2007. “Fighting Bugs: Remove, Retry, Replicate, and Rejuvenate.” Computer 40 (2): 107–9.
Hardy, Terry. 2013. “Case Studies in Process Safety: Lessons Learned From Software-Related Accidents.”
IEC. 1999. IEC 61508: Functional Safety of Electrical, Electronic/Programmable Electronic Safety-Related Systems.
Leveson, Nancy G. 1995. Safeware: System Safety and Computers. 1 edition. Reading, Mass: Addison-Wesley Professional.
Malik, Robi, and Reinhard Mühlfeld. 2003. “A Case Study in Verification of UML Statecharts: The PROFIsafe Protocol.” J. UCS 9 (2): 138–51.
Neumann, Peter. 2007. “Communication in Industrial automation—What Is Going On?” Control Engineering Practice 15 (11): 1332–47.
Schonbeck, Martin, Marvin Rausand, and Jan Rouvroye. 2010. “Human and Organisational Factors in the Operational Phase of Safety Instrumented Systems: A New Approach.” Safety Science 48 (3): 310–18.
Thomesse, J.-P. 2005. “Fieldbus Technology in Industrial Automation.” Proceedings of the IEEE 93 (6): 1073–1101.
Wassyng, Alan, Tom Maibaum, Mark Lawford, and Hans Bherer. 2011. “Software Certification: Is There a Case Against Safety Cases?” In Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 206–27. Springer.
Zhivich, Michael, and Robert K. Cunningham. 2009. “The Real Cost of Software Errors.” Security & Privacy, IEEE 7 (2): 87–90.
Publicado
05/05/2014
Como Citar
VIDAL, William; DOBLER, Rodrigo; CECHIN, Sérgio; WEBER, Taisy; NETTO, João.
Aplicação da IEC 61508 na Prototipação de Protocolos Seguros de Comunicação. In: WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS (WTF), 15. , 2014, Florianópolis/SC.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2014
.
p. 147-159.
ISSN 2595-2684.
DOI: https://doi.org/10.5753/wtf.2014.22953.
