Especificação e validação de sistemas de tempo real com o uso de múltiplas visões

• Processo: 95/08534-4
• Modalidade de apoio: Auxílio à Pesquisa - Regular
• Data de Início da vigência: 01 de maio de 1996
• Data de Término da vigência: 30 de abril de 1998
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Tereza Goncalves Kirner
• Beneficiário: Tereza Goncalves Kirner
• Instituição Sede: Centro de Ciências Exatas e de Tecnologia (CCET). Universidade Federal de São Carlos (UFSCAR). São Carlos , SP, Brasil
• Assunto(s): Softwares Sistemas de tempo-real Análise de requisitos
• Palavra(s)-Chave do Pesquisador: Especificacao De Software | Multiplas Visoes De Requisitos | Sistema De Tempo Real

Resumo

O projeto enfoca a especificação e validação de Sistemas de Tempo Real (STR), visando o desenvolvimento de um ambiente de software que possibilite: (1) Especificação baseada em uma representação canônica de múltiplas visões de requisitos, integrando métodos orientados para STR, como rede de Petri, análise estruturada, orientação a objetos, etc.; e (2) Validação, baseada na análise de requisitos críticos de STR tais como restrições temporais, segurança, confiabilidade e tolerância a falhas. (AU)