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 softwares 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.
Características dos softwares reativos: 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. 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.