Uma abordagem arquitetural para o desenvolvimento rigoroso de sistemas confiaveis baseados em componentes.

• Processo: 06/02116-2
• Modalidade de apoio: Bolsas no Brasil - Doutorado
• Data de Início da vigência: 01 de setembro de 2006
• Data de Término da vigência: 31 de dezembro de 2008
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Cecília Mary Fischer Rubira
• Beneficiário: Patrick Henrique da Silva Brito
• Instituição Sede: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): Tolerância a falhas Arquitetura de software
• Palavra(s)-Chave do Pesquisador: Arquitetura De Software | Tolerancia A Falhas | Tratamento De Excessoes | tolerância a falhas, arquitetura de software, componentes de software

Resumo

A disseminação de sistemas computacionais em atividades críticas tornou a confiabilidade uma característica indispensável a esses sistemas. Essa confiabilidade é obtida através de técnicas de identificação de falhas, prevenção de falhas e tolerância a falhas. Porém, a adoção dessas técnicas aumenta tanto a complexidade de desenvolvimento, quanto a complexidade final do sistema.Outro fator complicante no gerenciamento das falhas de um sistema é a necessidade de se considerar o comportamento interativo entre os componentes que o compõe, a fim de tanto evitar a propagação de falhas, quanto de proporcionar um tratamento colaborativo por parte dos componentes envolvidos.Por esses motivos, a disciplina de arquitetura de software vem sendo largamente utilizada, uma vez que representa o sistema de maneira abstrata, em função de seus componentes e as regras de interação entre eles.Para auxiliar a construção de sistemas críticos, esse projeto de pesquisa propõe uma infra-estrutura de desenvolvimento centrada na arquitetura para sistematizar o uso conjunto de técnicas de identificação, prevenção e tolerância a falhas, no desenvolvimento rigoroso de sistemas baseados em componentes. Essa infra-estrutura será composta de processos de desenvolvimento, uma arquitetura para estruturar sistemas confiáveis e um conjunto de ferramentas para apoiar a condução do desenvolvimento.

Publicações científicas

(5)

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

BRITO, PATRICK H. S.; DE LEMOS, ROGERIO; RUBIRA, CECILIA M. F.; LI, X; SMIDTS, CS; XU, J. Verification of Exception Control Flows and Handlers Based on Architectural Scenarios. 11TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, v. N/A, p. 2-pg., 2008-01-01. (06/02116-2)

BRITO, PATRICK H. S.; DE LEMOS, ROGERIO; RUBIRA, CECILIA M. F.; MORRISON, R; BALASUBRAMANIAM, D; FALKNER, K. Development of Fault-Tolerant Software Systems Based on Architectural Abstractions. Lecture Notes in Computer Science, v. 5292, p. 3-pg., 2008-01-01. (06/02116-2)

BRITO, PATRICK H. S.; DE LEMOS, ROGERIO; RUBIRA, CECILIA M. F.; IEEE. Verifying Architectural Variabilities in Software Fault Tolerance Techniques. 2009 JOINT WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE AND EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE, v. N/A, p. 2-pg., 2009-01-01. (06/02116-2)

BRITO, PATRICK H. S.; DE LEMOS, ROGERIO; RUBIRA, CECILIA M. F.; MARTINS, ELIANE. Architecting Fault Tolerance with Exception Handling: Verification and Validation. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, v. 24, n. 2, p. 212-237, MAR 2009. (06/02116-2)

BRITO, PATRICK H. S.; DE LEMOS, ROGERIO; MARTINSI, ELIANE; MORAES, REGINA; RUBIRA, CECILIA M. F.; IEEE. Architectural-Based Validation of Fault-Tolerant Software. LADC: 2009 4TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING, v. N/A, p. 2-pg., 2009-01-01. (06/02116-2)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

BRITO, Patrick Henrique da Silva. Uma abordagem arquitetural para o desenvolvimento rigoroso de sistemas confiáveis baseados em componentes. 2009. Tese de Doutorado - Universidade Estadual de Campinas (UNICAMP). Instituto de Computação Campinas, SP.