Familiarização com os conceitos de sistemas de tempo real. Estudo do hardware e software voltados a sistemas de tempo real. Modelagem de sistemas de tempo real.
Conceitos básicos e definições de Sistemas de Tempo Real. Componentes básicos de Sistemas de Tempo Real: sensores, atuadores, condicionadores de sinal, interfaces de entrada/saída, interface com operador. Noções de hardware de computadores para aplicações de tempo real: CPU, memória, entrada/saída, outros dispositivos. Noções de software para aplicações de tempo real: ciclo de vida do software, linguagens de programação utilizadas. Especificação de Sistemas de Tempo Real através da utilização de linguagem natural, diagramas de fluxo de dados, autômatos, redes de petri e statecharts, entre outros. Lógicas especialmente desenvolvidas para Sistemas de Tempo Real: Metric Temporal Logic, Real-Time Temporal Logic. Sistemas Operacionais para Sistemas de Tempo Real: tarefas, escala de tarefas, interrupções, semáforos, compartilhamento de recursos, deadlock. Sistemas distribuídos utilizados em Sistemas de Tempo Real.
Conceitos básicos e definições de Sistemas de Tempo Real. Componentes básicos de Sistemas de Tempo Real: sensores, atuadores, condicionadores de sinal, interfaces de entrada/saída, interface com operador. Noções de hardware de computadores para aplicações de tempo real: CPU, memória, entrada/saída, outros dispositivos. Noções de software para aplicações de tempo real: ciclo de vida do software, linguagens de programação utilizadas. Especificação de Sistemas de Tempo Real através da utilização de linguagem natural, diagramas de fluxo de dados, autômatos, redes de petri e statecharts, entre outros. Lógicas especialmente desenvolvidas para Sistemas de Tempo Real: Metric Temporal Logic, Real-Time Temporal Logic. Sistemas Operacionais para Sistemas de Tempo Real: tarefas, escala de tarefas, interrupções, semáforos, compartilhamento de recursos, deadlock. Sistemas distribuídos utilizados em Sistemas de Tempo Real. Comunicação entre tarefas e sincronização, troca de mensagens, regiões críticas. Modelagem de Sistemas de Tempo Real: Modelo de Requisitos (modelos de processo e de controle) e Modelo de Arquitetura (diagrama e dicionário de arquitetura). Descrição de algumas aplicações: sistemas de supervisão e controle de indústrias, plantas químicas, plantas nucleares, meios de transporte, sistemas de armamentos
LAPLANTE, A.L., Real-Time Systems Desingn and Analysis An Engineer's Handbook, IEEE Press, 2ª ed. 1997.HATLEY, D.J.; PIRBAHAI, I.A. Estratégias para Especificação de Sistema em Tempo Real, Mc Graw Hill, 1991LAWRENCE, P.D.; MAUCH, K. Real Time Microcomputer System Design:an Introduction, Mc Graw Hill, 1987BURNS, A., WELLILNGS, A., Real-Time Systems and Programming Languages, Addison Wesley, 1997
