Next Article in Journal
On the Integration of Knowledge Graphs into Deep Learning Models for a More Comprehensible AI—Three Challenges for Future Research
Next Article in Special Issue
A Framework for Detecting Intentions of Criminal Acts in Social Media: A Case Study on Twitter
Previous Article in Journal
Design and Evaluation of an Augmented Reality Game for Cybersecurity Awareness (CybAR)
Open AccessArticle

Analysis and Identification of Possible Automation Approaches for Embedded Systems Design Flows

1
Advanced Computing, Control & Embedded Systems Laboratory/FEM, University of Campinas–UNICAMP, Campinas SP 13083-860, Brazil
2
Department of Computer Systems, Computer Science Division, Aeronautics Institute of Technology–ITA, São José dos Campos SP 12228-900, Brazil
*
Authors to whom correspondence should be addressed.
Information 2020, 11(2), 120; https://doi.org/10.3390/info11020120
Received: 30 January 2020 / Revised: 19 February 2020 / Accepted: 20 February 2020 / Published: 22 February 2020
(This article belongs to the Special Issue Information Technology: New Generations (ITNG 2019))
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. View Full-Text
Keywords: modeling; simulation; formal models of computation; synchronous; synchronous dataflow; scenario-aware dataflow modeling; simulation; formal models of computation; synchronous; synchronous dataflow; scenario-aware dataflow
Show Figures

Figure 1

MDPI and ACS Style

Horita, A.Y.; Loubach, D.S.; Bonna, R. Analysis and Identification of Possible Automation Approaches for Embedded Systems Design Flows. Information 2020, 11, 120.

Show more citation formats Show less citations formats
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Back to TopTop