Approches Formelles Des Systemes Embarques Communicants Traite Ic2 Serie Informatique Et Systemes D'

Couverture du livre « Approches Formelles Des Systemes Embarques Communicants Traite Ic2 Serie Informatique Et Systemes D' » de Roux aux éditions Hermes Science Publications

0 note

  • Nombre de page : (non disponible)
  • Collection : (non disponible)
  • Genre : Sciences appliquées
Résumé:

Résumé 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... Lire la suite

Résumé 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.

Sommaire 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.

Donner mon avis

Les derniers avis

Ce livre n'a pas encore d'avis. Donnez le vôtre et partagez-le avec la communauté de lecteurs.com

Où trouver ce livre en librairie ?

Service proposé en partenariat avec Place des Libraires

Les dernières discussions

Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !

Lancez une discussion

Pour lancer une discussion, vous devez être connecté...
Vous n'avez pas encore de compte ? Rendez-vous ici et laissez-vous guider !

Autres éditions

Approches Formelles Des Systemes Embarques Communicants Traite Ic2 Serie Informatique Et Systemes D' Roux HERMES SCIENCE PUBLICATIONS

Voir toutes les éditions

Récemment sur lecteurs.com

Les livres les mieux notés de la semaine