Caspi-conseils

 Développement par modèles et génération automatique de code

    Ces méthodes sont à mon sens une des meilleures façons d'aborder la conception de systèmes logiciels d'automatismes critiques.  J'ai été un des pionniers de la mise en œuvre de ces méthodes en proposant avec Nicolas Halbwachs le langage Lustre dès 1984.

    Lustre a connu un succès industriel remarquable puisqu'il est à la base de l'atelier SCADE d'Esterel Technologies qui est devenu un standard de fait en avionique, nucléaire et ferroviaire. Notre contribution a été reconnue avec la remise du prix Monpetit de l'académie des Sciences en 2004. J'ai aussi eu ĺ'honneur de présenter la méthode de développement par modèles à l'invitation d'Airbus, au cours de la la journée spéciale « Space and Aeronautics » de la conférence DATE07.

     Vous trouverez ici les vues de ma présentation à DATE07. L'essentiel de mes efforts a consisté à étendre la méthode :

• Vers le haut, en direction des méthodes et outils de modélisation ; j'ai ainsi proposé l'interface Simulink/Stateflow vers Lustre, partiellememt intégrée à SCADE
  
  
• Vers le bas, en direction des plateformes d'implantation ; nous avons proposé des méthodes fidèles de mise en œuvre sur des architectures réparties de type TTA et  de mise en œuvre par ordonnancement temps-réel préemptif. Cette dernière contributions, aussi partiellement intégrée à SCADE est une première qui étend considérablement à mon avis, la méthode
  
  
• Un point essentiel de cette méthode est la fidélité garantissant la cohérence entre le modèle et sa mise en œuvre. Elle s'obtient par des principes de construction et par la génération automatique de code.
  
  

      La figure suivante résume l'essentiel de ma vision (que j'amerais vous faire partager)  :

Grenoble, le 8 janvier 2008
Paul Caspi