Résumé
ULg Research Unit in Networking RUN
Résumé


Comment rendre LOTOS apte à spécifier des systèmes temps réel ?

G. Leduc1 and L. Léonard1

1 Research unit in Networking, EECS department, University of Liège, Belgium

(1993)

Résumé

Nous expliquons et justifions par des exemples notre proposition d'extension temporelle de LOTOS. Les exemples couvrent des fonctions de protocole et des facilités de service que l'on rencontre fréquemment en pratique ou qui en sont inspirés, tels que les temporisations, les chiens de garde, les délais, l'isochronisme, le multimédia, le contrôle de débit, ... La sémantique du langage est présentée ensuite et ses propriétés discutées de manière plus formelle. Nous pensons que l'application systématique des techniques formelles temporelles à ce type d'exemples est le passage obligé pour convaincre du bienfondé des choix de conception. L'efficacité pratique d'un formalisme est tout aussi importante que ses propriétés mathématiques associées.

[ Home | People | Research Topics | Projects | Publications | IFIP WG 6.1 | Events and Conferences | CSS | How to Reach Us ]

Editor: - G. Leduc -
Webmaster: - C. Soldani -
Still running IPv4 at: 54.162.139.105... RUN | Montefiore | ULg
© 2000-2015.