Une méthodologie pour le développement de logiciels temps-réel
FR |
EN
Auteur / Autrice : | Najat M'zali |
Direction : | Michel Koenig |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 1987 |
Etablissement(s) : | Nice |
Résumé
FR
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