Catálogo 2008 - Pós-Graduação - ITA

oriented programming and C++. Reading: Addison-Wesley, 1988; BUDD, T., An
introduction to object-oriented programming. Reading: Addison-Wesley, 1991;
TAKAHASHI, T., Programação orientada a objetos. São Paulo: VII Escola de
Computação - IME/USP, 1990.
CE-230/2008 - Qualidade, Confiabilidade e Segurança de Software
Requisito recomendado: CE-220. Requisito exigido: não há. Horas semanais:
3-0-6. Revisão de conceitos de Engenharia de Software. Qualidade de
software: modelos de qualidade de software, garantia de qualidade. Padrões de
desenvolvimento de software. Confiabilidade de software: erros de software,
confiabilidade e qualidade de software, medidas e modelos de confiabilidade de
software. Software crítico: caracterização de software crítico, requisito de
qualidade para software crítico. Confiabilidade e segurança de software crítico:
metodologias, técnicas e ferramentas. Bibliografia: PFEEGER, S. L., Software
engineering: the production of quality software. 2. ed. New York: MacMillan,
1991; SCHULMEYER, G., MCMANUS, J. I., Handbook of software quality
assurance. New York: Van Nostrand Reinhold, 1992; ANDERSON, C.;
DORFMAN, M., Aerospace software engineering: a collection of concepts.
Washington: American Institute of Aeronautics, 1991. (Progress in Astronautics
and Aeronautics; v.136).
CE-235/2008 – Sistemas Embarcados de Tempo Real
Requisito recomendado: CE-220. Requisitos exigidos: não há. Horas semanais:
3-3-3. Conceitos básicos de sistemas embarcados de tempo real; Utilização de
paradigmas e metodologias de engenharia de software, e de Ambientes
integrados de ferramentas CASE. Especificação de requisitos; Análise e
projeto. Métodos de implementação (loop infinito ISR / background, kernel
cooperativo e preemptivo). Conceito de kernel de tempo real (chaveamento de
contexto / TCB, ISR, semáforo, criação de tarefas, Inversão e alocação de
prioridades, e POSIX). Implementação e testes (Assembly, Mallac, Templates,
Linguagem C ou C++, Relocação e Linker). Comunicação com o mundo real
(camada de isolação e simulação do mundo externo). Tolerância a falhas
(watchdog, reset, hardware, e Detecção de falhas). Técnicas para projeto de
sistemas de tempo real (Adaptação do padrão da linguagem unificada de
modelagem – Unified Modeling Language – UML a projetos de sistemas de
tempo real). Desenvolvimento de um projeto piloto como estudo de caso.
Bibliografia: LABROSSE, J. J., MicroC / OS-II: The real time kernel. R&D
Books, LAWRENCE, K.S., USA, 1999; DOUGLASS, B. P., Real-time UML:
Developing efficient objects for embedded systems. Addison-Wesley, Reading,
MA, USA, 1997; BURNS, A; Wellings, A., Real-time systems and programming
languages, Addison-Wesley, Reading, MA, USA, 1996.
CE-240/2008 - Projeto de Sistemas de Banco de Dados
Requisitos recomendados: CE-220 e CE-225. Requisito exigido: não há. Horas
semanais: 3-0-6. Características principais de um sistema de banco de dados.
Modelos de dados: entidade/relacionamento, relacional, hierárquico e em rede.
115