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

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

Outils de mise en œuvre industrielle des techniques formelles
Outils de mise en œuvre industrielle des techniques formelles

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

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.

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

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.

ICCWCS 2019
ICCWCS 2019

Author: Jamal Zbitou

Publisher: European Alliance for Innovation

Published: 2019

Total Pages: 564

ISBN-13: 1631901818

DOWNLOAD EBOOK

Today, computer science engineering and telecommunications are two important areas linked and even inseparable. This is obvious for the user who connects the modem of his computer on his mobile phone or telephone line to access, via the global data network, the information available on the servers. The both domains are evolving rapidly and the development of new architectures of systems dedicated to telecommunications and computing becomes essential. Especially, wireless transmission systems with high data rate. Two parts of these systems should be developed software and hardware. Another area that is renewable energies becomes more attractive for researchers in order to develop new conversion systems with good performances, and a good optimization of energy. For example, in wireless sensor systems, we try to develop new protocols permitting to have a good autonomy in terms of energy.

Systemic Design Methodologies for Electrical Energy Systems
Systemic Design Methodologies for Electrical Energy Systems

Author: Xavier Roboam

Publisher: John Wiley & Sons

Published: 2012-12-17

Total Pages: 290

ISBN-13: 1118569679

DOWNLOAD EBOOK

This book proposes systemic design methodologies applied to electrical energy systems, in particular analysis and system management, modeling and sizing tools. It includes 8 chapters: after an introduction to the systemic approach (history, basics & fundamental issues, index terms) for designing energy systems, this book presents two different graphical formalisms especially dedicated to multidisciplinary devices modeling, synthesis and analysis: Bond Graph and COG/EMR. Other systemic analysis approaches for quality and stability of systems, as well as for safety and robustness analysis tools are also proposed. One chapter is dedicated to energy management and another is focused on Monte Carlo algorithms for electrical systems and networks sizing. The aim of this book is to summarize design methodologies based in particular on a systemic viewpoint, by considering the system as a whole. These methods and tools are proposed by the most important French research laboratories, which have many scientific partnerships with other European and international research institutions. Scientists and engineers in the field of electrical engineering, especially teachers/researchers because of the focus on methodological issues, will find this book extremely useful, as will PhD and Masters students in this field.

Outils d’analyse vidéo : pour une pleine exploitation des données de la vidéoprotection
Outils d’analyse vidéo : pour une pleine exploitation des données de la vidéoprotection

Author: DUFOUR Jean-Yves

Publisher: Lavoisier

Published: 2012-10-22

Total Pages: 386

ISBN-13: 2746288907

DOWNLOAD EBOOK

L’utilisation croissante de la vidéoprotection rend nécessaire la mise en place de fonctions d’analyse vidéo pour alléger voire automatiser des tâches aujourd’hui entièrement réalisées par des opérateurs. Après avoir dressé un panorama des avancées et des perspectives en analyse d’image, cet ouvrage détaille les principales fonctions d’analyse vidéo, comme la détection, le suivi et la reconnaissance d’objets d’intérêt (personnes ou véhicules) ou les fonctions de « haut-niveau » visant à interpréter les scènes observées (évènements, comportements, nature de la scène...). Les besoins sont illustrés sous l’angle de deux applications majeures, la sécurité des transports et l’investigation. Les contraintes d’ordres juridique et éthique sont présentées, ainsi que les caractéristiques des données vidéo traitées, au travers des caméras et des méthodes de compression utilisées. La problématique de l’évaluation de performance, tant au niveau opérationnel qu’au niveau des fonctions d’analyse, est également exposée.