{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T02:44:25Z","timestamp":1760237065215,"version":"build-2065373602"},"reference-count":44,"publisher":"MDPI AG","issue":"2","license":[{"start":{"date-parts":[[2020,2,22]],"date-time":"2020-02-22T00:00:00Z","timestamp":1582329600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information"],"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.3390\/info11020120","type":"journal-article","created":{"date-parts":[[2020,2,24]],"date-time":"2020-02-24T03:33:43Z","timestamp":1582515223000},"page":"120","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Analysis and Identification of Possible Automation Approaches for Embedded Systems Design Flows"],"prefix":"10.3390","volume":"11","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2805-8530","authenticated-orcid":false,"given":"Augusto Y.","family":"Horita","sequence":"first","affiliation":[{"name":"Advanced Computing, Control &amp; Embedded Systems Laboratory\/FEM, University of Campinas\u2013UNICAMP, Campinas SP 13083-860, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1595-3448","authenticated-orcid":false,"given":"Denis S.","family":"Loubach","sequence":"additional","affiliation":[{"name":"Department of Computer Systems, Computer Science Division, Aeronautics Institute of Technology\u2013ITA, S\u00e3o Jos\u00e9 dos Campos SP 12228-900, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9212-4304","authenticated-orcid":false,"given":"Ricardo","family":"Bonna","sequence":"additional","affiliation":[{"name":"Advanced Computing, Control &amp; Embedded Systems Laboratory\/FEM, University of Campinas\u2013UNICAMP, Campinas SP 13083-860, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2020,2,22]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","unstructured":"Lee, E.A. (2010). CPS foundations. Design Automation Conference, ACM Press.","DOI":"10.1145\/1837274.1837462"},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1109\/5.558710","article-title":"Design of embedded systems: Formal models, validation, and synthesis","volume":"85","author":"Edwards","year":"1997","journal-title":"Proc. IEEE"},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1049\/ip-cdt:20045098","article-title":"Models of computation and languages for embedded system design","volume":"152","author":"Jantsch","year":"2005","journal-title":"IEE Proc. Comput. Digit. Tech."},{"key":"ref_4","unstructured":"Ptolemaeus, C. (2020, February 21). System Design, Modeling, and Simulation Using Ptolemy II. Available online: https:\/\/ptolemy.berkeley.edu\/books\/Systems\/chapters\/HeterogeneousModeling.pdf."},{"key":"ref_5","doi-asserted-by":"crossref","unstructured":"Sander, I., Jantsch, A., and Attarzadeh-Niaki, S.H. (2016). ForSyDe: System Design Using a Functional Language and Models of Computation. Handbook of Hardware\/Software Codesign, Springer.","DOI":"10.1007\/978-94-017-7358-4_5-1"},{"key":"ref_6","unstructured":"Stuijk, S., Geilen, M., and Basten, T. (2006, January 28\u201330). SDF3: SDF For Free. Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD\u201906), Turku, Finland."},{"key":"ref_7","unstructured":"MathWorks (2020, February 21). Simulink Documentation. Available online: https:\/\/www.mathworks.com\/help\/simulink\/index.html."},{"key":"ref_8","unstructured":"Latifi, S. (2019). Analysis and Comparison of Frameworks Supporting Formal System Development based on Models of Computation. 16th International Conference on Information Technology-New Generations (ITNG 2019), Springer International Publishing."},{"key":"ref_9","doi-asserted-by":"crossref","unstructured":"Jantsch, A. (2005). Models of Embedded Computation. Embedded Systems Handbook, CRC Press. Chapter Models of Embedded Computation.","DOI":"10.1201\/9781420038163.ch4"},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"1217","DOI":"10.1109\/43.736561","article-title":"A framework for comparing models of computation","volume":"17","author":"Lee","year":"1998","journal-title":"IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."},{"key":"ref_11","doi-asserted-by":"crossref","first-page":"1270","DOI":"10.1109\/5.97297","article-title":"The synchronous approach to reactive and real-time systems","volume":"79","author":"Benveniste","year":"1991","journal-title":"Proc. IEEE"},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"1235","DOI":"10.1109\/PROC.1987.13876","article-title":"Synchronous data flow","volume":"75","author":"Lee","year":"1987","journal-title":"Proc. IEEE"},{"key":"ref_13","unstructured":"Theelen, B.D., Geilen, M.C.W., Basten, T., Voeten, J.P.M., Gheorghita, S.V., and Stuijk, S. (2006, January 27\u201330). A scenario-aware data flow model for combined long-run average and worst-case performance analysis. Proceedings of the MEMOCODE \u201906 Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, Napa, CA, USA."},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/3342997","article-title":"Modeling and Simulation of Dynamic Applications using Scenario-Aware Dataflow","volume":"24","author":"Bonna","year":"2019","journal-title":"ACM Trans. Des. Autom. Electron. Syst."},{"key":"ref_15","unstructured":"Association, T.M. (2020, February 21). Modelica Website. Available online: https:\/\/www.modelica.org\/."},{"key":"ref_16","unstructured":"Open Source Modelica Consortium (OSMC) (2020, February 21). OpenModelica Website. Available online: https:\/\/openmodelica.org\/."},{"key":"ref_17","first-page":"33:1","article-title":"EWD: A Metamodeling Driven Customizable multi-MoC System Modeling Framework","volume":"12","author":"Mathaikutty","year":"2008","journal-title":"ACM Trans. Des. Autom. Electron. Syst."},{"key":"ref_18","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1145\/1255456.1255459","article-title":"A framework for heterogeneous specification and design of electronic embedded systems in SystemC","volume":"12","author":"Herrera","year":"2007","journal-title":"ACM Trans. Des. Autom. Electron. Syst."},{"key":"ref_19","doi-asserted-by":"crossref","unstructured":"Sander, I., and Jantsch, A. (1999, January 7\u201310). Formal system design based on the synchrony hypothesis, functional models, and skeletons. Proceedings of the IEEE, Twelfth International Conference on VLSI Design, (Cat. No. PR00013), Goa, India.","DOI":"10.1109\/ICVD.1999.745170"},{"key":"ref_20","unstructured":"(2020, February 21). University of California B.o. ICyPhy Home Page. Available online: https:\/\/ptolemy.berkeley.edu\/projects\/icyphy\/."},{"key":"ref_21","unstructured":"Jantsch, A. (2003). Modeling Embedded Systems and SoC\u2019s, Morgan Kaufmann."},{"key":"ref_22","unstructured":"ForSyDe Group, K. (2018, April 30). ForSyDe Hackage Page. Available online: https:\/\/forsyde.github.io\/tools.html."},{"key":"ref_23","doi-asserted-by":"crossref","unstructured":"Loidl, H.W., and Pe\u00f1a, R. (2013). Some History of Functional Programming Languages. Trends in Functional Programming, Springer Berlin Heidelberg.","DOI":"10.1007\/978-3-642-40447-4"},{"key":"ref_24","unstructured":"Haskell (2020, February 21). The Haskell Purely Functional Programming Language Home Page. Available online: https:\/\/www.haskell.org."},{"key":"ref_25","doi-asserted-by":"crossref","unstructured":"Scott, M.L. (2009). Programming Language Pragmatics, Morgan Kaufmann Publishers Inc.. [3rd ed.].","DOI":"10.1016\/B978-0-12-374514-9.00011-2"},{"key":"ref_26","unstructured":"MathWorks (2020, February 21). Simulink Embedded Coder Website. Available online: https:\/\/www.mathworks.com\/products\/embedded-coder.html."},{"key":"ref_27","doi-asserted-by":"crossref","unstructured":"Krizan, J., Ertl, L., Bradac, M., Jasansky, M., and Andreev, A. (2014, January 4\u20137). Automatic code generation from Matlab\/Simulink for critical applications. Proceedings of the 2014 IEEE 27th Canadian Conference on Electrical and Computer Engineering (CCECE), Toronto, ON, Canada.","DOI":"10.1109\/CCECE.2014.6901058"},{"key":"ref_28","doi-asserted-by":"crossref","unstructured":"Pike, L., Wegmann, N., Niller, S., and Goodloe, A. (2013). Copilot: Monitoring embedded systems. Innov. Syst. Softw. Eng., 9.","DOI":"10.1007\/s11334-013-0223-x"},{"key":"ref_29","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/s10462-007-9029-2","article-title":"A requirements-based programming approach to developing a NASA autonomous ground control system","volume":"25","author":"Rash","year":"2006","journal-title":"Artif. Intell. Rev."},{"key":"ref_30","doi-asserted-by":"crossref","first-page":"1421","DOI":"10.1109\/TCAD.2016.2633961","article-title":"Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities","volume":"36","author":"Seshia","year":"2017","journal-title":"IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."},{"key":"ref_31","unstructured":"Sander, I. (2003). System Modeling and Design Refinement in ForSyDe. [Ph.D. Thesis, Royal Institute of Technology KTH]."},{"key":"ref_32","doi-asserted-by":"crossref","unstructured":"Loubach, D.S. (2016, January 25\u201329). A runtime reconfiguration design targeting avionics systems. Proceedings of the 2016 IEEE\/AIAA 35th Digital Avionics Systems Conference (DASC), Sacramento, CA, USA.","DOI":"10.1109\/DASC.2016.7778089"},{"key":"ref_33","doi-asserted-by":"crossref","unstructured":"Bourke, T., Cola\u00e7o, J.L., Pagano, B., Pasteur, C., and Pouzet, M. (2015). A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages. Lecture Notes in Computer Science, Springer.","DOI":"10.1007\/978-3-662-46663-6_4"},{"key":"ref_34","doi-asserted-by":"crossref","unstructured":"Grabm\u00fceller, M., and Kleeblatt, D. (2007). Harpy. Proceedings of the ACM SIGPLAN Workshop on Haskell Workshop-Haskell 07, ACM Press.","DOI":"10.1145\/1291201.1291214"},{"key":"ref_35","unstructured":"Acosta, A. (2020, February 21). ForSyDe Tutorial Website. Available online: https:\/\/hackage.haskell.org\/package\/ForSyDe-3.1\/src\/doc\/www\/files\/tutorial\/tutorial.html."},{"key":"ref_36","unstructured":"Pavlov, I. (2020, February 21). 7z Format. Available online: http:\/\/www.7-zip.org\/7z.html."},{"key":"ref_37","unstructured":"Standard Performance Evaluation Corporation (SPEC) (2020, February 21). 657.xz_s SPEC CPU 2017 Benchmark Description. Available online: http:\/www.spec.org\/cpu2017\/Docs\/benchmarks\/657.xz_s.html."},{"key":"ref_38","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1109\/TIT.1977.1055714","article-title":"A universal algorithm for sequential data compression","volume":"23","author":"Ziv","year":"1977","journal-title":"IEEE Trans. Inf. Theory"},{"key":"ref_39","unstructured":"Martin, G.N. (2020, February 21). Range Encoding: An Algorithm for Removing Redundancy from a Digitized Message. Available online: https:\/\/pdfs.semanticscholar.org\/3a46\/423f866d53d4e0328faf365c4c9101f82577.pdf?_ga=2.221534352.907706746.1582276987-231942018.1567670099."},{"key":"ref_40","first-page":"51","article-title":"Hardware Implementation of LZMA Data Compression Algorithm","volume":"5","author":"Leavline","year":"2013","journal-title":"Int. J. Appl. Inf. Syst. (IJAIS)"},{"key":"ref_41","unstructured":"Salomon, D. (2007). Data Compression: The Complete Reference, Springer. with contributions by Giovanni Motta and David Bryant."},{"key":"ref_42","doi-asserted-by":"crossref","unstructured":"Horita, A.Y., Bonna, R., and Loubach, D.S. (2019, January 8\u20139). Lempel-Ziv-Markov Chain Algorithm Modeling using Models of Computation and ForSyDe. Proceedings of the Aerospace technology Congress 2019 (FT2019), Stockholm, Sweden.","DOI":"10.3384\/ecp19162017"},{"key":"ref_43","unstructured":"Collin, L. (2020, February 21). XZ Utils. Available online: https:\/\/www.tukaani.org\/xz\/."},{"key":"ref_44","doi-asserted-by":"crossref","unstructured":"Zhao, X., and Li, B. (2017, January 18\u201320). Implementation of the LZMA compression algorithm on FPGA. Proceedings of the 2017 International Conference on Electron Devices and Solid-State Circuits (EDSSC), Hsinchu, Taiwan.","DOI":"10.1109\/EDSSC.2017.8126506"}],"container-title":["Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2078-2489\/11\/2\/120\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:59:56Z","timestamp":1760173196000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2078-2489\/11\/2\/120"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2,22]]},"references-count":44,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2020,2]]}},"alternative-id":["info11020120"],"URL":"https:\/\/doi.org\/10.3390\/info11020120","relation":{},"ISSN":["2078-2489"],"issn-type":[{"type":"electronic","value":"2078-2489"}],"subject":[],"published":{"date-parts":[[2020,2,22]]}}}