KPASSA

Jean-Vivien Millo 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : This software is dedicated to the simulation, analysis, and static scheduling of Event/Marked Graphs, SDF and KRG extensions. A graphical interface allows to edit the Process Networks and their time annotations (latency, ...). Symbolic simulation and graph-theoretic analysis methods allow to compute and optimize static schedules, with best throughputs and minimal buffer sizes. In the case of KRG the (ultimately k-periodic) routing patterns can also be provided and transformed for optimal combination of switching and scheduling when channels are shared. KPASSA also allows for import/export of specific description formats such as UML-MARTE, to and from our other TimeSquare tool.
Type de document :
Brevet
France, Patent n° : IDDN.FR.001.350040.000.S.P.2014.000.10600. 2014
Liste complète des métadonnées

https://hal.inria.fr/hal-01355713
Contributeur : Team Aoste <>
Soumis le : mercredi 24 août 2016 - 09:55:24
Dernière modification le : lundi 29 août 2016 - 13:45:10

Identifiants

  • HAL Id : hal-01355713, version 1

Collections

Citation

Jean-Vivien Millo. KPASSA. France, Patent n° : IDDN.FR.001.350040.000.S.P.2014.000.10600. 2014. <hal-01355713>

Partager

Métriques

Consultations de la notice

64