Software Engineering Research Group
Les objets actifs synchrones - une approche
originale et fiable des systèmes multi-tâches
Computer Science Seminar:
Wednesday, January 21, 2004
Speaker:
Prof. Dr. Claude Petitpierre, Laboratoire de téléinformatique,
EPFL
Abstract:
La nouvelle librairie qui sera proposée prochainement dans
le cadre de Java pour développer des applications
interactives (temps réel à faibles contraintes)
est basée sur des concepts connus depuis 30 ans
(sémaphore, verrou, canal). Les programmes obtenus sont
très délicats à mettre au point. Cette
librairie n'inclut aucun des concepts introduits par les
méthodes de design et d'analyse de systèmes
parallèles étudiés durant ces 30
années, tels que les machines à états
finis synchronisées, le langage SDL, les méthodes
de vérification de propriétés
temporelles, etc.
De l'autre côté, les théories traitant
de ces derniers aspects débouchent rarement sur des
environnements de programmation confortables. Lors de cette
présentation, nous allons décrire une approche
qui s'appuie sur les théories mentionnées
ci-dessus, qui s'intègre parfaitement dans Java, et qui
produit des programmes dont la structure est bien plus claire et plus
maintenable que celle de programmes basés sur les notions de
standard de temps réel (sémaphore et autres
concepts). Nous décriront des exemples incluant de
façon harmonieuse la gestion d'interface homme-machine,
d'accès à distance et de processus industriels.
