Polygraph Tool Suite: Configuration and Conformity Validation for Data Flow Based Real-Time Systems - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Polygraph Tool Suite: Configuration and Conformity Validation for Data Flow Based Real-Time Systems

Résumé

With the shift towards software centric architectures, automotive OEMs need formal models and tools to tackle new integration challenges that severely increase the complexity of real-time system synthesis. Polygraph Tool Suite proposes a new Synchronous Data Flow model for functional architecture analysis. It provides static model validation, model simulation, schedulability analysis, and platform-specific configuration file generation. Post-deployment, runtime conformity to the specification is automatically validated.

Domaines

Informatique
Fichier non déposé

Dates et versions

cea-04486461 , version 1 (01-03-2024)

Licence

Domaine public

Identifiants

  • HAL Id : cea-04486461 , version 1

Citer

Shuai Li, Matteo Morelli, Ansgar Radermacher, Jérémie Tatibouët, Pauline Deville, et al.. Polygraph Tool Suite: Configuration and Conformity Validation for Data Flow Based Real-Time Systems. 40th RealTime Systems Symposium, Dec 2019, Hong Kong, China. ⟨cea-04486461⟩
20 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More