Assistente para Desenvolvimento de Software Crítico segundo a IEC 61508
Resumo
Uma ferramenta de apoio ao projeto de software facilita o desenvolvimento de software seguro principalmente quando este deve seguir normas rigorosas de segurança crítica como a EC 61508. A norma é extensa e detalhada tornando penosa sua aplicação por desenvolvedores não familiarizados com as áreas de tolerância a falhas e segurança funcional. Apresentamos uma ferramenta de apoio para facilitar a aplicação de cada um dos requisitos de segurança da IEC 61508 levando em consideração o ciclo de vida de software crítico. A ferramenta verifica se todas as atividades foram completadas e mantém a documentação necessária ao processo de certificação de segurança.Referências
Avizienis, A.; Laprie, J.-C.; Randell, B.; Landwehr, C., “Basic concepts and taxonomy of dependable and secure computing.” Dependable and Secure Computing, IEEE Transactions on , vol.1, no.1, pp. 11- 33, Jan.-March 2004
Dunn, W. R., “Designing safety-critical computer systems.” IEEE Comp, 36(11):40 – 46. 2003.
Bell, R., “Introduction and Revision of IEC 61508”. Advances in Systems Safety, 2011,Springer
Faller, R., “Project experience with IEC 61508 and its consequences.” SAFECOMP 2001, v. 2187 of Lecture Notes in Computer Science, pp 200 – 214.
International Electrotechnical Commission IEC 61508, part 1 to 7; Functional Safety of Electrical, Electronic and Programmable Electronic Safety-Related Systems. IEC Std. 2010. http://www.iec.ch/functionalsafety.
Johnson, C., “Using IEC 61508 to guide the investigation of computer-related incidents and accidents”. In SAFECOMP 2003, v. 2788 of Lecture Notes in Computer Science, pages 410 – 424.
Panesar-Walawege, R.K. et all. “Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard”, in 2010 Third International Conference on Software Testing, Verification and Validation. 335-344
Smith D.J.; Simpson, K.G.L.; Functional Safety: a straightforward guide to applying IEC 61508 and related standards, Elsevier, Butterworth-Heinemann, U.K. 2ªedição, 2004.
Brown, S. “Overview of IEC 61508 Design of electrical/electronic/programmable electronic safety-related systems”. IEEE Computing and Control, Engineering Journal, fev. 2000.
Mcdermid, J.A. “Software Safety: Where’s the Evidence?”, in Proc. 6th Australian Workshop on Industrial Experience, v.3, 2001.
Cechin, Sergio Luis; Weber, Taisy Silva; Netto, Joao Cesar. Arquiteturas MooN(D) para portas de entrada e saída de remotas em conformidade com a IEC 61508. In: Congresso Brasileiro de Automática (19. : 2012 set. 02-06 : Campina Grande, PB). Campinas, SP : Sociedade Brasileira de Automática, 2012. p. 4500-4507.
Mayr, A.; Plösch, R.; Saft, M.; , "Towards an Operational Safety Standard for Software: Modelling IEC 61508 Part 3," Engineering of Computer Based Systems (ECBS), 2011 18th IEEE International Conference and Workshops on , vol., no., pp.97-104, 27-29 April 2011
(2013) Silcore. [Online]. Available: http://www.acm.ab.ca/
(2013) exSILentia. [Online]. Available: http://www.exida.com/
(2013) SilSolver. [Online]. Available http://www.sis-tech.com/
Weber, Taisy Silva; Cechin, Sergio Luis; Netto, Joao Cesar. Integridade de segurança em sistemas críticos de controle e instrumentação. In: Conferência Internacional em Tecnologias Naval e Offshore : ciência e inovação (1. : 2012 março 22-23 : Rio Grande, RS), Rio Grande, RS : FURG, 2012. [4] f.
Dunn, W. R., “Designing safety-critical computer systems.” IEEE Comp, 36(11):40 – 46. 2003.
Bell, R., “Introduction and Revision of IEC 61508”. Advances in Systems Safety, 2011,Springer
Faller, R., “Project experience with IEC 61508 and its consequences.” SAFECOMP 2001, v. 2187 of Lecture Notes in Computer Science, pp 200 – 214.
International Electrotechnical Commission IEC 61508, part 1 to 7; Functional Safety of Electrical, Electronic and Programmable Electronic Safety-Related Systems. IEC Std. 2010. http://www.iec.ch/functionalsafety.
Johnson, C., “Using IEC 61508 to guide the investigation of computer-related incidents and accidents”. In SAFECOMP 2003, v. 2788 of Lecture Notes in Computer Science, pages 410 – 424.
Panesar-Walawege, R.K. et all. “Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard”, in 2010 Third International Conference on Software Testing, Verification and Validation. 335-344
Smith D.J.; Simpson, K.G.L.; Functional Safety: a straightforward guide to applying IEC 61508 and related standards, Elsevier, Butterworth-Heinemann, U.K. 2ªedição, 2004.
Brown, S. “Overview of IEC 61508 Design of electrical/electronic/programmable electronic safety-related systems”. IEEE Computing and Control, Engineering Journal, fev. 2000.
Mcdermid, J.A. “Software Safety: Where’s the Evidence?”, in Proc. 6th Australian Workshop on Industrial Experience, v.3, 2001.
Cechin, Sergio Luis; Weber, Taisy Silva; Netto, Joao Cesar. Arquiteturas MooN(D) para portas de entrada e saída de remotas em conformidade com a IEC 61508. In: Congresso Brasileiro de Automática (19. : 2012 set. 02-06 : Campina Grande, PB). Campinas, SP : Sociedade Brasileira de Automática, 2012. p. 4500-4507.
Mayr, A.; Plösch, R.; Saft, M.; , "Towards an Operational Safety Standard for Software: Modelling IEC 61508 Part 3," Engineering of Computer Based Systems (ECBS), 2011 18th IEEE International Conference and Workshops on , vol., no., pp.97-104, 27-29 April 2011
(2013) Silcore. [Online]. Available: http://www.acm.ab.ca/
(2013) exSILentia. [Online]. Available: http://www.exida.com/
(2013) SilSolver. [Online]. Available http://www.sis-tech.com/
Weber, Taisy Silva; Cechin, Sergio Luis; Netto, Joao Cesar. Integridade de segurança em sistemas críticos de controle e instrumentação. In: Conferência Internacional em Tecnologias Naval e Offshore : ciência e inovação (1. : 2012 março 22-23 : Rio Grande, RS), Rio Grande, RS : FURG, 2012. [4] f.
Publicado
06/05/2013
Como Citar
BANDEIRA, Diego; WEBER, Taisy S.; CECHIN, Sérgio L.; DOBLER, Rodrigo; NETTO, João C..
Assistente para Desenvolvimento de Software Crítico segundo a IEC 61508. In: WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS (WTF), 14. , 2013, Brasília/DF.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2013
.
p. 17-30.
ISSN 2595-2684.
DOI: https://doi.org/10.5753/wtf.2013.23013.
