Groupe OCSD
Organisation et Conduite
de Systèmes Discrets
|
Groupe OCSD |
   |
Cet axe fait appel à des méthodes et des techniques de génie logiciel temps réel. L'objectif est d'améliorer la productivité, la validation et la qualité des systèmes logiciels de commande.
De façon complémentaire, la simulation distribuée est un moyen important de prototypage et d'évaluation. Judicieusement associée à chaque phase du cycle de vie du logiciel, elle apporte un nombre d'avantages significatifs, gain de temps de développement, aide à la définition des besoins, évaluation des performances et de la sûreté de fonctionnement.
Les systèmes sont ouverts, ils sont en forte interaction avec l'environnement. Les contraintes temporelles et de concurrence évoluent en fonction de l'état du procédé, les tolérances aux fautes également. Les logiciels doivent donc être temps réel, distribués, concurrents et sûrs. Ils sont modélisés à l'aide d'approches fonctionnelles (méthodes SA-RT, SASS, ...) ou des approches orientées objet (OMT, UML, HOOD, ...).
Le rapprochement d'une méthode semi-formelle HOOD et d'un outil formel, les réseaux de Petri, a permis de développer une méthodologie de production de logiciels temps réel (HOOD-PNO) qui couvre la quasi totalité des phases du cycle de vie du logiciel (de l'analyse à l'implémentation). Des travaux significatifs l'ont utilisée : systèmes de production, physique nucléaire (projet VIRGO), systèmes embarqués, systèmes mécatroniques.
Illustration de l'approche HOOD-PNO
Dernière modification:
