Aplicação da IEC 61508 na Prototipação de Protocolos Seguros de Comunicação
Abstract
To ensure adequate integrity safety levels for the proper exchange of information between control and instrumentation devices in an industrial plant, IEC 61784-3 and IEC61508 standards impose the use of safe communication protocols. For each new equipment such protocols must be specially implemented and certified. In this context, this paper presents a prototype of PROFIsafe protocol. The prototyping started from the protocol specification and followed the recommendations of IEC 61508 for the development of safe embedded software. The set of coding rules we developed and our experience in the validation of the prototype will be incorporated in the development of equipment for safety instrumented systems.References
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.
Published
2014-05-05
How to Cite
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: FAULT TOLERANCE WORKSHOP (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.
