By Fabrice Kordon
Since the development of the 1st embedded approach within the Nineteen Sixties, embedded platforms have endured to unfold. they supply a constantly expanding variety of companies and are a part of our everyday life. the advance of those platforms is a tough challenge which doesn't but have an international resolution. one other hassle is that platforms are plunged into the genuine international, which isn't discrete (as is mostly understood in computing), yet has a richness of behaviors which occasionally hinders the formula of simplifying assumptions as a result of their normally self sustaining nature they usually needs to face very likely unexpected occasions (incidents, for example), or maybe occasions that lie outdoors the preliminary layout assumptions.
Embedded platforms provides the state-of-the-art of the advance of embedded structures and, specifically, concentrates at the modeling and research of those structures by way of “model-driven engineering”, (MDE2): SysML, UML/MARTE and AADL. A case examine (based on a pacemaker) is gifted which allows the reader to watch how different facets of a process are addressed utilizing the several techniques. All 3 structures are very important in that they supply the reader with an international view in their chances and reveal the contributions of every procedure within the diversified phases of the software program lifecycle. Chapters devoted to studying the specification and code iteration also are presented.
Foreword, Brian R. Larson.
Foreword, Dominique Potier.
advent, Fabrice Kordon, Jérôme Hugues, Agusti Canals and Alain Dohet.
half 1. normal Concepts
1. parts for the layout of Embedded computers, Fabrice Kordon, Jérôme Hugues, Agusti Canals and Alain Dohet.
2. Case learn: Pacemaker, Fabrice Kordon, Jérôme Hugues, Agusti Canals and Alain Dohet.
half 2. SysML
three. Presentation of SysML ideas, Jean-Michel Bruel and Pascal Roques.
four. Modeling of the Case learn utilizing SysML, Loïc Fejoz, Philippe Leblanc and Agusti Canals.
five. necessities research, Ludovic Apvrille and Pierre De Saqui-Sannes.
half three. MARTE
6. An advent to MARTE innovations, Sébastien Gérard and François Terrier.
7. Case research Modeling utilizing MARTE, Jérôme Delatour and Joël Champeau.
eight. Model-Based research, Frederic Boniol, Philippe Dhaussy, Luka Le Roux and Jean-Charles Roger.
nine. Model-Based Deployment and Code new release, Chokri Mraidha, Ansgar Radermacher and Sébastien Gérard.
half four. AADL
10. Presentation of the AADL thoughts, Jérôme Hugues and Xavier Renault.
eleven. Case examine Modeling utilizing AADL, Etienne Borde.
12. Model-Based research, Thomas Robert and Jérôme Hugues.
thirteen. Model-Based Code iteration, Laurent Pautet and Béchir Zalila.
About the Authors
Fabrice Kordon is Professor at collage Pierre and Marie Curie in Paris, France, the place he's in control of the workforce “Modélisation et vérification” of the LIP6. His study box is on the crossroads of disbursed platforms, software program engineering and formal methods.
Jérôme Hugues is lecturer-researcher on the Institut Supérieur de l’Aéronautique et de l’Espace (ISAE) in Toulouse, France and has been a member of the language standardization committee (AADL) on account that 2006. His learn fields disguise the engineering of embedded structures and the iteration of computerized code of those structures from modeling languages, integrating verification and research instruments at the version and code level.
Agusti Canals is a software program engineer and has labored at CS “Communication et Systèmes” in Paris, France due to the fact 1981. he's deputy director of the “Direction de l. a. Qualité et des Audits Technique