Une méthodologie pour le développement de logiciels temps-réel

par Najat M'zali

Thèse de doctorat en Informatique

Sous la direction de Michel Koenig.

Soutenue en 1987

à Nice .

mots clés

• Temps réel (informatique)
• Systèmes embarqués (informatique)
• Petri, Réseaux de
• Composants logiciels
• Ada 83 (langage de programmation)

Résumé

La méthodologie présentée distingue dans le logiciel temps-réel une partie commande et une partie opérative. Elle se base sur l'utilisation des réseaux de Petri pour spécifier la partie commande et sur un environnement de programmation pour générer quasi automatiquement le logiciel final

Titre traduit

A methodology for real time software development

Pas de résumé disponible.