Revue des Sciences et Technologies de l'Information Volume 22 N° 5/2003 (Broché)

Réservés, il y a quelques années, à des applications industrielles très spécifiques, les systèmes temps réel font leur apparition dans beaucoup de secteurs tels que le transport, le multimédia, les consoles de jeux, etc., et ils prennent de plus en plus de place dans notre vie quotidienne. En termes de complexité, les systèmes temps réel couvrent un large spectre allant du simple microcontrôleur (contrôle du système de freinage d'une voiture, par exemple), jusqu'aux systèmes répartis (contrôle du trafic aérien, par exemple). Les enjeux économiques et les intérêts scientifiques liés aux systèmes temps réel sont multiples. C'est la raison pour laquelle on assiste, depuis les années soixante-dix, à une profusion de langages, de méthodes, d'algorithmes, de protocoles de communication, etc., pour le temps réel. L'objectif de Temps réel est de faire le point sur les travaux de recherche et développement dans ce domaine. Les contributions rassemblées ici couvrent des aspects importants dans le cycle de développement des applications temps réel : vérification formelle de propriétés temporelles, analyse d'ordonnançabilité d'applications temps réel réparties, techniques de réservation de ressources, évaluation des temps de réponse dans les réseaux et calcul de pire temps d'exécution de tâches.