Embedded Systems: Analysis and Modeling with SysML, UML and AADL
- ISBN-10
- 1118569717
- ISBN-13
- 9781118569719
- Series
- Embedded Systems
- Category
- Technology & Engineering
- Pages
- 320
- Language
- English
- Published
- 2013-05-06
- Publisher
- John Wiley & Sons
- Authors
- Jérôme Hugues, Fabrice Kordon, Agusti Canals
Description
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.
Get the book
Other editions
-
- 2015-11-03
- 592 pages
- Paperback
- Createspace Independent Publishing Platform
Similar books
-
Animal Sciences: The Biology, Care, and Production of Domestic Animals, Fourth Edition
By John R. Campbell, M. Douglas Kenealy, Karen L. CampbellTimberlake claimed in 1980 that a fundamental problem with Singer's work is the lack of an adequate definition of suffering ...
-
Resilient Agriculture: Cultivating Food Systems for a Changing Climate
By Laura Lengnick3. D. Layne. 2013. Tree Fruit: Protecting Your Investment. American/Western Fruit Grower, September/October. 4. R. Snyder and J. Melu-Abreu. 2005. Frost ...
-
Biodesign: The Process of Innovating Medical Technologies
By Stefanos Zenios, Josh Makower, Paul YockAt that time, these were in the low $10s of millions. ... be a good partner going forward, even though it takes longer to get the deal done," offered Chess.
-
Advanced Signal Processing: A Concise Guide
By Amir-Homayoon Najmi, Todd Moon[ 59 ] S. Kotz , T. J. Kozubowski , and K. Podgorski , The Laplace ... valued signal processing : The proper way to deal with impropriety , ” IEEE Trans .
-
Resources for Technical Communication
By Pearson Education, Pearson Education Staff, David P Pearson EducationSome documents are annotated; some are left without annotations to provide more flexibility for instructors. This booklet can be packaged at no additional cost with any Longman title in technical communication.
-
Chemistry: An Introduction to General, Organic, and Biological Chemistry; Chemistry Study Pack Version 2.0 CD-ROM; The Chemistry of Life CD-ROM;...
By Karen C. TimberlakeChemistry: An Introduction to General, Organic, and Biological Chemistry; Chemistry Study Pack Version 2.0 CD-ROM; The Chemistry of Life CD-ROM;...
-
Poultry Science: Fifth Edition
By Colin G. Scanes, Karen D. ChristensenThe emission rates for ammonia (Casey et al., 2006): • Layers: 116 g NH3 per AU (AU or animal unit or 500 kg). • Broilers: 135 g NH3 per AU (AU or animal unit or 500 kg). Emission rates in different reports vary from less than either 10 ...
-
Solid State Materials Chemistry
By Patrick M. Woodward, Pavel Karen, John S. O. Evans[45] B.F. Hoskins, R. Robson, “Design and construction of a new class of scaffolding-like materials comprising infinite polymeric frameworks of 3D-linked molecular rods. A reappraisal of the zinc cyanide and cadmium cyanide structures ...
-
Abbreviations Dictionary
By Dean A. Stahl, Karen Landen... Tallest Mountain Mount Robson—12,972 feet or 3,954 meters—in the Canadian Rockies Canada's Westernmost City Dawson, Yukon Canada's Westernmost Point in Yukon Territory just east of Alaska's Demarcation Point Canary Islands' Largest ...
-
Agriculture: A Very Short Introduction
By Paul Brassley, Richard SoffeACCOUNTING Christopher Nobes ADVERTISING Winston Fletcher AFRICAN AMERICAN RELIGION Eddie S. Glaude Jr AFRICAN HISTORY ... Hugh Bowden ALGEBRA Peter M. Higgins AMERICAN HISTORY Paul S. Boyer AMERICAN IMMIGRATION David A. Gerber AMERICAN ...