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.