Lavoisier S.A.S.
14 rue de Provigny
94236 Cachan cedex
FRANCE

Heures d'ouverture 08h30-12h30/13h30-17h30
Tél.: +33 (0)1 47 40 67 00
Fax: +33 (0)1 47 40 67 02


Url canonique : www.lavoisier.fr/livre/informatique/approches-formelles-des-systemes-embarques-communicants/roux/descriptif-9782746219427
Url courte ou permalien : www.lavoisier.fr/livre/notice.asp?ouvrage=2139010

Approches formelles des systèmes embarqués communicants Traité IC2, série Informatique et Systèmes d'Information

Langue : Français

Coordonnateurs : ROUX Olivier H., JARD Claude

Couverture de l’ouvrage Approches formelles des systèmes embarqués communicants
Les systèmes embarqués sont un enjeu industriel et académique incontesté et connaissent une complexité grandissante : architectures réparties et hétérogènes, ressources limitées, systèmes "concurrents" et communicants. Ces systèmes sont souvent critiques et soumis à des contraintes non fonctionnelles importantes, en particulier énergétiques et temporelles. Cette complexité, couplée avec des cycles de développement de plus en plus courts impose une conception à la fois basée sur les modèles et assistée par des outils. Les méthodes formelles offrent un cadre mathématique fondé sur des modèles prenant aujourd'hui en compte les paramètres discrets, stochastiques et continus (temporels et hybrides) ainsi que des outils de plus en plus performants. Cet ouvrage est consacré à ces méthodes formelles appliquées aux systèmes embarqués en insistant sur les enjeux, la modélisation, la vérification, le diagnostic, la synthèse de contrôleurs et en présentant les principaux outils associés.
Préface -C. Jard, O. H. Roux. Chapitre 1. Modéliser et vérifier les systèmes embarqués : pourquoi, comment ? -J.-P. Elloy. Chapitre 2. Les modèles pour les systèmes temps réels embarqués -D. Lime, O. H. Roux. Chapitre 3. Model checking temporisé -B. Bérard. Chapitre 4. Contrôle des systèmes temporisés -F. Cassez, N. Markey. Chapitre 5. Diagnostic des systèmes temporisés -F. Cassez, S. Tripakis. Chapitre 6. Vérification quantitative de chaînes de Markov -S. Donatelli, S. Haddad. Chapitre 7. Outils de Model Checking -A. David, G. Behrmann, K. G. Larsen, P. Pettersson, J. I. Rasmussen, W. Yi, D. Lime, M. Magnin, O. H. Roux. Chapitre 8. Outils pour l'analyse des modèles hybrides -T. Dang, G. Frehse, A. Girard, C. Le Guernic.

Date de parution :

Ouvrage de 268 p.

15.6x23.4 cm

En stock : expédition en 24h !

98,00 €

Ajouter au panier
PDF 98,00 €
Télécharger

Thèmes d’Approches formelles des systèmes embarqués communicants :

En continuant à naviguer, vous autorisez Lavoisier à déposer des cookies à des fins de mesure d'audience. Pour en savoir plus et paramétrer les cookies, rendez-vous sur la page Confidentialité & Sécurité.
FERMER