Open position for a Internship student: K-passa v4
- Contact: Jean-Vivien.Millo Duration: 3 to 6 months
- Keywords :Java development, Model of computation, Algorithmics
- Location: AOSTE- INRIA Sophia antipolis.
who, what, when...
Résumé (English version below)
K-Passa est un logiciel Java de validation et d'optimisation de Système sur puce. Son modèle de circuit utilise des graphes particuliers, appelés "Marked Graph" (MG), "Synchronous Data Flows" (SDF) et "K-peariodic Routing Graph" (KRG).K-Passa fait deux utilisations distinctes de ces graphes :
- il exécute un certains nombre d'algorithmes qui permettent le calcul de propriétés et l'applications de transformations;
- il permet l'édition graphique des systèmes et le suivi de l'exécution de ces algorithmes a travers une interface graphique utilisateur.
Dans l'état actuel, K-Passa existe sous la forme de ses versions précédentes et d'un modele de base, qui servira de socle au développement de la version future. Le travail proposé consiste alors en l'implementation de plusieurs algorithmes, dont :
- le moteur de simulation commun aux trois modèles de K-Passa (MG, SDF, KRG);
- l'égalisation (ajout de latence sur les sections rapides);
- l'ordonnancements "balancé" et "au plus tôt" avec allocation des tailles des places;
- la construction de la séquence d'initialisation la plus courte;
- la vérification de l'équilibre du modèle SDF (les équations balancées);
- vérification de la vivacité pour ces trois modèle;
- diverses transformations structurelles.
Abstract:
K-Passa is a software developped in Java to validate and optimize the design of system-on-chips. The representation of the application is made using various process network: "Marked Graph" (MG), "Synchronous Data Flows" (SDF) and "K-periodic Routing Graph" (KRG).K-Passa aims at:
- running many algorithms to check various properties or compute scheduling
- editing these process networks and visualizing the result of the processed algorithms.
Currently, K-Passa exists as a Java software but is incomplete and based on outdated libraries. On the other hand, a brand new graph library is available as a base for the new version of K-Passa.
The proposed internship will be composed ofthe following tasks:
- The simulation engine for the three process networks
- The equalization algorithm
- The balanced scheduling algorithm
- The initialization sequence computation
- The balanced equation verification for SDF.
- Liveness checking for these three process networks
- Various structural transformations
The internship will be supervised by Jean-Vivien Millo (INRIA) and Luc Hogie (CNRS), EPI AOSTE, INRIA/CNRS/UNSA