Table des Matières

• Liste des Figures
• Introduction
• Contexte de cette Etude
  • Conclusion
• Stratification de spécifications objet
  • Définitions et Intérêt de l'approche Objet
  • MSO : Base de la Structuration Objet Stratifiée
    • Concepts et Définitions :
  • Du Statique vers le Dynamique
    • Les Attributs Dynamiques :
    • Héritage :
• Méthodes Réactives Synchrones
  • Les Systèmes Réactifs :
    • Caractéristiques :
      • Le déterminisme.
      • Les contraintes de temps.
      • La fiabilité.
      • Le parallélisme.
    • Méthodes de Programmation :
  • L'approche Synchrone et le Langage Esterel
    • L'approche Synchrone :
    • Le Langage Synchrone ESTEREL :
      • Caractéristiques
      • Propriétés
      • Méthodologie
• Mise en Oeuvre d'un Prototype
  • La Portabilité Temps-Réel
  • Le prototype ArGiMoGe
    • L'interface Utilisateur
      • Du point de vue Utilisateur
      • Du point de vue l'implémentation
    • Hardware Utilisé
    • Implémentation du Prototype
      • Fonctionnalités POSIX :
      • Le Contrôleur EST´EREL et l'Interfaçage C :
    • Analyse du Prototype et Perspectives :
  • ArGiMoGe en Images
• Conclusion
• Bibliographie
• Rappels sur les langages orientés-objet
• The - C or Restraint C Language
  • Using a Restrained C-language to define processor and memory
  • - C and the Memory Objects :
    • Syntax :
    • Example :
    • Properties and Restrictions :
  • - C and the Processor Instructions :
  • - C and the Straight-line Programs :
  • Conclusion on the - C Language :
• A discussion on real-time implementations
• About this document ...