Le projet SoCKET (SoC toolKit for critical Embedded sysTems) est un projet commun aux
pôles de compétitivité Aerospace Valley
et Minalogic.
Il réunit les efforts des industriels dans le domaine de l'aéronautique,
du spatial, des semi conducteurs, et différents laboratoires publics pour adresser le
problème des méthodologies de développement des systèmes embarqués
critiques. En s'appuyant sur les complémentarités de compétences des
différents intervenants les principaux objectifs du projet sont les suivants :
- définir un flot de développement "sans rupture", intégrant la qualification
et la certification des équipements, depuis le niveau système jusqu'aux circuits
intégrés et logiciels validés sur ces circuits intégrés
- maîtriser et appliquer les méthodologies de développement des SoCs aux
systèmes embarqués critiques
- maîtriser la "dimension système" (matériel + logiciel) et leur mise en
oeuvre dans les systèmes sur puce (SoC)
- maîtriser la complexité et la réduction du temps de cycle de
développement (par la mise en parallèle des développements matériel
et logiciel), et optimiser le design de systèmes basés sur des SoCs
- assurer la dissémination de ces méthodologies de flot de conception via les
pôles de compétitivité
Durée : Juin 2008 - Décembre 2011
Objectifs - Moyens
|
- High level synthesis
- Heterogeneous simulation techniques (SystemC/TLM)
- IPs encapsulation and interoperability (IP-XACT/OCP-IP)
- Semi-formal verification by automatic generation of monitors
- Mutation analysis techniques
- Test cases automatic generation
- Solution based upon market open standards (SystemC/SPIRIT)
|
Plus d'informations
Poster de présentation du projet.
Article "A Design Flow
for Critical Embedded Systems" (V.Lefftz, J.Bertrand, H.Cassé, C.Clienti, P.Coussy, L.Maillet-Contoz,
P.Mercier, P.Moreau, L.Pierre, E.Vaumorin), IEEE Symposium on Industrial Embedded Systems, Trento (Italie),
Juillet 2010.
Journées de
présentation du projet, Minatec (Grenoble), Octobre 2010.
Workshop de fin du projet, IRIT (Toulouse),
Novembre 2011.
Contact (coordinateur) :
Vincent Lefftz
Astrium Satellites - Central Engineering
Data Processing & Advanced Studies / ASG74
Office Z#013
Email: vincent.lefftz@astrium.eads.net