Aplicação do método B ao projeto formal de software embarcado

This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this methodology is to contribute to solve an important problem, known as The Verifying Compiler. Besides, this work describes a formal model of Z80 microcontroller and a real system of petroleum area. To achieve this goal, the formal model of Z80 was developed and documented, as it is one key component for the verification upto the assembly level. In order to improve the mentioned methodology, it was applied on a petroleum production test system, which is presented in this work. Part of this technique is performed manually. However, almost of these activities can be automated by a specific compiler. To build such compiler, the formal modelling of microcontroller and modelling of production test system should provide relevant knowledge and experiences to the design of a new compiler. In ummary, this work should improve the viability of one of the most stringent criteria for formal verification: speeding up the verification process, reducing design time and increasing the quality and reliability of the product of the final software. All these qualities are very important for systems that involve serious risks or in need of a high confidence, which is very common in the petroleum industry

Projeto e implementação com chaveamento de reguladores fuzzy Takagi-Sugeno para um conjunto de pontos de operação

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Análise e proposta de elaboração de rótulo de embalagem de agrotóxicos (herbicida) por meio de metodologia de design ergonômico

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

A relação entre a moradia, profissional autônomo e mobiliário: diretrizes projetuais para estação de trabalho residencial ligada às atividades de projeto

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Considerações sobre a influência do trabalho em relação ao desenvolvimento afetivo de crianças

Pós-graduação em Educação Escolar - FCLAR

Matemática financeira: um enfoque da resolução de problemas como metodologia de ensino e aprendizagem

Pós-graduação em Educação Matemática - IGCE

Diagnose de trincas em sistemas rotativos, utilizando modelos de falhas através da metodologia dos observadores de estados

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Projeto de controladores robustos para aplicações em estruturas inteligentes utilizando desigualdades matriciais lineares

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Trabalho de campo como contribuição para a disciplina geografia no ensino fundamental: uma leitura em documentos oficiais

Pós-graduação em Geografia - IGCE

O projeto político pedagógico e a educação física escolar no processo de construção coletiva

Pós-graduação em Ciências da Motricidade - IBRC

Implicações do projeto São Paulo faz escola no trabalho de professores do ciclo I do ensino fundamental

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Projeto de um motor 4 tempos a gasolina monocilíndrico: calculo termodinâmico, desenho, usinagem e montagem da parte alternativa

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Projeto estrutural do cubo do rotor de uma turbina hidraúlica tipo Kaplan

Pós-graduação em Engenharia Mecânica - FEG

Projeto e construção de uma bomba de pistões axiais swashplate

Pós-graduação em Engenharia Mecânica - FEG

A interlocução do Serviço Social com os movimentos sociais no Brasil: uma análise a partir da produção teórica com enfoque no trabalho profissional

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)