Embedded Systems: Analysis And Modeling With Sysml, Uml And Aadl

Editors Kordon, Hugues, Canals, and Dohet present readers with an examination of the development, modeling, and analysis of embedded systems. The editors have organized thirteen chapters that make up the bulk of their text in four parts, covering general concepts in the development of embedded systems, SysML, MARTE, and AADL. Fabrice Kordon is a faculty member of University Pierre and Marie Curie, France. J<’e>rome Hugues is a faculty member of the Institut Sup<’e>rier de l’A<’e>ronautique et de l’Espace, France. Agusti Canals is a software engineer. Alain Dohet is an employee of the French Defense Ministry. Annotation c2015 Ringgold, Inc., Portland, OR (protoview.com)

Fabrice Kordon is Professor at University Pierre and Marie Curie in Paris, France, where he is in charge of the team "Modelisation et verification" of the LIP6. His research field is at the crossroads of distributed systems, software engineering and formal methods.

Jerome Hugues is lecturer-researcher at the Institut Superieur de l’Aeronautique et de l'Espace (ISAE) in Toulouse, France and has been a member of the language standardization committee (AADL) since 2006. His research fields cover the engineering of embedded systems and the generation of automatic code of these systems from modeling languages, integrating verification and analysis tools on the model and code level.

Agusti Canals is a software engineer and has worked at CS "Communication et Systemes" in Paris, France since 1981. He is deputy director of the "Direction de la Qualite et des Audits Techniques" (DQAT) of CS and an expert in software engineering (certified "UML Professional" and "SysML Builder" by OMG).

Alain Dohet is a general armament engineer at the "Direction Generale pour l'Armement" (organization of the French Defense Minister ensuring the conduct of system programs), where he is in charge of guiding activities, skills, methods and tools in the fields of systems of systems (SoS), systems engineering, analysis for certification purposes, operational safety of embedded computing systems and critical software.