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年代建造第一個嵌入式系統以來，嵌入式系統一直在不斷擴散。它們提供越來越多的服務，並成為我們日常生活的一部分。這些系統的開發是一個困難的問題，目前尚未有全球解決方案。另一個困難是系統被投入到現實世界中，這個世界並不是離散的（如通常在計算中理解的那樣），而是具有豐富的行為，有時會阻礙簡化假設的制定，因為這些系統通常具有自主性，必須應對可能出現的意外情況（例如事故），甚至是超出初始設計假設的情況。
《嵌入式系統》介紹了嵌入式系統開發的最新技術，特別關注“模型驅動工程”（MDE2）：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。
