Handling causality and schedulability when designing and prototyping cyber-physical systems - Sorbonne Université Access content directly
Journal Articles Software and Systems Modeling Year : 2021

Handling causality and schedulability when designing and prototyping cyber-physical systems

Abstract

Cyber physical systems are built upon digital and analog circuits, making it necessary to handle different models of computation during their design and verification (e.g., by simulation). When designing these systems, an important aspect to consider is the causality between the different domains. For this, we introduce a new model-driven framework able to identify causality problems and to suggest a valid schedule between the analog and digital domains. Once a valid schedule has been computed, our framework can generate cycle and bit accurate virtual prototypes (in SystemC/SystemC AMS) from high-level SysML models.
Fichier principal
Vignette du fichier
causality.pdf (773.04 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03159402 , version 1 (21-04-2023)

Identifiers

Cite

Rodrigo Cortés porto, Daniela Genius, Ludovic Apvrille. Handling causality and schedulability when designing and prototyping cyber-physical systems. Software and Systems Modeling, 2021, 20 (1), ⟨10.1007/s10270-021-00866-1⟩. ⟨hal-03159402⟩
98 View
24 Download

Altmetric

Share

Gmail Facebook X LinkedIn More