Modélisation et analyse de systèmes embarqués

Modélisation et analyse de systèmes embarqués PDF

Author: KORDON Fabrice

Publisher: Lavoisier

Published: 2013-04-01

Total Pages: 322

ISBN-13: 2746289008

DOWNLOAD EBOOK →

Les systèmes embarqués rendent un nombre de services grandissant et font partie de notre vie quotidienne : ascenseurs, transports, téléphonie, médecine, énergie, industrie, etc. Ainsi, si l’on parle de plus en plus de systèmes embarqués, il s’agit avant tout d’un ensemble complet et intégré (matériel + logiciel). Le point central de leur développement est leur interaction avec leur environnement et les conséquences associées en termes de sécurité et de fiabilité. Cet ouvrage dresse un état de l’art du développement des systèmes embarqués. Il se concentre particulièrement sur leur modélisation et leur analyse. Il s’agit d’opérations cruciales qui détermineront la fiabilité du futur système. L’apparition récente des techniques basées sur l’ingénierie des modèles pourrait révolutionner le développement de ces systèmes en assurant une continuité entre le niveau conceptuel et l’implémentation de la partie logicielle. L’ouvrage expose trois approches parmi les plus utilisées : SysML (aspects ingénierie système), UML/MARTE et AADL (conception/analyse).

Modélisation et analyse de systèmes embarqués

Modélisation et analyse de systèmes embarqués PDF

Author: Smain Femmam

Publisher: ISTE Group

Published: 2017-10-01

Total Pages: 338

ISBN-13: 1784052736

DOWNLOAD EBOOK →

L'étude des propriétés caractéristiques de signaux et systèmes, et la connaissance des outils mathématiques et des méthodes de traitement et analyse, prennent de l'importance et ne cessent d'évoluer. La raison en est que l'état actuel de la technique, particulièrement de l'électronique et de l'informatique, rend possible la réalisation de systèmes de traitement très avancés, efficaces et de moins en moins coûteux en dépit de la complexité. Modélisation et analyse de systèmes embarqués fait suite au premier volume et traite des signaux et des systèmes déterministes, linéaires, invariants dans le temps, de dimensions finies et causales. Un ensemble d'outils pratiques est défini pour l'automatique et le traitement du signal, ainsi que pour la présentation et l’analyse comportementale des méthodes de représentation des systèmes linéaires dynamiques. Cet ouvrage aborde également l'identification et la synthèse de lois de commandes dans le but de la stabilisation et de la régulation. Une application à l’assistance à domicile à l’aide du robot NAO y est détaillée.

Les systèmes mécatroniques embarqués 2

Les systèmes mécatroniques embarqués 2 PDF

Author: Abdelkhalak El Hami

Publisher: ISTE Group

Published: 2020-02-01

Total Pages: 272

ISBN-13: 1784056472

DOWNLOAD EBOOK →

La mécatronique associe l’informatique, la mécanique et l’électronique. Elle améliore les performances des systèmes électroniques embarqués en réduisant leurs poids, leurs volumes, leurs consommations d’énergie et leurs coûts. Les systèmes mécatroniques embarqués 2 expose les avancées de la recherche et de l’industrie appliquées aux domaines des systèmes mécatroniques qui intègrent la fiabilité dans le processus de conception. Accompagné d’exemples détaillés, cet ouvrage développe une méthodologie de caractérisation des défauts des systèmes mécatroniques. Il analyse la modélisation multiphysique des défauts, révélant les faiblesses de conception et les mécanismes de défaillance. Il présente également l’élaboration de métamodèles permettant de simuler les effets sur la fiabilité des conditions d’emploi et de fabrication. Cette deuxième édition revue et augmentée contient une révision du chapitre sur le développement des métamodèles. Deux nouveaux chapitres ont été ajoutés : l’un sur l’étude probabiliste et l’optimisation de la brasure, et l’autre sur une analyse de la fiabilité basée sur les métamodèles des boîtiers à échelle de puce.

Outils de mise en œuvre industrielle des techniques formelles

Outils de mise en œuvre industrielle des techniques formelles PDF

Author: BOULANGER Jean-Louis

Publisher: Lavoisier

Published: 2012-04-16

Total Pages: 402

ISBN-13: 274628801X

DOWNLOAD EBOOK →

Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants. Différents domaines tels les systèmes de transport, la production d'énergie ou la santé prennent en compte l'implémentation de ces méthodes pour satisfaire les exigences de sécurité élevées des systèmes critiques. Leur mise en œuvre dans le cadre d'une application industrielle (application de grande taille, contrainte de coût et de délais, etc.) ne peut se faire que par l'emploi d'outils suffisamment matures et performants. Cet ouvrage collectif présente des exemples concrets d'utilisation des techniques formelles comme la méthode B, SCADE, MaTeLo, ControlBuild, SparkAda et POLYSPACE et des techniques de vérification associées. Il en identifie aussi les avantages et les difficultés.

Conception systémique pour la conversion d’énergie électrique 1 : gestion, analyse et synthèse

Conception systémique pour la conversion d’énergie électrique 1 : gestion, analyse et synthèse PDF

Author: ROBOAM Xavier

Publisher: Lavoisier

Published: 2012-11-06

Total Pages: 434

ISBN-13: 2746281929

DOWNLOAD EBOOK →

Le contexte actuel mène les concepteurs vers des systèmes toujours plus complexes et performants, intégrant un grand nombre d’éléments souvent fortement couplés et appartenant à divers champs de la physique énergétique. Après une présentation de l’approche systémique de conception, ce premier volume rassemble les points-clés permettant de modéliser et de caractériser efficacement des systèmes multiphysiques (formalismes graphiques, Bond Graphs, GIC/REM), d’analyser la qualité et la stabilité des réseaux et de contribuer à la robustesse en conception intégrée. La gestion de l’énergie des systèmes énergétiques hybrides incluant du stockage est également largement détaillée et différentes méthodes statistiques permettant de dimensionner les réseaux ou de caractériser leur sûreté de fonctionnement sont proposées (par exemple, la méthode de Monte-Carlo). Les techniques d’analyse, de synthèse et de gestion présentées dans cet ouvrage participent à l’optimisation des systèmes énergétiques. Elles sont complétées par des approches spécifiquement orientées vers la conception par optimisation, objets du second volume.

Les systèmes mécatroniques embarqués 1

Les systèmes mécatroniques embarqués 1 PDF

Author: Abdelkhalak El Hami

Publisher: ISTE Group

Published: 2020-02-01

Total Pages: 256

ISBN-13: 1784056464

DOWNLOAD EBOOK →

La mécatronique associe l’informatique, la mécanique et l’électronique. Elle améliore les performances des systèmes électroniques embarqués en réduisant leurs poids, leurs volumes, leurs consommations d’énergie et leurs coûts. Les systèmes mécatroniques embarqués 1 présente deux méthodologies : l’approche statistique d’optimisation de la conception par la fiabilité et l’approche expérimentale pour la caractérisation de l’évolution des systèmes mécatroniques en mode de fonctionnement. Il examine également les nouveaux outils d’analyse des effets des contraintes d’origine thermique, vibratoire, humide, électrique et électromagnétique. Cette deuxième édition augmentée et révisée contient un nouveau chapitre qui introduit l’algorithme BSAMO, un algorithme d’optimisation multiobjectif qui permet de résoudre les problèmes d’interaction fluide-structure. Des tests pratiques et des comparaisons avec des algorithmes bien connus démontrent comment BSAMO répond efficacement à des problèmes multiphysiques dans le monde réel.

UML 2000 - The Unified Modeling Language: Advancing the Standard

UML 2000 - The Unified Modeling Language: Advancing the Standard PDF

Author: Andy Evans

Publisher: Springer

Published: 2003-06-29

Total Pages: 586

ISBN-13: 3540400117

DOWNLOAD EBOOK →

This book constitutes the refereed proceedings of the Third International Conference on the Unified Modeling Language, 2000, held in York, UK in October 2000. The 36 revised full papers presented together with two invited papers and three panel outlines were carefully reviewed and selected from 102 abstracts and 82 papers submitted. The book offers topical sections on use cases, enterprise applications, applications, roles, OCL tools, meta-modeling, behavioral modeling, methodology, actions and constraints, patterns, architecture, and state charts.

Conception orientée modèle de logiciels embarqués

Conception orientée modèle de logiciels embarqués PDF

Author: Jean-Aimé Maxa

Publisher: ISTE Group

Published: 2018-03-01

Total Pages: 172

ISBN-13: 1784054453

DOWNLOAD EBOOK →

Cet ouvrage décrit l’utilisation des principes de « conception orientée modèle » dans le domaine aéronautique, et plus spécifiquement pour les drones civils (UAV : Unmanned Aerial Vehicle). Il concerne la création d’un système embarqué qui permet aux drones de réaliser une communication ad hoc au sein d’une flotte de drones. Conception orientée modèle de logiciels embarquésdéveloppe une méthodologie originale pour le prototypage rapide dont les différents outils nécessaires à sa mise en oeuvre sont présentés à travers un exemple de développement de système embarqué afin de permettre aux lecteurs intéressés de mettre en oeuvre cette approche. Les avantages de cette méthode sont défendus notamment en matière de gain de temps pour les phases de vérification et de validation formelle pour contribuer à la certification du système UAS (Unmanned Aerial System), l’enjeu étant de concevoir, valider et tester un nouveau protocole de routage sécurisé développé pour le contexte des communications au sein d'UAV.

Lanterna Rally - Theme by Grace Themes