Análise e Concepção de Sistemas de Tempo-Real

Os sistemas de tempo-real fazem cada vez mais parte dos v嫫ios aspetos da nossa exist瘽cia, 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緌 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癃icos e complexos, t瘱 sido desenvolvidos por processos 'ad hoc' e verificados por simula誽o. Tais processos, n緌 oferecem qualquer garantia demonstr嫛el da sua conformidade com as restri踥es impostas pelo ambiente e o seu desenvolvimento ?bastante dispendioso, em termos de tempo e custo econ鏔ico. Esta disserta誽o pretende contribuir para a cria誽o de uma base cient璗ica na an嫮ise e concep誽o de sistemas de tempo-real. Concretamente, pretende estudar os problemas resultantes da implementa誽o pr嫢ica de sistemas de tempo-real e fornecer meios de teste da conformidade destes com os requisitos temporais impostos.