Você está aqui: Página Inicial > Documentos > Ementário > Disciplinas Específicas > Linha de Pesquisa em Sistemas Embarcados > CASE005 - Sistemas de Tempo Real
conteúdo

CASE005 - Sistemas de Tempo Real

por admin — publicado 23/01/2018 14h53, última modificação 23/01/2018 14h53

Carga horária: 45 horas-aula (3 créditos)

Ementa: Definição, caracterização, exemplos de aplicações. Escalonamento dirigido por tempo. Escalonamento por prioridades. Escalonamento de tarefas aperiódicas e esporádicas. Controle de acesso a recursos. Escalonamento adaptativo. Protocolos de comunicação, sistemas operacionais e middleware de tempo real. Desenvolvimento de sistemas de tempo real. Métodos formais para tempo real: modelagem; linguagens e Verificação.

Bibliografia:

  • Jean-Marie Farines, Joni da Silva Fraga, Rômulo Silva de Oliveira, “Sistemas de Tempo Real”. UFSC: Florianópolis, 2000 (disponível online).
  • Alan Burns and Andy Wellings, “Real-Time Systems and Programming Languages: Ada 95, Real-Time Java and Real-Time C/POSIX”, Addison Wesley Longmain, 2009, 4th Ed.
  • Hermann Kopetz, “Real-Time Systems, Design Principles for Distributed Embedded Applications”. Kluwer Academic Publishers, Massachusetts, 2011, 2nd Ed.
  • J. A. Stankovic, “Misconceptions about real-time computing”, IEEE Computer, 23(10):10-19, October 1988 (disponível online).
  • Qing Li, Caroline Yao, “Real-Time Concepts for Embedded Systems”, CMP Books, 2003.
  • Andrew S. Tanenbaum, “Modern Operating Systems”, Prentice Hall, 2007, 3rd Ed.