Méthodes et outils logiciels pour le développement de systèmes d'exploitation
Paris - 27 Mars 2003 (10h à 17:00h)
Thème abordé
Les systèmes d’exploitation sont des logiciels qui recèlent des contraintes spécifiques. On peut citer en particulier: la liaison avec le matériel, le déploiement sur de multiples plateformes cibles, la gestion de la synchronisation, la mise en œuvre de la protection et le besoin de performance. En outre, pour de nombreux systèmes embarqués et de télécommunications, des contraintes additionnelles relevant d’aspects « temps réel » doivent être également prises en compte. Enfin, il est traditionnellement reconnu que le développement de systèmes est un travail complexe demandant un haut niveau d’expertise. En dépit de ces particularités, il n’existe actuellement que peu d’outils spécifiques permettant de simplifier le travail des concepteurs et écrivains de code système.
Le sujet de cette journée est de présenter les recherches actuelles dans le domaine des méthodes et outils pour améliorer le développement des systèmes d’exploitation. En particulier, nous nous intéressons d’une part aux modèles de structuration avec un intérêt spécifiques pour les systèmes flexibles et configurables, et d’autres part aux outils d’optimisation, aux outils d’évaluation du temps d’exécution dans le pire cas (pour le temps réel) et aux outils d’évaluation de la fiabilité des systèmes.
Programme de la journée
| 10h15-10h30 | Accueil | |
| 10h30-10h45 | Introduction au RTP Systèmes Répartis et aux AS CNRS J.-M. Geib, LIFL/CNRS | |
| 10h45-11h30 | Developpement aisé et sûr d'ordonnanceur avec Bossa G. Muller | |
| 11h30-12h15 | Composants logiciels et noyaux d'OS J.-B. Stefani, INRIA Rhône-Alpes | |
| 12h15-13h30 | Repas | |
| 13h30-14h15 | Développements du système Camille dans les architectures matérielles fortement contraintes. Gilles Grimaud,LIFL/CNRS | |
| 14h15-15h00 | Configuration de composants logiciels génériques A.-F. Le Meur, LaBRI/ENSEIRB | |
| 15h00-15h20 | Pause | |
| 15h20-16h05 | Caractérisation temporelle pire-cas de systèmes d'exploitation temps-réel Alexis Arnaud, IRISA/INRIA Rennes | |
| 16h05-16h50 | Construction de systèmes et applications adaptables basés sur des MVV B.Folliot, LIP6/CNRS | |
| 16h50-17h00 | Cloture |
Organisateurs
- Bertil Foliot, LIP6/CNRS, Paris.
Pratique
La journée aura lieu au :
Salle C931, LIP6
site Scott, salle Cafétéria (Rez de chausse)
8 rue du Capitaine Scott
Paris 15e
Informations d'accès