Apresentar os conceitos de análise e projeto de sistemas voltados para aplicações de tempo real ou reativas, tais como controladores de processos e sistemas embutidos. Ao longo do curso o aluno deve assimilar os conceitos e desenvolver o modelo de um sistema exemplo, utilizando os métodos e técnicas ensinados em classe.
Características dos software de tempo real: classificações e aplicações. Técnicas para especificação do comportamento de sistemas reativos: máquinas de estado finito, redes de Petri e Statecharts. Validação e simulação de modelos. Principais métodos para análise e projeto de sistemas reativos: Darts, Ward & Mellor. Desenvolvimento de um sistema exemplo completo.
Livro Texto:PRESSMAN,R.S. Software Engineering: - A Practitioner's Approach. 4th Edition, McGraw-Hill, USA, 1997.Bibliografia Complementar:GOMAA, H. A Software Design Method for Real-Time Systems, CACM, vol. 27, no. 9, pp 938-949, 1984. HAREL, D. et alli. STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Transactions on Software Engineering, Vol. 16, No. 3, pp. 403-414, 1990.HATLEY, D. and PIRBHAI, M. Strategies for Real-Time Systems Specification, Dorset-House, 1987.Revistas e Periódicos da área.