Programmation concurrente et temps réel en ADA 95

Longtemps supporté par le Ministère américain de laDéfense, le langage Ada 95 est particulièrement adapté audéveloppement d'applications critiques, de grande taille,embarquées et temps réel, à long cycle de vie. Le langageAda est devenu le seul langage intrinsèquement orientéobjet, concurrent et temps réel qui soit normalisé ISO. Celivre introduit à la programmation concurrente et tempsréel de la programmation de systèmes, notamment embarqués.Le langage Ada y est utilisé à la fois comme moyen et commeformalisme privilégié pour en illustrer les concepts, ens'appuyant sur le formalisme particulièrement adapté d'ADA95.

Originalité

Cet ouvrage réussit le pari difficile de combiner uneprésentation classique des concepts de la programmationconcurrente avec l'enseignement des notions spécifiques dulangage Ada 95. Présentation pédagogique, illustréed'exemples et d'exercices.

Public

Ce livre s'adresse à des étudiants de deuxième cycle etdes ingénieurs désireux de se perfectionner enalgorithmique et dans le domaine du temps réel.

Contenu

Introduction - Tâches et types tâches - Mécanismesd'exclusion mutuelle par attente active -Lecteurs-rédacteurs - Producteurs-consommateurs - Objets ettypes protégés - Synchronisation différée - Rendez-vous -Programmation de systèmes - Programmation temps réel -Transfert de contrôle asynchrone - Bibliographie -Index.