Skip to main navigation Skip to search Skip to main content

Hierarchical Design of Cyber-Physical Systems

  • Sorbonne Université

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Cyber-physical systems are based upon analog / digital hardware and software components. The splitting into functionalities and interaction between analog and digital parts should be considered as early as possible in the design phase, relying on formal verification or simulation. While many papers pretend to propose a modeling environment supporting them, only a few of them really address the different Models of Computation of these systems because they strongly differ. The paper explains how to generate a combined SystemC/SystemC AMS virtual prototype of the analog and mixed-signal parts of CPS directly from a SysML model featuring whole parts of CPS, thus reconciling near-circuit precision with more abstract analog and digital models.

Original languageEnglish
Title of host publicationProceedings of the 11th International Conference on Model-Based Software and Systems Engineering
EditorsFrancisco José Domínguez Mayo, Luís Ferreira Pires, Edwin Seidewitz
PublisherScience and Technology Publications, Lda
Pages117-124
Number of pages8
ISBN (Print)9789897586330
DOIs
Publication statusPublished - 1 Jan 2023
Event11th International Conference on Model-Based Software and Systems Engineering, MODELSWARD 2023 - Lisbon, Portugal
Duration: 19 Feb 202321 Feb 2023

Publication series

NameInternational Conference on Model-Driven Engineering and Software Development
Volume1
ISSN (Electronic)2184-4348

Conference

Conference11th International Conference on Model-Based Software and Systems Engineering, MODELSWARD 2023
Country/TerritoryPortugal
CityLisbon
Period19/02/2321/02/23

Keywords

  • Analog/Mixed Signal Design
  • Cyber Physical Systems
  • SystemC AMS
  • Virtual Prototyping

Fingerprint

Dive into the research topics of 'Hierarchical Design of Cyber-Physical Systems'. Together they form a unique fingerprint.

Cite this