Team aoste

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Software


Participants : Julien Boucaron [ correspondant ] , Anthony Coadou, Robert de Simone.

This software is dedicated to the simulation, analysis, and static scheduling 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 allows to statically schedule such graph. Analytic methods allow to compute additional buffers needed to reach maximum achievable throughput of the graph. They can compute also part of the graph that can be slow-down through addition of both integer and fractional latencies. Such extra latencies are used to alter the static-schedule to minimize for instance dynamic power peak. In the case of KRG the (ultimately k-periodic) routing patterns can also be input and transformed. KPASSA can import/export specific UML and IPXACT models compliant with TimeSquare.

K-Passa currently relies in part on the Boost Graph library for graph algorithms and Qt4 for the GUI. It also uses lp_solve as its underlying integer linear solver, GNU MP for multiprecision arithmetic and Xerces for XML parsing.

This software was developed as a result of researches on Latency-Insensitive Design conducted in the context of the CIM PACA initiative, with the support of industrial partners providing motivations.

KPASSA can be downloaded on AOSTE website. This software is registered by the Agence pour la Protection des Programmes, under the number IDDN.FR.001.310003.000.S.P.2009.000.20700.


Logo Inria