Assistente para Desenvolvimento de Software Crítico segundo a IEC 61508
Abstract
An assistance tool can ease the development of critical software when it must follow a given safety standard as the IEC 61508. The standards are extensive and detailed making it a hard reading for software developers unfamiliar with the area of functional safety and fault tolerance techniques. We implemented a tool to help developers and testers to understand and apply each safety requirement of the IEC 61508 concerning the software life cycle. The tool verifies if the developers completed all the activities of a given phase of the life cycle and helps to keep the documentation needed for the certification process.References
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.
Published
2013-05-06
How to Cite
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: FAULT TOLERANCE WORKSHOP (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.
