CASE005 - Sistemas de Tempo Real

Publicado 1/23/2018, 3:51:31 PM, última modificação 1/23/2018, 3:53:23 PM

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.