Programmation concurrente et temps réel en 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.PublicCe 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.ContenuIntroduction - 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.Biographie de l'auteurPierre Breguet est licencié ès sciences, orientation mathématiques, de l'Université de Neuchâtel. Après avoir été assistant à l'EPFL au Laboratoire de génie logiciel, il est professeur d'informatique à l'Ecole d'ingénieurs du canton de Vaud depuis 1985.Luigi Zaffalon est diplômé en électrotechnique de l'Ecole technique supérieure de Genève et en informatique de l'Université de Genève. Après avoir été assistant au Centre universitaire d'informat