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

Systèmes temps réel embarqués - Spécification, conception, implémentation et validation temporelle

Lorsque John Lord revient à New York, la Grande Guerre vient de s'achever, avec son cortège d'horreurs et de vies brisées. Il ne semble pas s'y être senti en terre étrangère. S'il est revenu, c'est pour le professeur Winkley, parti, lui, sauvagement assassiné. Le service des UPI serait-il donc définitivement condamné à l'oubli, cette fois ? Clara Summers est peut-être la solution, elle qui fût le problème. Avec elle, il peut poursuivre la quête de Winkley : comprendre le genre humain dans ce qu'il a de plus extrême. Une quête dangereuse s'il en est, mais une nouvelle fois, John Lord est prêt à plonger au fond de ces ténèbres.

Livres