Software De Seguranca Critica
Mostrando 1-8 de 8 artigos, teses e dissertações.
-
1. Como realizar o cadastro de dados no Sistema de Vigilância Alimentar e Nutricional?
Segundo o Ministério da Saúde, o cadastro no Sistema de Vigilância Alimentar e Nutricional (SISVAN) deve ser realizado no SISVAN WEB, que pode ser acessado através do seguinte endereço eletrônico: http://dabsistemas.saude.gov.br/sistemas/sisvan/login.php?acesso_negado=true.
Nesse endereço também é possível realizar o cadastro de gestores,
Núcleo de Telessaúde Santa Catarina. Publicado em: 12/06/2023
-
2. Cultura de segurança da equipe multiprofissional em Unidades de Terapia Intensiva Neonatal de hospitais públicos
Objetivo analisar a cultura de segurança da equipe multiprofissional em três Unidades de Terapia Intensiva Neonatal de hospitais públicos de Minas Gerais, Brasil. Método estudo tipo survey, transversal, desenvolvido com 514 profissionais de saúde. Utilizou-se o instrumento Hospital Survey on Patient Safety Culture, sendo os dados submetidos à anál
Rev. Latino-Am. Enfermagem. Publicado em: 19/08/2019
-
3. Avaliação da carga de trabalho físico e da postura de trabalhadores na produção de mudas florestais
Nesta pesquisa, objetivou-se avaliar a carga de trabalho físico e a postura adotada pelos trabalhadores nas atividades de produção de mudas florestais, visando a reorganização ergonômica do trabalho para a melhoria dos níveis de segurança e saúde dos trabalhadores. O estudo foi realizado com trabalhadores do viveiro de uma empresa florestal localiza
CERNE. Publicado em: 2011-12
-
4. Documentação para a certificação de dispositivos de segurança usando a norma IEC 61508
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 segurança, detalhado na norma 61508-3 - segurança funcional de sistemas elétricos, eletrônicos e eletrônicos programáveis rel
Publicado em: 2011
-
5. MODDESSA: um modelo de desenvolvimento para sistemas de software autotrônicos.
Os dispositivos eletrônicos, diariamente, estão presentes na vida dos seres humanos. Também encontrados em automóveis, onde recebem a denominação de Autotrônica, seu uso vem aumentando a cada modelo de veículo lançado no mercado. Esses dispositivos vêm apresentando funcionalidades mais complexas e críticas. Alguns dos dispositivos autotrônicos pr
Publicado em: 2009
-
6. Estudo de verificação e validação de sistemas embarcados espaciais utilizando SysML e Model Checking.
Entre as principais dificuldades do desenvolvimento de software embarcado crítico e de tempo real está a especificação e o processo de verificação e validação apoiado ao projeto conceitual. Neste contexto, a modelagem de sistemas tem uma importante função, uma vez que um processo complexo possa ser analisado e validado antes de sua real implementa�
Publicado em: 2009
-
7. Uma solução baseada em agentes para redes sensores sem fios
Tipicamente, os sistemas atuais de monitoramento de ambientes físicos sujeitos a situações de emergência, tais como plantas industriais, plataformas petrolíferas, usinas nucleares etc., não possuem a precisão necessária para a observação de eventos de emergência devido à falta de informação e/ou precisão sobre o que está ocorrendo no ambiente
Publicado em: 2009
-
8. Avaliação comparativa do impacto do emprego de técnicas de programação defensiva na segurança de sistemas críticos. / Comparative evaluation of the impact of the use of defensive programming techniques on the safety of critical systems.
Com o objetivo da redução do tempo de desenvolvimento de produtos comerciais, hardwares padronizados, como microcontroladores e microprocessadores dedicados, têm sido largamente empregados em aplicações críticas, transferindo para o software elementos até então de responsabilidade exclusiva do hardware. Técnicas de programação defensiva são mecan
Publicado em: 2007