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.