Embedded Systems: Analysis and Modeling with SysML, UML and AADL (Hardcover)
暫譯: 嵌入式系統：使用SysML、UML和AADL的分析與建模（精裝版）
Fabrice Kordon, J?r?me Hugues, Agusti Canals, Alain Dohet
商品描述
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.
商品描述(中文翻譯)
自1960年代第一個嵌入式系統建構以來，嵌入式系統持續擴展。它們提供越來越多的服務，並成為我們日常生活的一部分。這些系統的開發是一個困難的問題，目前尚未有全球性的解決方案。另一個困難在於，系統被置於現實世界中，這個世界並不是離散的（如計算中一般理解的那樣），而是擁有豐富的行為，這有時會因其一般自主的特性而妨礙簡化假設的形成，並且必須面對可能未預見的情況（例如事件），甚至是超出初始設計假設的情況。
《嵌入式系統》展示了嵌入式系統開發的最新技術，特別集中於通過“模型驅動工程”（Model-Driven Engineering, MDE）來建模和分析這些系統，包括SysML、UML/MARTE和AADL。書中提供了一個基於心臟起搏器的案例研究，使讀者能夠觀察如何使用不同的方法來解決系統的不同方面。這三個系統都很重要，因為它們為讀者提供了對其可能性的全局視角，並展示了每種方法在軟體生命週期不同階段的貢獻。還有專門分析規範和代碼生成的章節。
內容：
前言，Brian R. Larson。
前言，Dominique Potier。
導言，Fabrice Kordon、Jérôme Hugues、Agusti Canals 和 Alain Dohet。
第一部分：一般概念
1. 嵌入式計算機系統設計要素，Fabrice Kordon、Jérôme Hugues、Agusti Canals 和 Alain Dohet。
2. 案例研究：心臟起搏器，Fabrice Kordon、Jérôme Hugues、Agusti Canals 和 Alain Dohet。
第二部分：SysML
3. SysML 概念介紹，Jean-Michel Bruel 和 Pascal Roques。
4. 使用 SysML 進行案例研究建模，Loïc Fejoz、Philippe Leblanc 和 Agusti Canals。
5. 需求分析，Ludovic Apvrille 和 Pierre De Saqui-Sannes。
第三部分：MARTE
6. MARTE 概念介紹，Sébastien Gérard 和 François Terrier。
7. 使用 MARTE 進行案例研究建模，Jérôme Delatour 和 Joël Champeau。
8. 基於模型的分析，Frederic Boniol、Philippe Dhaussy、Luka Le Roux 和 Jean-Charles Roger。
9. 基於模型的部署和代碼生成，Chokri Mraidha、Ansgar Radermacher 和 Sébastien Gérard。
第四部分：AADL
10. AADL 概念介紹，Jérôme Hugues 和 Xavier Renault。
11. 使用 AADL 進行案例研究建模，Etienne Borde。
12. 基於模型的分析，Thomas Robert 和 Jérôme Hugues。
13. 基於模型的代碼生成，Laurent Pautet 和 Béchir Zalila。
