Lorsque vous naviguez sur notre site internet, des informations sont susceptibles d'être enregistrées pour optimiser votre expérience.

PréférencesTout accepterTout refuser

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.

Caractéristiques

Auteur(s) : Roux Olivier H., Claude JARD

Publication : 16 octobre 2008

Edition : 1ère édition

Intérieur : Couleur, Noir & blanc

Support(s) : eBook [PDF], Contenu téléchargeable [PDF]

Contenu(s) : PDF

Protection(s) : Marquage social (PDF)

Taille(s) : 3,89 Mo (PDF)

Langue(s) : Français

Code(s) CLIL : 3069

EAN13 eBook [PDF] : 9782746243156

EAN13 (papier) : 9782746219427

Avis

--:-- / --:--