Author(s):
Carvalho, Joel Silva
Date: 2009
Persistent ID: http://hdl.handle.net/10400.6/3728
Origin: uBibliorum
Subject(s): 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
Description
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).