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.