Please use this identifier to cite or link to this item:
Type: Artigo
Title: Analysis and identification of possible automation approaches for embedded systems design flows
Author: Horita, Augusto Y.
Loubach, Denis S.
Bonna, Ricardo
Abstract: Sophisticated and high performance embedded systems are present in an increasing number of application domains. In this context, formal-based design methods have been studied to make the development process robust and scalable. Models of computation (MoC) allows the modeling of an application at a high abstraction level by using a formal base. This enables analysis before the application moves to the implementation phase. Different tools and frameworks supporting MoCs have been developed. Some of them can simulate the models and also verify their functionality and feasibility before the next design steps. In view of this, we present a novel method for analysis and identification of possible automation approaches applicable to embedded systems design flow supported by formal models of computation. A comprehensive case study shows the potential and applicability of our method
Subject: Simulação
Country: Suiça
Editor: MDPIAG
Rights: Aberto
Identifier DOI: 10.3390/info11020120
Date Issue: 2020
Appears in Collections:FEM - Artigos e Outros Documentos

Files in This Item:
File Description SizeFormat 
000519542400037.pdf646.15 kBAdobe PDFView/Open

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