Sousa, Simão Patrício Melo deCarvalho, Joel Silva2015-07-162015-07-1620092009http://hdl.handle.net/10400.6/3728A 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).porSistemas de tempo real - Verificação automáticaSistemas de tempo real - Linguagens de programaçãoSistemas de tempo real - Mecanismos de verificaçãoSistemas de autómatosmaster thesis