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, Jerome Hugues, AgustiCanals and Alain Dohet. Part 1. General Concepts 1. Elements for the Design of Embedded Computer Systems, FabriceKordon, Jerome Hugues, Agusti Canals and AlainDohet. 2. Case Study: Pacemaker, Fabrice Kordon, Jerome 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, Loic Fejoz,Philippe Leblanc and Agusti Canals. 5. Requirements Analysis, Ludovic Apvrille and Pierre DeSaqui-Sannes. Part 3. MARTE 6. An Introduction to MARTE Concepts, Sebastien Gerardand Francois Terrier. 7. Case Study Modeling Using MARTE, Jerome Delatour andJoel 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 Sebastien Gerard. Part 4. AADL 10. Presentation of the AADL Concepts, Jerome Hugues andXavier Renault. 11. Case Study Modeling Using AADL, Etienne Borde. 12. Model-Based Analysis, Thomas Robert and JeromeHugues. 13. Model-Based Code Generation, Laurent Pautet and BechirZalila.
About the Authors
Fabrice Kordon is Professor at University Pierre and Marie Curiein 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 InstitutSuperieur de l Aeronautique 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 Systemes in Paris, France since1981. He is deputy director of the Direction de laQualite 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 DirectionGenerale 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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.