Análise de sistemas complexos baseada na decomposição de sistemas de G-Nets.

• Ano de defesa: 1994
• Autor(a) principal: PERKUSICH, Angelo.
• Tipo de documento: Tese
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Campina Grande; Brasil; Centro de Engenharia Elétrica e Informática - CEEI; PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA; UFCG
• Palavras-chave em Português: Análise de Sistemas - Qualidade; Redes Petri; Lógica Temporal; Sistema Complexo; Sistemas de G-Nets; Árvore de Alcançabilidade; Sistemas de Software; Systems Analysis - Quality; Petri Nets; Time Logic; Complex System; G-Nets Systems; Accessibility Tree; Software Systems; Engenharia Elétrica
• Link de acesso: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/6405

Quando especificando, concebendo e analisando sistemas complexos, e necessário adotar uma methodologia composicional ou modular. Esta metodologia deve permitir ao projetista a habilidade de verificar propriedades locais de módulos ou componentes individuais de um sistema, e também, permitir a verificação do comportamento correto entre componentes interagindo. A aplicação de redes de Petri para a modelagem e verificação de sistemas, ao nível de especificação e concepção, e bem conhecida. A despeito de poderosos mecanismos de estruturação disponíveis na teoria de redes de Petri, para a construção do modelo de um sistema complexo, o projetista poderá ainda se defrontar com o problema da explosão de estados, quando analisando e verificando grandes sistemas. Neste trabalho introduzimos uma metodologia de analise composicional para um tipo de redes de Petri de alto-nível denominada G-Nets. Ainda mais, tendo em mente o objetivo de aplicar esta metodologia para sistemas atuais, nos abordamos a introdução sistemática de propriedades de tolerância a falhas na concepção de um componente. A aplicação e exemplificação da metodologia introduzida e na concepção de sistemas de software.