Programmation concurrente et temps réel avec ADA 95

Longtemps supporté par le Ministère américain de la Défense, le langage Ada 95 est particulièrement adapté au développement d'applications critiques, de grande taille, embarquées et temps réel, à long cycle de vie. Le langage Ada est devenu le seul langage intrinsèquement orienté objet, concurrent et temps réel qui soit normalisé ISO. Ce livre introduit à la programmation concurrente et temps réel de la programmation de systèmes, notamment embarqués.
Le langage Ada y est utilisé à la fois comme moyen et comme formalisme privilégié pour en illustrer les concepts, en s'appuyant sur le formalisme particulièrement adapté d'ADA 95. Originalité Cet ouvrage réussit le pari difficile de combiner une présentation classique des concepts de la programmation concurrente avec l'enseignement des notions spécifiques du langage Ada 95. Présentation pédagogique, illustrée d'exemples et d'exercices.
Public Ce livre s'adresse à des étudiants de deuxième cycle et des ingénieurs désireux de se perfectionner en algorithmique et dans le domaine du temps réel. Contenu Introduction - Tâches et types tâches - Mécanismes d'exclusion mutuelle par attente active - Lecteurs-rédacteurs - Producteurs-consommateurs - Objets et types protégés - Synchronisation différée - Rendez-vous - Programmation de systèmes - Programmation temps réel - Transfert de contrôle asynchrone - Bibliographie - Index.