Découvrez 6 romans délicieusement horrifiques et tentez de les gagner...
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.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Dernière réaction par Yannis Fardeau il y a 18 heures
Dernière réaction par RC de la Cluzze il y a 1 jour
Découvrez 6 romans délicieusement horrifiques et tentez de les gagner...
Alice a quatorze ans quand elle est hospitalisée : un premier roman foudroyant
Yeong-ju est l’heureuse propriétaire d’une nouvelle librairie, située dans un quartier résidentiel de Séoul...
Un moment privilégié avec l’auteur de la bande dessinée "Azur Asphalte" : attention, places limitées !