Handling causality and schedulability when designing and prototyping cyber-physical systems - Sorbonne Université Accéder directement au contenu
Article Dans Une Revue Software and Systems Modeling Année : 2021

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

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

Citer

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 Consultations
23 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More