La construction et la validation d'architectures opérationnelles dans le domaine des systèmes informatiques temps réel sont confrontées à des problèmes de placement (affectation des tâches sur les processeurs), d'ordonnancement (organisation temporelle des exécutions des tâches) et d'ordonnançabilité (vérification des contraintes temporelles associées aux exécutions des tâches).
Oedipe est un outil de résolution de problèmes de placement utilisant des techniques issues de deux domaines de recherche : la programmation par contraintes et les analyses d'ordonnançabilité des systèmes temps réel.
Mise à jour : 10 novembre 2005
Logo créé par Maïwenn Dagan - Bannière récupérée sur Mono - "Oedipe::solveur de problèmes complexes" sur une idée originale de Yann Prieto