Skip to main content
Springer Nature Link
Log in

A Hierarchical Design Tool for SystemC AMS

  • Conference paper
  • First Online:
Model-Driven Engineering and Software Development (MODELSWARD 2023)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 2106))

  • 90 Accesses

Abstract

The splitting into functionalities and interaction between analog and digital parts should be considered as early as possible in the design phase. We extended this methodology in former work, in order to take cyber-physical systems, based upon analog / digital hardware and software components, into account. The Models of Computation in these systems are not frequently tackled by many researchers due to their significant differences. However, as we show in this article, a SysML model can be directly used to generate a virtual prototype representing both the analog and mixed-signal parts of cyber-physical systems. For this, we rely on a hierarchical methodology, as certain analog components demand highly detailed designs. In this study, we introduce the capability to perform extensive semi-automatic design space exploration for these parts as well. A way to achieve this is to use parameters to automatically adapt the number of subsystems considered in the prototype.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    We do not consider layout issues in this paper. Yet, we are aware of its importance, especially when dealing with low-level steps of the design process.

References

  1. Accellera Systems Initiative: SystemC AMS extensions Users Guide, Version 1.0 (2010)

    Google Scholar 

  2. Andrade, L., Maehne, T., Vachoux, A., Ben Aoun, C., Pêcheux, F., 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 (2015)

    Google Scholar 

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

  4. Apvrille, L., Muhammad, W., Ameur-Boulifa, R., Coudert, S., Pacalet, R.: A uml-based environment for system design space exploration. In: 2006 13th IEEE International Conference on Electronics, Circuits and Systems, pp. 1272–1275. IEEE (2006)

    Google Scholar 

  5. Beyond Dreams Consortium: Beyond Dreams (Design Refinement of Embedded Analogue and Mixed-Signal Systems) (2008–2011). projects.eas.iis.fraunhofer.de/beyonddreams

    Google Scholar 

  6. Blochwitz, T., et al.: The functional mockup interface for tool independent exchange of simulation models. In: 8th International Modelica Conference, Dresden, Germany, pp. 105–114 (2011)

    Google Scholar 

  7. Concepcion, A.I., Zeigler, B.P.: DEVS formalism: a framework for hierarchical model development. IEEE Trans. Softw. Eng. 14(2), 228–241 (1988)

    Article  Google Scholar 

  8. Cortés Porto, R., Genius, D., Apvrille, L.: Handling causality and schedulability when designing and prototyping cyber-physical systems. Softw. Syst. Model. 1–17 (2021)

    Google Scholar 

  9. Davare, A., et al.: A next-generation design framework for platform-based design. In: DVCon, vol. 152 (2007)

    Google Scholar 

  10. Demathieu, S., Thomas, F., André, C., Gérard, S., Terrier, F.: First experiments using the uml profile for marte, pp. 50–57. IEEE (2008)

    Google Scholar 

  11. Dubrulle, P., Gaston, C., Kosmatov, N., Lapitre, A., Louise, S.: A data flow model with frequency arithmetic. In: Hähnle, R., van der Aalst, W. (eds.) FASE 2019. LNCS, vol. 11424, pp. 369–385. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-16722-6_22

    Chapter  Google Scholar 

  12. Einwich, K.: Coside (2016). https://www.coseda-tech.com

  13. Einwich, K.: SystemC AMS PoC2.1 Library, COSEDA, Dresden (2016)

    Google Scholar 

  14. Fitzgerald, J.S., Larsen, P.G., Pierce, K.G., Verhoef, M.H.G.: A formal approach to collaborative modelling and co-simulation for embedded systems. Math. Struct. Comput. Sci. 23(4), 726–750 (2013)

    Article  MathSciNet  Google Scholar 

  15. Fritzson, P., Engelson, V.: Modelica—a unified object-oriented language for system modeling and simulation. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol. 1445, pp. 67–90. Springer, Heidelberg (1998). https://doi.org/10.1007/BFb0054087

    Chapter  Google Scholar 

  16. Gamatié, A., et al.: A model-driven design framework for massively parallel embedded systems. ACM Trans. Embedded Comput. Syst 10(4), 39 (2011)

    Article  Google Scholar 

  17. Genius, D., Apvrille, L.: Virtual yet precise prototyping: an automotive case study. In: ERTSS’2016, Toulouse (2016)

    Google Scholar 

  18. Genius, D., Apvrille, L.: Hierarchical design of cyber-physical systems. In: Modelsward (2023)

    Google Scholar 

  19. Genius, D., Bournias, I., Apvrille, L., Chotin, R.: High-level partitioning and design space exploration for cyber physical systems. In: MODELSWARD (2020)

    Google Scholar 

  20. Genius, D., Cortés Porto, R., Apvrille, L., Pêcheux, F.: A tool for high-level modeling of analog/mixed signal embedded systems. In: MODELSWARD (2019)

    Google Scholar 

  21. Gylling, V., Olsson, R.: Implementation of a 200 msps 12-bit sar adc (2015)

    Google Scholar 

  22. H-Inception Consortium: Heterogeneous Inception Project (2012–2015). https://www-soc.lip6.fr/trac/hinception

  23. Herrera, F., Villar, E.: A framework for heterogeneous specification and design of electronic embedded systems in systemc. ACM Trans. Des. Autom. Electron. Syst. (TODAES) 12(3), 22 (2007)

    Google Scholar 

  24. IEEE: IEEE Standard VHDL Language Reference Manual (1987)

    Google Scholar 

  25. IEEE: SystemC. IEEE Standard 1666–2011 (2011)

    Google Scholar 

  26. Jantsch, A.: Modeling Embedded Systems and SoC’s: Concurrency and Time in Models of Computation. Elsevier, Amsterdam (2003)

    Google Scholar 

  27. Lee, E.A.: Disciplined heterogeneous modeling. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010. LNCS, vol. 6395, pp. 273–287. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-16129-2_20

    Chapter  Google Scholar 

  28. Lee, E.A., Messerschmitt, D.G.: Synchronous data flow. Proc. IEEE 75(9), 1235–1245 (1987)

    Article  Google Scholar 

  29. Li, L.W., Genius, D., Apvrille, L.: Formal and virtual multi-level design space exploration. In: Pires, L.F., Hammoudi, S., Selic, B. (eds.) MODELSWARD 2017. CCIS, vol. 880, pp. 47–71. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-94764-8_3

    Chapter  Google Scholar 

  30. Louërat, M.M., Porte, J.: scalable sar adc, technicat report, chips4makers.io (2022)

    Google Scholar 

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

    Google Scholar 

  32. Patel, H.D., Shukla, S.K.: Towards a heterogeneous simulation kernel for system-level models: a systemc kernel for SDF models. TCAD 24(8), 1261–1271 (2005)

    Google Scholar 

  33. Porte, J.: Oceane: Software tool for analog design and education (2008). https://www-soc.lip6.fr/en/team-cian/softwares/oceane/

  34. Quarles, T., Pederson, D., Newton, R., Sangiovanni-Vincentelli, A., Wayne, C.: Spice home page (2003). https://bwrc.eecs.berkeley.edu/Classes/IcBook/SPICE/

  35. Quillevere, H.: Gtk Analog Wave viewer (2019). http://www.rvq.fr/linux/gaw.php

  36. Selic, B., Gérard, S.: Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems. Elsevier, Amsterdam (2013)

    Google Scholar 

  37. Shen, Y., Zhu, Z., Liu, S., Yang, Y.: A reconfigurable 10-to-12-b 80-to-20-ms/s bandwidth scalable sar adc. IEEE Trans. Circ. Syst. I 65(1), 51–60 (2017)

    Google Scholar 

  38. SocLib consortium: The SoCLib project: An Integrated System-on-Chip Modelling and Simulation Platform (2003). www.soclib.fr

  39. Taha, S., Radermacher, A., Gérard, S.: An entirely model-based framework for hardware design and simulation. In: Hinchey, M., et al. (eds.) BICC/DIPES -2010. IAICT, vol. 329, pp. 31–42. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-15234-4_5

    Chapter  Google Scholar 

  40. Vachoux, A., Grimm, C., Einwich, K.: Analog and mixed signal modelling with SystemC-AMS. In: ISCAS (3), pp. 914–917. IEEE (2003). http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8570

  41. Zhao, C., Kazmierski, T.J.: An extension to SystemC-A to support mixed-technology systems with distributed components. In: DATE, pp. 1–6. IEEE (2011)

    Google Scholar 

  42. Zhu, J., Sander, I., Jantsch, A.: Hetmoc: Heterogeneous modelling in systemc. In: 2010 Forum on Specification & Design Languages (FDL 2010), pp. 1–6. IET (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Sorbonne Universités, UPMC Paris 06, LIP6, CNRS UMR 7606, Paris, France

    Daniela Genius

  2. LTCI, Télécom Paris, Institut Polytechnique de Paris, Palaiseau, France

    Ludovic Apvrille

Authors
  1. Daniela Genius
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ludovic Apvrille
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Daniela Genius .

Editor information

Editors and Affiliations

  1. University of Seville, Seville, Spain

    Francisco José Domínguez Mayo

  2. Faculty of Electrical Engineering, Mathematics and Computer Science, University of Twente, Enschede, The Netherlands

    Luís Ferreira Pires

  3. Model Driven Solutions, Herndon, VA, USA

    Edwin Seidewitz

Rights and permissions

Reprints and permissions

Copyright information

© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Genius, D., Apvrille, L. (2024). A Hierarchical Design Tool for SystemC AMS. In: Domínguez Mayo, F.J., Pires, L.F., Seidewitz, E. (eds) Model-Driven Engineering and Software Development. MODELSWARD 2023. Communications in Computer and Information Science, vol 2106. Springer, Cham. https://doi.org/10.1007/978-3-031-66339-0_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-66339-0_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-66338-3

  • Online ISBN: 978-3-031-66339-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics