Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology

個数：
  • ポイントキャンペーン

Model-Based Engineering of Collaborative Embedded Systems : Extensions of the SPES Methodology

  • 提携先の海外書籍取次会社に在庫がございます。通常3週間で発送いたします。
    【重要ご説明事項】
    1. 納期遅延や、ご入手不能となる場合が若干ございます。
    2. 複数冊ご注文の場合、分割発送となる場合がございます。
    3. 美品のご指定は承りかねます。
  • 【入荷遅延について】
    世界情勢の影響により、海外からお取り寄せとなる洋書・洋古書の入荷が、表示している標準的な納期よりも遅延する場合がございます。
    おそれいりますが、あらかじめご了承くださいますようお願い申し上げます。
  • ◆画像の表紙や帯等は実物とは異なる場合があります。
  • ◆ウェブストアでの洋書販売価格は、弊社店舗等での販売価格とは異なります。
    また、洋書販売価格は、ご注文確定時点での日本円価格となります。
    ご注文確定後に、同じ洋書の販売価格が変動しても、それは反映されません。
  • 製本 Hardcover:ハードカバー版／ページ数 404 p.
  • 言語 ENG
  • 商品コード 9783030621353
  • DDC分類 006.22

Full Description

This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology.

In order to manage the high complexity of the individual systems and the dynamically formed interaction structures at runtime, advanced and powerful development methods are required that extend the current state of the art in the development of embedded systems and cyber-physical systems. The methodological contributions of the project support the effective and efficient development of CESs in dynamic and uncertain contexts, with special emphasis on the reliability and variability of individual systems and the creation of networks of such systems at runtime.

The project was funded by the German Federal Ministry of Education and Research (BMBF), and the case studies are therefore selected from areas that are highly relevant for Germany's economy (automotive, industrial production, power generation, and robotics). It also supports the digitalization of complex and transformable industrial plants in the context of the German government's "Industry 4.0" initiative, and the project results provide a solid foundation for implementing the German government's high-tech strategy "Innovations for Germany" in the coming years.

Contents

1. Use Cases.- 2. Engineering of Collaborative Embedded Systems.- 3. Architectures for Flexible Collaborative Systems.- 4. Function Modeling for Collaborative Embedded Systems.- 5. Architectures for Dynamically Coupled Systems.- 6. Modeling and Analyzing Context-Sensitive Changes during Runtime.- 7.  Handling Uncertainty in Collaborative Embedded Systems Engineering.- 8. Dynamic Safety Certification for Collaborative Embedded Systems at Runtime.- 9. Goal-Based Strategy Exploration.- 10. Creating Trust in Collaborative Embedded Systems.- 11. Language Engineering for Heterogeneous Collaborative Embedded Systems.- 12. Development and Evaluation of Collaborative Systems using Simulation.- 13. Tool Support for Co-Simulation-Based Analysis.- 14. Supporting the Creation of Digital Twins for CESs.- 15. Online Experiment-Driven Learning and Adaption.- 16. Compositional Verification using Model Checking andTheorem Proving.- 17.  Artifact-Based Analysis for the Development of Collaborative Embedded Systems.- 18. Variant and Product Line Co-Evolution.- 19. Advanced Systems Engineering.