Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/335838
Type: DISSERTAÇÃO DIGITAL
Degree Level: Mestrado
Title: Automation approaches for embedded systems design flows based on formal models of computation : Estratégias de automação para desenvolvimento de projetos de sistemas embarcados baseados em modelos formais de computação
Title Alternative: Estratégias de automação para desenvolvimento de projetos de sistemas embarcados baseados em modelos formais de computação
Author: Horita, Augusto Yoshio, 1987-
Advisor: Loubach, Denis Silva, 1982-
Abstract: Resumo: Sistemas embarcados de alta performance estão presentes em cada vez mais áreas de aplicação. Com o aumento da complexidade, se torna mais difícil atender ao requisito de se projetar o sistema mais otimizado utilizando menos recursos. Nesse contexto, os métodos de projeto de sistemas embarcados baseados em modelos formais têm sido estudados para tornar esse processo mais robusto e escalável. O uso de modelos de computação (MoC), que consistem na modelagem de uma aplicação utilizando um alto nível de abstração com base formal, possibilita uma análise sistemática do sistema antes de sua implementação. Ferramentas e frameworks têm sido desenvolvidos para a modelagem baseada em MoCs. Algumas dessas ferramentas suportam a simulação dos modelos, possibilitando a verificação das funcionalidades do sistema antes das próximas fases do projeto. O aumento do nível de abstração, proporcionado pelo uso dos MoCs, dificulta a fase de implementação pela falta de detalhes nos modelos de alto nível de abstração. Nesse sentido, esta pesquisa tem como objetivo identificar possíveis estratégias de automação para o desenvolvimento de sistemas embarcados baseado em modelos formais de computação

Abstract: Sophisticated and high performance embedded systems are present in an increasing number of application domains. As the complexity grows, it gets harder to satisfy the requirement of getting the most optimized system using less development resources. In this context, formal-based design methods have been studied to make the development process robust and scalable, using the correct-by-construction approach. Models of computation (MoC), which consists on modeling an application at a high abstraction level by using a formal base, enables a systematic application analysis before its implementation. Different tools and frameworks have been developed supporting MoCs. Some of them can simulate the models and also verify its functionality and feasibility before the next design steps. As MoC elevates the abstraction level, the implementation steps get more complex, creating an abstraction gap. In view of this, the present research aims to identify possible automation approaches for embedded systems design flows
Subject: Sistemas embarcados (Computadores)
Computabilidade e modelos de computacao
Language: Inglês
Editor: [s.n.]
Citation: HORITA, Augusto Yoshio. Automation approaches for embedded systems design flows based on formal models of computation: Estratégias de automação para desenvolvimento de projetos de sistemas embarcados baseados em modelos formais de computação. 2019. 1 recurso online (89 p.). Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecânica, Campinas, SP.
Date Issue: 2019
Appears in Collections:FEM - Tese e Dissertação

Files in This Item:
File SizeFormat 
Horita_AugustoYoshio_M.pdf1.12 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.