Data/hora: 23/09/2024 23:49:17

Biblioteca(s): 	Embrapa Agricultura Digital.	
Data corrente: 	17/07/1996	
Data da última atualização: 	04/10/2007	
Autoria: 	SANTOS, S. C. dos; SILVA, F. Q. B. da.	
Título: 	Um enfoque multiformalismos para especificação de sistemas de segurança crítica.	
Ano de publicação: 	1995	
Fonte/Imprenta: 	In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE, 9., 1995, Recife. Anais... Recife: Universidade Federal de Pernambuco, 1995.	
Páginas: 	p. 91-106.	
Idioma: 	Português	
Conteúdo: 	Chamamos de sistemas de segurança crítica, aqueles sistemas cuja falha pode causar danos ao ambiente ou perigo de vida aos seres humanos ou ambos. Tais sistemas requerem um alto grau de confiabilidade em seu desenvolvimento, antes de serem colocados em uso. Este artigo descreve a utilização de métodos formais para aumentar a confiabilidade no desenvolvimento de sistemas de segurança crítica. O enfoque e inovador no sentido em que propõe a utilização de formalismos distintos para descrever aspectos diferentes do sistema e produz a integração das várias especificações através de provas de consistência. Os resultados descritos aqui fazem parte do trabalho desenvolvido em [4].	
Palavras-Chave: 	confiabilidade; Desenvolvimento; Sistemas.	
Categoria do assunto: 	--	
Registro original: 	Embrapa Agricultura Digital (CNPTIA)	
Exemplares: 	CNPTIA - (3530-1) - ADD - PL - -- - 005.1 - SIM - 1995.00009 - DIS