A survey of main dataflow MoCCs for CPS design and verification - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

A survey of main dataflow MoCCs for CPS design and verification

Résumé

The automotive industry has recently emphasized reducing the number of Electronic Control Units (ECUs) installed in vehicles for economic and ecological reasons. This reduction means that the design and verification must be independent of the vehicle's final choice of (MC)SoCs, knowing they will evolve as time passes. To that end, dataflow Models of Computation and Communication (MoCCs) are powerful tools for maintaining this independence. A subclass of dataflow MoCCs -deterministic dataflow MoCCs- is of particular interest since it allows designers to derive safety and security properties at compile-time. This work proposes a short survey of the existing deterministic dataflow MoCCs. We describe the properties of each dataflow MoCC and present an expressiveness hierarchy of dataflow MoCCs adjustable to designers' needs.
Fichier principal
Vignette du fichier
A_survey_of_main_dataflow_MoCCs_for_CPS_design_and_verification.pdf (275.94 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

cea-03960155 , version 1 (27-01-2023)

Identifiants

Citer

Guillaume Roumage, Selma Azaiez, Stephane Louise. A survey of main dataflow MoCCs for CPS design and verification. MCSoC 2022 - 2022 IEEE 15th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, IEEE, Dec 2022, Penang, Malaysia. pp.1-9, ⟨10.1109/MCSoC57363.2022.00010⟩. ⟨cea-03960155⟩
48 Consultations
88 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More