Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems (Paperback)

Bran Selic, Sebastien Gerard

  • 出版商: Morgan Kaufmann
  • 出版日期: 2013-10-25
  • 定價: $2,100
  • 售價: 8.5$1,785
  • 語言: 英文
  • 頁數: 314
  • 裝訂: Paperback
  • ISBN: 0124166199
  • ISBN-13: 9780124166196
  • 相關分類: 嵌入式系統UML
  • 立即出貨 (庫存 < 4)


Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE explains how to apply the complex MARTE standard in practical situations. This approachable reference provides a handy user guide, illustrating with numerous examples how you can use MARTE to design and develop real-time and embedded systems and software.

Expert co-authors Bran Selic and Sébastien Gérard lead the team that drafted and maintain the standard and give you the tools you need apply MARTE to overcome the limitations of cyber-physical systems. The functional sophistication required of modern cyber-physical systems has reached a point where traditional code-centric development methods are proving less and less capable of delivering a reliable product in a timely manner. In Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE, you will learn how to take advantage of modern model-based engineering methods and corresponding industry standards to overcome these limitations. These methods take full advantage of computer-supported automation allowing timely detection of design flaws to reduce engineering risk, leading thereby to better overall product quality and greater productivity.

  • Understand the design rationale behind the MARTE standard needed to take full advantage of its many powerful modeling capabilities
  • Best apply the various MARTE features for the most common use cases encountered in the design of real-time and embedded software
  • Learn how MARTE can be used together with the SysML language for the design of complex cyber-physical systems
  • Discover how MARTE can be used for different kinds of computer-supported engineering analyses to predict key system characteristics early in development
  • Customize MARTE for a specific domain or project



專家合著者Bran Selic和Sébastien Gérard領導了起草和維護該標準的團隊,並為您提供了應用MARTE所需的工具,以克服物理系統的限制。現代物理系統所需的功能複雜性已經達到一個點,傳統的以代碼為中心的開發方法越來越難以及時交付可靠的產品。在《使用UML和MARTE建模和分析實時和嵌入式系統》中,您將學習如何利用現代基於模型的工程方法和相應的行業標準來克服這些限制。這些方法充分利用計算機支持的自動化,可以及時檢測設計缺陷,降低工程風險,從而提高整體產品質量和生產力。

  • 了解MARTE標準背後的設計原理,以充分利用其強大的建模能力

  • 最佳應用各種MARTE功能,以應對實時和嵌入式軟件設計中遇到的最常見用例

  • 了解如何將MARTE與SysML語言一起用於複雜物理系統的設計

  • 發現如何使用MARTE進行不同類型的計算機支持工程分析,以在開發早期預測關鍵系統特性

  • 為特定領域或項目自定義MARTE