CART

(0) items

Embedded Systems Analysis and Modeling with SysML, UML and AADL,9781848215009
This item qualifies for
FREE SHIPPING!

FREE SHIPPING OVER $59!

Your order must be $59 or more, you must select US Postal Service Shipping as your shipping preference, and the "Group my items into as few shipments as possible" option when you place your order.

Bulk sales, PO's, Marketplace Items, eBooks, Apparel, and DVDs not included.

Embedded Systems Analysis and Modeling with SysML, UML and AADL

by ; ; ;
Edition:
1st
ISBN13:

9781848215009

ISBN10:
1848215002
Format:
Hardcover
Pub. Date:
5/20/2013
Publisher(s):
Wiley-ISTE
List Price: $154.66

Rent Textbook

(Recommended)
 
Term
Due
Price
$139.19

Buy New Textbook

Currently Available, Usually Ships in 24-48 Hours
N9781848215009
$147.93

Used Textbook

We're Sorry
Sold Out

eTextbook

We're Sorry
Not Available

More New and Used
from Private Sellers
Starting at $131.63
See Prices

Questions About This Book?

Why should I rent this book?
Renting is easy, fast, and cheap! Renting from eCampus.com can save you hundreds of dollars compared to the cost of new or used books each semester. At the end of the semester, simply ship the book back to us with a free UPS shipping label! No need to worry about selling it back.
How do rental returns work?
Returning books is as easy as possible. As your rental due date approaches, we will email you several courtesy reminders. When you are ready to return, you can print a free UPS shipping label from our website at any time. Then, just return the book to your UPS driver or any staffed UPS location. You can even use the same box we shipped it in!
What version or edition is this?
This is the 1st edition with a publication date of 5/20/2013.
What is included with this book?
  • The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any CDs, lab manuals, study guides, etc.
  • The Rental copy of this book is not guaranteed to include any supplemental materials. You may receive a brand new copy, but typically, only the book itself.

Summary

Since the construction of the first embedded system in the 1960s, embedded systems have continued to spread. They provide a continually increasing number of services and are part of our daily life. The development of these systems is a difficult problem which does not yet have a global solution. Another difficulty is that systems are plunged into the real world, which is not discrete (as is generally understood in computing), but has a richness of behaviors which sometimes hinders the formulation of simplifying assumptions due to their generally autonomous nature and they must face possibly unforeseen situations (incidents, for example), or even situations that lie outside the initial design assumptions.
Embedded Systems presents the state of the art of the development of embedded systems and, in particular, concentrates on the modeling and analysis of these systems by looking at “model-driven engineering”, (MDE2): SysML, UML/MARTE and AADL. A case study (based on a pacemaker) is presented which enables the reader to observe how the different aspects of a system are addressed using the different approaches. All three systems are important in that they provide the reader with a global view of their possibilities and demonstrate the contributions of each approach in the different stages of the software lifecycle. Chapters dedicated to analyzing the specification and code generation are also presented.

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.

About the Authors

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.

Table of Contents

Preface

Chapter 1 – General Introduction

Part I – Prolegomena

Chapter 2 – Elements for the design of embedded systems

Chapter 3 – Case study: the Pacemaker

Part II – SysML

Chapter 4 – Presentation of the concepts of SysML

Chapter 5 – Modeling of the case study with SysML

Chapter 6 – Analysis of requirements

Part III – MARTE

Chapter 7 – Presentation of the concepts of MARTE

Chapter 8 – Modeling of the case study with MARTE

Chapter 9 – Analysis from the model

Chapter 10 – Deployment and code generation from the model

Part IV – AADL

Chapter 11 Presentation of the AADL concepts

Chapter 12 – Modeling of the case study with AADL

Chapter 13 – Analysis from the model

Chapter 14 – Code generation from the model



Please wait while the item is added to your cart...