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.

Public

Ce livre s'adresse à des étudiants de deuxième cyc