Utilize este identificador para referenciar este registo: http://hdl.handle.net/10400.6/3728
Título: Verificação automatizada de sistemas de tempo real criticos
Autor: Carvalho, Joel Silva
Orientador: Sousa, Simão Melo de
Palavras-chave: Sistemas de tempo real - Verificação automática
Sistemas de tempo real - Linguagens de programação
Sistemas de tempo real - Mecanismos de verificação
Sistemas de autómatos
Data de Defesa: 2009
Resumo: A miniaturização das componentes electrónicas permite que os sistemas computacionais tenham uma proliferação acelerada. Estes sistemas estão integrados nos mais diversos meios, por exemplo, no cartão do cidadão, nos telemóveis, nos automóveis, nos aviões, entre outros. Novas exigências surgem com a evolução destes sistemas computacionais. De facto,acapacidadedeprocessamento,porsisó,jánãoésuficienteparaopreenchimento de todos os requisitos industriais. Nos sistemas críticos a segurança e a fiabilidade são os aspectos fundamentais. Apesar de ser importante, não basta reunir condições técnicas para executar um dado conjunto de tarefas num sistema, é preciso que o sistema(como um todo) execute correctamente essas tarefas(cap. 2).
URI: http://hdl.handle.net/10400.6/3728
Designação: Dissertação apresentada à Universidade da Beira Interior para a obtenção do grau de mestre em Engenharia Informática
Aparece nas colecções:FE - DI | Dissertações de Mestrado e Teses de Doutoramento

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
DissertacaoJoelCarvalho.pdf1,83 MBAdobe PDFVer/Abrir


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.