SISTEMAS MECATRÔNICOS DE TEMPO REAL
Por Programa de Pós-Graduação em Engenharia de Computação e Sistemas em 7 de novembro de 2017
Em prosseguimento ao acordo ITA-UEMA-FAPEMA-SECTI, durante os dias 06 a 10 de novembro de 09:00 às 12:00 e 14:00 às 17:00 está sendo ofertada a disciplina “Sistemas Mecatronicos de Tempo Real” ministrada pela professora do Instituto Tecnológico de Aeronáutica – ITA , Dra. Emilia Villani.
Ementa
Caracterização de sistemas mecatrônicos de tempo real: entradas, saídas, sensores e atuadores. Arquitetura de sistemas de tempo real. Técnicas de modelagem e verificação de sistemas mecatrônicos de tempo real. Tolerância a falhas. Comunicação e protocolos de tempo real. Aplicações da área de automação e sistemas aeroespaciais.
Programação
Aula 1 – Conceito de sistemas mecatrônicos e sistemas de tempo-real. Principais padrões de arquiteturas. Projeto baseado em modelos (MBD – model-based desing). Classificação de sistemas e modelos. Exemplos e exercícios.
Aula 2 – Introdução a autômatos temporizados para modelagem de sistemas mecatrônicos de tempo real. Exemplos e exercícios.
Aula 3 – Verificação de sistemas mecatrônicos de tempo real: simulação e verificação formal baseada em model checking. Exemplos e exercícios.
Aula 4 – Tolerância a falhas. Conceitos e técnicas. Exemplos e exercícios.
Aula 5 – Comunicação e protocolos de tempo-real. Exemplos e exercícios.
