Title.
 
Accueil Partenaires Tâches Réunions Dissémination


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