Retour page d'accueil
Chercher
sur
 
Retour page d'accueil
Plus de 1.624.000 de titres à notre catalogue !
Notice



95.00 €
Ajouter au panier

 

Approches formelles des systèmes embarqués communicants (Traité IC2, série Informatique et systèmes d'information)

Auteur(s) : ROUX Olivier H., JARD Claude
Date de parution: 10-2008
Langue : FRANÇAIS
268p. 15.6x23.4 Relié

Expédition sous 24h !

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.

Thèmes :
  • Informatique / Ingenierie des systemes d'information, genie logiciel, securite / Gestion des systèmes d'information. progiciels (erp)
  • Informatique / Ingenierie des systemes d'information, genie logiciel, securite / Systèmes embarqués, temps réel
© Lavoisier 2000-2010

> Nouvelle recherche
> Voir le panier
   
Information
> Nouveautés
> La News
> E-books
Services Client
> L'e-Doc
> Visual...Catalog 
> Ouvrir un compte client
> Commande hors catalogue
> Suivi de commande
> Confidentialité/Sécurité
> Aide
Lavoisier.fr
> Retour à la page d'accueil
> Présentation de la société
> Notre librairie à Paris
> Conditions de vente
> Sites partenaires
> Lavoisier recrute
> Message aux éditeurs
> Nous contacter

Nouveau


L'enquête déplacements villes moyennes standard Certu Guide méthodologique (Références CERTU N° 99) CD-ROM
Pour élaborer, évaluer une politique de déplacements, effectuer des comparaisons, une bonne connaissance de la mobilité est indispensable. Il faut pour cela utiliser une méthode de recueil des données harmonisée, rigoureuse et pérenne. L'enquête déplacements villes moyennes « standard Certu » constitue l'un des outils qui est essentiel à la réalisation d'études de déplacements et est adapté aux enjeux rencontrés dans les zones urbaines de taille moyenne. Sa méthode strictement encadrée et contrôlée permet d'obtenir des données objectives, fiables et comparables dans le temps et dans l'espace. Cette méthode de recueil est largement inspirée de celle de l'enquête ménages déplacements « standard Certu » et permet d'ailleurs quelques comparaisons avec ces enquêtes. Cette méthode a permis de réaliser depuis 2000 une quinzaine d'enquêtes sur des agglomérations de 40 000 à près de 180 000 habitants (dont le pôle urbain n'excédait pas 100 000 habitants) et d'assurer leur comparabilité et la fiabilité des résultats. Le respect de la méthode donne lieu à l'attribution d'une subvention de l'État.