PCS5761 - Especificação de Sistemas de Tempo Real (2018)

Apresentação dos princípios utilizados na modelagem e especificação de Sistemas de Tempo Real. Serão apresentados os conceitos referentes às arquiteturas de hardware e ao software (incluindo-se o sistema operacional) utilizados para a implementação de tais sistemas. Outro objetivo é o de situar os Sistemas de Tempo Real como sistemas críticos quanto à segurança, ou seja, sistemas onde uma falha possa trazer sérias consequências à vida humana, à propriedade e ao meio ambiente.