Systèmes temps réel embarqués - 2e éd. - Spécification, conception, implémentation et validation tem

Auteurs : Francis Cottet , Emmanuel Grolleau , Sébastien Gérard, Jérôme Hugues, Yassine, Ouhammou, Sara Tucci-Piergiovanni. Cet ouvrage de référence sur les systèmes temps réel permet de : • Connaître et mettre en oeuvre les méthodes de spécification et de conception, • Définir et paramétrer l’environnement d’exécution des systèmes, • Réaliser une implantation multitâche basée sur un noyau temps réel, • Développer l’application en C, Ada ou Labview. Cette deuxième édition a été mise à jour en introduisant l’utilisation de SysML ( System Modeling Language ) pour la spécification fonctionnelle et du langage AADL ( Architecture Analysis and Design Language ) qui permet de passer des spécifications fonctionnelles aux architectures matérielles et logicielles. Points forts : Une méthodologie opérationnelle de développement de systèmes temps réels embarqués critiques passant à l’échelle. Des exemples tirés de l’industrie Une présentation de SysML et des IBD Une mise en oeuvre du langage AADL (Architecture analysis ans ddesign language)