ISBN-10:
1848215002
ISBN-13:
9781848215009
Pub. Date:
05/06/2013
Publisher:
Wiley
Embedded Systems: Analysis and Modeling with SysML, UML and AADL / Edition 1

Embedded Systems: Analysis and Modeling with SysML, UML and AADL / Edition 1

Current price is , Original price is $155.0. You

Temporarily Out of Stock Online

Please check back later for updated availability.

Product Details

ISBN-13: 9781848215009
Publisher: Wiley
Publication date: 05/06/2013
Series: ISTE Series
Pages: 320
Product dimensions: 6.10(w) x 9.30(h) x 0.90(d)

About the Author

Fabrice Kordon is Professor at University Pierre and Marie Curie in 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 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) 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 Systèmes" in Paris, France since 1981. He is deputy director of the "Direction de la Qualité 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 Générale 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.

Read an Excerpt

Click to read or download

Table of Contents

Foreword, Brian R. Larson.

Foreword, Dominique Potier.

Introduction, Fabrice Kordon, Jérôme Hugues, Agusti Canals and Alain Dohet.

Part 1. General Concepts

1. Elements for the Design of Embedded Computer Systems, Fabrice Kordon, Jérôme Hugues, Agusti Canals and Alain Dohet.

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 Pascal Roques.

4. Modeling of the Case Study Using SysML, Loïc Fejoz, Philippe Leblanc and Agusti Canals.

5. Requirements Analysis, Ludovic Apvrille and Pierre De Saqui-Sannes.

Part 3. MARTE

6. An Introduction to MARTE Concepts, Sébastien Gérard and François Terrier.

7. Case Study Modeling Using MARTE, Jérôme Delatour and Joël Champeau.

8. Model-Based Analysis, Frederic Boniol, Philippe Dhaussy, Luka Le Roux 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 and Xavier Renault.

11. Case Study Modeling Using AADL, Etienne Borde.

12. Model-Based Analysis, Thomas Robert and Jérôme Hugues.

13. Model-Based Code Generation, Laurent Pautet and Béchir Zalila.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews