Os sistemas de tempo-real fazem cada vez mais parte dos vários aspetos da nossa existência, sendo encontrados numa grande variedade de aplicações que utilizamos frequentemente. Estes podem ser encontrados em simples sistemas embebidos (e.g., sistemas ABS, controladores de processos dedicados) ou em sistemas de tempo-real complexos (e.g., sistemas de navegação, controlo de centrais nucleares). Não subestimando esta integração, a evolução faz-se no caminho do aparecimento de sistemas de tempo-real cada vez mais complexos e adaptativos. Estes sistemas, essencialmente os críticos e complexos, têm sido desenvolvidos por processos 'ad hoc' e verificados por simulação. Tais processos, não oferecem qualquer garantia demonstrável da sua conformidade com as restrições impostas pelo ambiente e o seu desenvolvimento é bastante dispendioso, em termos de tempo e custo económico. Esta dissertação pretende contribuir para a criação de uma base científica na análise e concepção de sistemas de tempo-real. Concretamente, pretende estudar os problemas resultantes da implementação prática de sistemas de tempo-real e fornecer meios de teste da conformidade destes com os requisitos temporais impostos.