Since the construction of the first embedded system in the1960s, embedded systems have continued to spread. They provide acontinually increasing number of services and are part of our dailylife. The development of these systems is a difficult problem whichdoes not yet have a global solution. Another difficulty is thatsystems are plunged into the real world, which is not discrete (asis generally understood in computing), but has a richness ofbehaviors which sometimes hinders the formulation of simplifyingassumptions due to their generally autonomous nature and they mustface possibly unforeseen situations (incidents, for example), oreven situations that lie outside the initial designassumptions.
Embedded Systems presents the state of the art of the developmentof embedded systems and, in particular, concentrates on themodeling and analysis of these systems by looking at"model-driven engineering," (MDE2): SysML, UML/MARTEand AADL. A case study (based on a pacemaker) is presented whichenables the reader to observe how the different aspects of a systemare addressed using the different approaches. All three systems areimportant in that they provide the reader with a global view oftheir possibilities and demonstrate the contributions of eachapproach in the different stages of the software lifecycle.Chapters dedicated to analyzing the specification and codegeneration are also presented.
Foreword, Brian R. Larson.
Foreword, Dominique Potier.
Introduction, Fabrice Kordon, J r me Hugues, AgustiCanals and Alain Dohet.
Part 1. General Concepts
1. Elements for the Design of Embedded Computer Systems, FabriceKordon, J r me Hugues, Agusti Canals and AlainDohet.
2. Case Study: Pacemaker, Fabrice Kordon, J r me Hugues, Agusti Canals and Alain Dohet.
Part 2. SysML
3. Presentation of SysML Concepts, Jean-Michel Bruel and PascalRoques.
4. Modeling of the Case Study Using SysML, Lo c Fejoz, Philippe Leblanc and Agusti Canals.
5. Requirements Analysis, Ludovic Apvrille and Pierre DeSaqui-Sannes.
Part 3. MARTE
6. An Introduction to MARTE Concepts, S bastien G rardand Fran ois Terrier.
7. Case Study Modeling Using MARTE, J r me Delatour andJo l Champeau.
8. Model-Based Analysis, Frederic Boniol, Philippe Dhaussy, Luka LeRoux and Jean-Charles Roger.
9. Model-Based Deployment and Code Generation, Chokri Mraidha, Ansgar Radermacher and S bastien G rard.
Part 4. AADL
10. Presentation of the AADL Concepts, J r me Hugues andXavier Renault.
11. Case Study Modeling Using AADL, Etienne Borde.
12. Model-Based Analysis, Thomas Robert and J r meHugues.
13. Model-Based Code Generation, Laurent Pautet and B chirZalila.
About the Authors
Fabrice Kordon is Professor at University Pierre and Marie Curiein Paris, France, where he is in charge of the team"Mod lisation et v rification" of the LIP6.His research field is at the crossroads of distributed systems, software engineering and formal methods.
J r me Hugues is lecturer-researcher at the InstitutSup rieur de l'A ronautique et de l'Espace(ISAE) in Toulouse, France and has been a member of the languagestandardization committee (AADL) since 2006. His research fieldscover the engineering of embedded systems and the generation ofautomatic code of these systems from modeling languages, integrating verification and analysis tools on the model and codelevel.
Agusti Canals is a software engineer and has worked at CS"Communication et Syst mes" in Paris, France since1981. He is deputy director of the "Direction de laQualit et des Audits Techniques" (DQAT) of CS and anexpert in software engineering (certified "UMLProfessional" and "SysML Builder" by OMG).
Alain Dohet is a general armament engineer at the "DirectionG n rale pour l'Armement" (organization ofthe French Defense Minister ensuring the conduct of systemprograms), 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 criticalsoftware.