En analysant des systèmes simples et concrets, cet ouvrage présente tous les concepts nécessaires à la compréhension des systèmes embarqués : programmation séquentielle, interruptions matérielles, programmation cyclique, programmation multitâche, langages de spécification et modélisation, langages spécifiques de domaine, implémentation sur exécutif temps réel et validation temporelle. La première partie part d'un exemple simple de système pour introduire les concepts et les méthodes, et la seconde propose des études de cas concrets avant de s'attacher aux apports de l'ingénierie dirigée par les modèles.

Introduction aux systèmes embarqués temps réel - Conception et mise en oeuvre

Cet ouvrage de référence sur les systèmes temps réel permet de :. Connaître et me re en oeuvre les méthodes de spécifi cation et de conception, . Défi nir 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écifi cation fonctionnelle et du langage AADL (Architecture Analysis and Design Language) qui permet de passer des spécifi cations fonctionnelles aux architectures matérielles et logicielles.

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

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

Cet ouvrage présente une méthodologie complète et opérationnelle de développement des systèmes temps réel de contrôle-commande. Il permet au lecteur 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 l'implémentation multitâche basée sur un noyau temps réel ; - développer l'application en C, Ada ou LabVIEWTM. L'ouvrage fait également le point sur les dernières avancées dans le domaine des systèmes temps réel multitâches. De nombreux exemples industriels sont traités, permettant de comprendre puis de mettre en oeuvre les principes de cette méthodologie de développement. Ce livre s'adresse à tous les ingénieurs ou techniciens concepteurs d'applications temps réel de contrôle-commande de procédés industriels. Il est également destiné aux étudiants en informatique industrielle.

Livres