Abordagem canônica para especificação de sistemas críticos de tempo real

• Processo: 93/00341-7
• Modalidade de apoio: Bolsas no Exterior - Pesquisa
• Data de Início da vigência: 01 de setembro de 1993
• Data de Término da vigência: 31 de agosto de 1995
• Área de 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
• Pesquisador Anfitrião: Alan Mark Davis
• Instituição Sede: Centro de Ciências Exatas e de Tecnologia (CCET). Universidade Federal de São Carlos (UFSCAR). São Carlos , SP, Brasil
• Instituição Anfitriã: University of Colorado, Colorado Springs (UCCS), Estados Unidos
• Assunto(s): Engenharia de software Sistemas de tempo-real
• Palavra(s)-Chave do Pesquisador: Engenharia De Requisitos | Engenharia De Software | Especificacao De Requisitos | Ferramenta De Software | Sistema De Tempo Real

Resumo

Pretende-se estudar o processo de especificação de software, particularmente o de sistemas críticos de tempo Real (HRTS). Isto incluirá a análise de métodos, técnicas e ferramentas existentes; estudo detalhado da abordagem canônica para especificação de requisitos (CR) e da ferramenta TINA (propostas por Alan M. Davis, da UCCS) e extensão e adaptação de CR e TINA, visando o atendimento de HRTS. (AU)