research-article

Modeling and Virtual Prototyping for Embedded Systems on Mixed-Signal Multicores

Authors:

Rodrigo Cortés Porto,

Daniela Genius,

Ludovic ApvrilleAuthors Info & Claims

RAPIDO '19: Proceedings of the Rapid Simulation and Performance Evaluation: Methods and Tools

Article No.: 4, Pages 1 - 7

https://doi.org/10.1145/3300189.3300193

Published: 21 January 2019 Publication History

Abstract

This paper introduces a new approach to tackle the virtual prototyping of analog and mixed-signal embedded (AMS) systems. The application and hardware components are modeled at a high level of abstraction with SysML. From these models, a low level prototype can be generated and simulated with a cycle and bit accurate precision. This prototype combines the AMS part with a multicore platform, which controls the AMS part. As explained in the paper, the synchronization between these different Models of Computation (MoC) can be validated before the generation of the virtual prototype. A case study illustrates our approach.

References

[1]

Beyond Dreams (Design Refinement of Embedded Analogue and Mixed-Signal Systems), http://projects.eas.iis.fraunhofer.de/beyonddreams/site/index/index_en.html.

[2]

SystemC. In http://www.systemc.org.

[3]

Heterogeneous Inception, 2012-2015. https://www-soc.lip6.fr/trac/hinception.

[4]

Accellera systems initiative. SystemC AMS extensions Users Guide, Version 1.0. Accellera systems initiative, March 2010.

[5]

Andrade, L., Maehne, T., Vachoux, A., Ben Aoun, C., Pêcheux, F., and Louërat, M.-M. Pre-Simulation Formal Analysis of Synchronization Issues between Discrete Event and Timed Data Flow Models of Computation. In Design, Automation and Test in Europe, DATE Conference (Mar. 2015).

Digital Library

[6]

Andrade Porras, L. Principles and implementation of a generic synchronization interface between SystemC AMS models of computation for the virtual prototyping of multi-disciplinary systems. PhD thesis, Université Pierre et Marie Curie, 2016.

[7]

Apvrille, L. TTool, an open-source toolkit for the modeling and verification of embedded systems. http://ttool.telecom-paristech.fr/.

[8]

Balarin, F., Watanabe, Y., Hsieh, H., Lavagno, L., Passerone, C., and Sangiovanni-Vincentelli, A. L. Metropolis: An integrated electronic system design environment. IEEE Computer 36, 4 (2003), 45--52.

Digital Library

[9]

Bengtsson, J., and Yi., W. Timed automata: Semantics, Algorithms and Tools. In Lecture Notes on Concurrency and Petri Nets (2004), W. Reisig and G. Rozenberg (eds.), LNCS 3098, Springer-Verlag, pp. 87--124.

[10]

Cortés Porto, R. Integration of SystemC-AMS simulation platforms into TTool. Master's thesis, Technische Universität Kaiserslautern, november 2018.

[11]

Davare, A., Densmore, D., Meyerowitz, T., Pinto, A., Sangiovanni-Vincentelli, A., Yang, G., Zeng, H., and Zhu, Q. A next-generation design framework for platform-based design. In Conference on using hardware design and verification languages (DVCon) (2007), vol. 152.

[12]

Einwich, K. SystemC AMS PoC2.1 Library, COSEDA, Dresden, 2016. http://www.coseda-tech.com/systemc-ams-proof-of-concept/.

[13]

Fong, C. Discrete-time dataflow models for visual simulation in Ptolemy II. Master's Report, Memorandum UCB/ERL M 1 (2001).

[14]

Gamatié, A., Beux, S. L., Piel, É., Atitallah, R. B., Etien, A., Marquet, P., and Dekeyser, J.-L. A model-driven design framework for massively parallel embedded systems. ACM Trans. Embedded Comput. Syst 10, 4 (2011), 39.

Digital Library

[15]

Genius, D., and Apvrille, L. Virtual yet precise prototyping: An automotive case study. In ERTSS'2016 (Toulouse, Jan. 2016).

[16]

Genius, D., Li, L. W., and Apvrille, L. Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design. In Conf. on Model-Driven Engineering and Software Development (Modelsward) (Porto, 2017).

[17]

Herrera, F., and Villar, E. A framework for heterogeneous specification and design of electronic embedded systems in systemc. ACM Transactions on Design Automation of Electronic Systems (TODAES) 12, 3 (2007), 22.

Digital Library

[18]

IEEE. IEEE Std 1666.1 standard, January 2016.

[19]

Lee, E. A. Disciplined heterogeneous modeling. In Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering, Languages, and Systems (MODELS) (Oct. 2010), D. Petriu, N. Rouquette, and O. Haugen, Eds., LNCS 6395, Springer-Verlag, pp. 273--287.

Digital Library

[20]

Lee, E. A., and Messerschmitt, D. G. Synchronous Data Flow. Proceedings of the IEEE 75, 9 (1987), 1235--1245.

[21]

Niaki, S. H. A., Jakobsen, M. K., Sulonen, T., and Sander, I. Formal heterogeneous system modeling with SystemC. In Forum on Specification and Design Languages (FDL) (2012), IEEE, pp. 160--167.

[22]

Ptolemy.org, Ed. System Design, Modeling, and Simulation using Ptolemy II. 2014. http://ptolemy.org/books/Systems.

[23]

SocLib consortium. The SoCLib project: An integrated system-on-chip modelling and simulation platform. Tech. rep., CNRS, 2003. www.soclib.fr.

[24]

Taha, S., Radermacher, A., and Gérard, S. An entirely model-based framework for hardware design and simulation. In DIPES/BICC (2010), vol. 329 of IFIP Advances in Information and Communication Technology, Springer, pp. 31--42.

[25]

Vachoux, A., Grimm, C., and Einwich, K. Analog and mixed signal modelling with SystemC-AMS. In ISCAS (3) (2003), IEEE, pp. 914--917.

[26]

Vidal, J., de Lamotte, F., Gogniat, G., Soulard, P., and Diguet, J.-P. A codesign approach for embedded system modeling and code generation with UML and MARTE. In DATE (2009), IEEE, pp. 226--231.

Digital Library

[27]

VSI Alliance. Virtual Component Interface Standard (OCB 2 2.0). Tech. rep., VSI Alliance, Aug. 2000.

[28]

Zhu, J., Sander, I., and Jantsch, A. Hetmoc: Heterogeneous modelling in SystemC. In Forum on Specification & Design Languages (2010), IET, pp. 1--6.

Cited By

Cortés Porto RGenius DApvrille L(2021)Handling causality and schedulability when designing and prototyping cyber-physical systemsSoftware and Systems Modeling10.1007/s10270-021-00866-1Online publication date: 27-Feb-2021
https://doi.org/10.1007/s10270-021-00866-1
Genius DBournias IApvrille LChotin R(2021)Model-Based Virtual Prototyping of CPS: Application to Bio-Medical DevicesModel-Driven Engineering and Software Development10.1007/978-3-030-67445-8_4(74-96)Online publication date: 2-Feb-2021
https://doi.org/10.1007/978-3-030-67445-8_4
Zulian ÉHaugou GWeis CJung MWehn N(2020)System simulation with PULP virtual platform and SystemCProceedings of the Conference on Rapid Simulation and Performance Evaluation: Methods and Tools10.1145/3375246.3375256(1-7)Online publication date: 21-Jan-2020
https://dl.acm.org/doi/10.1145/3375246.3375256
Show More Cited By

Recommendations

A Tool for High-level Modeling of Analog/Mixed Signal Embedded Systems
MODELSWARD 2019: Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development

Embedded systems are commonly built upon heterogeneous digital and analog integrated circuits, including sensors and actuators. Model-driven approaches for designing software and hardware have been proposed, yet they are generally limited to the digital ...
Virtual Prototyping of Embedded Microcontroller-Based DSP Systems

The authors propose a new hardware/software codesign process that is based on a design methodology called Virtual Prototyping, wherein VHDL models of hardware components are integrated with application, control, and diagnostic software to rapidly ...
Low-power mixed-signal CVNS-based 64-bit adder for media signal processing

In this paper, design of a mixed-signal 64-bit adder based on the continuous valued number system (CVNS) is presented. The 64-bit adder is generated by cascading four 16-bit radix-2 CVNS adders. Truncated summation of the CVNS digits reduced the number ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

RAPIDO '19: Proceedings of the Rapid Simulation and Performance Evaluation: Methods and Tools

January 2019

44 pages

ISBN:9781450362603

DOI:10.1145/3300189

Conference Chair:
Daniel Chillet
University of Rennes 1

Copyright © 2019 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 January 2019

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article
Research
Refereed limited

Conference

RAPIDO '19

RAPIDO '19: Methods and Tools

January 21 - 23, 2019

Valencia, Spain

Acceptance Rates

Overall Acceptance Rate 14 of 28 submissions, 50%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
49
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Cortés Porto RGenius DApvrille L(2021)Handling causality and schedulability when designing and prototyping cyber-physical systemsSoftware and Systems Modeling10.1007/s10270-021-00866-1Online publication date: 27-Feb-2021
https://doi.org/10.1007/s10270-021-00866-1
Genius DBournias IApvrille LChotin R(2021)Model-Based Virtual Prototyping of CPS: Application to Bio-Medical DevicesModel-Driven Engineering and Software Development10.1007/978-3-030-67445-8_4(74-96)Online publication date: 2-Feb-2021
https://doi.org/10.1007/978-3-030-67445-8_4
Zulian ÉHaugou GWeis CJung MWehn N(2020)System simulation with PULP virtual platform and SystemCProceedings of the Conference on Rapid Simulation and Performance Evaluation: Methods and Tools10.1145/3375246.3375256(1-7)Online publication date: 21-Jan-2020
https://dl.acm.org/doi/10.1145/3375246.3375256
Genius DCortés Porto RApvrille LPêcheux F(2020)A Framework for Multi-level Modeling of Analog/Mixed Signal Embedded SystemsModel-Driven Engineering and Software Development10.1007/978-3-030-37873-8_9(201-224)Online publication date: 3-Jan-2020
https://doi.org/10.1007/978-3-030-37873-8_9

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents