Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/346052
Full metadata record
DC FieldValueLanguage
dc.contributor.CRUESPUNIVERSIDADE ESTADUAL DE CAMPINASpt_BR
dc.contributor.authorunicampHorita, Augusto Yoshio-
dc.contributor.authorunicampBonna, Ricardo de Souza-
dc.typeArtigopt_BR
dc.titleAnalysis and identification of possible automation approaches for embedded systems design flowspt_BR
dc.contributor.authorHorita, Augusto Y.-
dc.contributor.authorLoubach, Denis S.-
dc.contributor.authorBonna, Ricardo-
dc.subjectSimulaçãopt_BR
dc.subject.otherlanguageSimulationpt_BR
dc.description.abstractSophisticated 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 methodpt_BR
dc.relation.ispartofInformationpt_BR
dc.publisher.cityBaselpt_BR
dc.publisher.countrySuiçapt_BR
dc.publisherMDPIAGpt_BR
dc.date.issued2020-
dc.date.monthofcirculationFeb.pt_BR
dc.language.isoengpt_BR
dc.description.volume11pt_BR
dc.description.issuenumber2pt_BR
dc.description.firstpage120pt_BR
dc.rightsAbertopt_BR
dc.sourceWOSpt_BR
dc.identifier.eissn2078-2489pt_BR
dc.identifier.doi10.3390/info11020120pt_BR
dc.identifier.urlhttps://www.mdpi.com/2078-2489/11/2/120pt_BR
dc.date.available2020-07-24T13:10:08Z-
dc.date.accessioned2020-07-24T13:10:08Z-
dc.description.provenanceSubmitted by Susilene Barbosa da Silva (susilene@unicamp.br) on 2020-07-24T13:10:08Z No. of bitstreams: 0. Added 1 bitstream(s) on 2021-01-07T20:41:16Z : No. of bitstreams: 1 000519542400037.pdf: 661655 bytes, checksum: c1a884f7b6fe8ea8c4e4d2925968df12 (MD5) Bitstreams deleted on 2021-01-08T14:11:04Z: 000519542400037.pdf,. Added 1 bitstream(s) on 2021-01-08T14:14:47Z : No. of bitstreams: 1 000519542400037.pdf: 661655 bytes, checksum: c1a884f7b6fe8ea8c4e4d2925968df12 (MD5) Bitstreams deleted on 2021-01-13T13:27:35Z: 000519542400037.pdf,. Added 1 bitstream(s) on 2021-01-13T13:30:36Z : No. of bitstreams: 1 000519542400037.pdf: 661655 bytes, checksum: c1a884f7b6fe8ea8c4e4d2925968df12 (MD5)en
dc.description.provenanceMade available in DSpace on 2020-07-24T13:10:08Z (GMT). No. of bitstreams: 0 Previous issue date: 2020en
dc.identifier.urihttp://repositorio.unicamp.br/jspui/handle/REPOSIP/346052-
dc.contributor.departmentSem informaçãopt_BR
dc.contributor.departmentSem informaçãopt_BR
dc.contributor.unidadeFaculdade de Engenharia Mecânicapt_BR
dc.contributor.unidadeFaculdade de Engenharia Mecânicapt_BR
dc.subject.keywordFormal models of computationpt_BR
dc.subject.keywordSynchronouspt_BR
dc.subject.keywordSynchronous dataflowpt_BR
dc.subject.keywordScenario-aware dataflowpt_BR
dc.identifier.source000519542400037pt_BR
dc.creator.orcid0000-0003-2805-8530pt_BR
dc.creator.orcidSem informaçãopt_BR
dc.type.formArtigopt_BR
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.