Généralités sur la plate-forme

Objectifs

Mettre à disposition un ensemble d'outils
  • qui permettent de comprendre et d'utiliser des modèles,
  • qui facilitent la conception et la mise au point d'applications,
  • avec des possibilités d'utilisation simplifiées ou avancées;
  • adaptable au cursus (importance relative accordée à la modélisation et à la programmation).

    • Contenu

    La distribution comprend
  • des logiciels disponibles sur le web,
  • des logiciels plus spécialisés (qu'il faut éventuellement récupérer directement pour des questions de licence) et
  • des logiciels développés par l'auteur ou d'autres membres de l'équipe SPORTS du laboratoire I3S. Les logiciels développés par l'équipe SPORTS sont notés avec un astérisque, ceux développés plus spécialement par C André par un double astérisque.
    • La plate-forme résout certains problèmes de communications entre logiciels, ce qui permet d'utiliser différents outils sans se soucier des formats intermédiaires et des protocoles de communication entre outils.

    Logiciels

    Utilitaires

    Modèles états - transitions

  • fsm (**)
  • grafcet (*)
  • syncCharts (**)
  • réseaux de Petri
    • Ces logiciels utilisent de façon transparente
  • le compilateur Estérel (INRIA/CMA)
  • l'éditeur, le compilateur et le simulateur syncCharts (**)
  • l'éditeur et le compilateur grafcet (*)
  • le simulateur Estérel : Xes  (INRIA/CMA)
  • le "model checker" Xeve  (INRIA)
  • SIS pour l'optimisation de circuits (Berkeley University)
  • atg (INRIA) pour l'exploration des graphes
  • tina 2.4.12 (Berthomieu, LAAS)
    • Pour information : documentation sommaire de fsm (format pdf)

    Programmation de contrôleurs

  • bic (**) un configuateur d'interfaces environnement/contrôleur
  • maquettes (logicielles) de processus (**)
  • Linux Temps réel (version "rtai" pour noyaux 2.2.x)
    • Pour information : documentation sommaire de bic

    Architecture des ordinateurs

    Pour information : documentation de CPUSimulator