Navegação TCC Ciência da Computação por Assunto "Safety"
Resultados 1-3 de 3
-
Documentação para a certificação de dispositivos de segurança usando a norma IEC 61508
(2010) [Trabalho de conclusão de graduação]Este trabalho é um estudo sobre a norma IEC 61508 - segurança funcional de sistemas elétricos, eletrônicos e eletrônicos programáveis relacionados à segurança. O trabalho foca no projeto de desenvolvimento do software de ... -
SegurLab 2D : desenvolvimento de um App educativo multiplataforma sobre segurança no laboratório de química
(2021) [Trabalho de conclusão de graduação]Este trabalho detalha o desenvolvimento, tanto no âmbito de design, como também de implementação de um software/jogo educativo, voltado ao aprendizado de conceitos pertinentes à segurança de um laboratório químico. Devido ... -
Verificador temporal de propriedades em tempo de execução implementado em VHDL
(2014) [Trabalho de conclusão de graduação]A verificação de projetos digitais é essencial para garantir o correto funcionamento e aumentar a confiabilidade de um sistema. Este trabalho visa fazer a verificação de sistemas reativos através de propriedades formais ...