Model-Based Engineering of Embedded Systems: The Spes 2020 Methodology
暫譯: 嵌入式系統的模型導向工程：Spes 2020 方法論
Pohl, Klaus, Hönninger, Harald, Achatz, Reinhold
相關主題
商品描述
Embedded systems have long become essential in application areas in which human control is impossible or infeasible. The development of modern embedded systems is becoming increasingly difficult and challenging because of their overall system complexity, their tighter and cross-functional integration, the increasing requirements concerning safety and real-time behavior, and the need to reduce development and operation costs.
This book provides a comprehensive overview of the Software Platform Embedded Systems (SPES) modeling framework and demonstrates its applicability in embedded system development in various industry domains such as automation, automotive, avionics, energy, and healthcare. In SPES 2020, twenty-one partners from academia and industry have joined forces in order to develop and evaluate in different industrial domains a modeling framework that reflects the current state of the art in embedded systems engineering.
The content of this book is structured in four parts. Part I "Starting Point" discusses the status quo of embedded systems development and model-based engineering, and summarizes the key requirements faced when developing embedded systems in different application domains. Part II "The SPES Modeling Framework" describes the SPES modeling framework. Part III "Application and Evaluation of the SPES Modeling Framework" reports on the validation steps taken to ensure that the framework met the requirements discussed in Part I. Finally, Part IV "Impact of the SPES Modeling Framework" summarizes the results achieved and provides an outlook on future work.
The book is mainly aimed at professionals and practitioners who deal with the development of embedded systems on a daily basis. Researchers in academia and industry may use it as a compendium for the requirements and state-of-the-art solution concepts for embedded systems development.
商品描述(中文翻譯)
嵌入式系統在無法或不切實際進行人類控制的應用領域中已成為必不可少的部分。由於整體系統的複雜性、更加緊密和跨功能的整合、對安全性和即時行為的日益要求，以及降低開發和運營成本的需求，現代嵌入式系統的開發變得越來越困難和具挑戰性。
本書提供了軟體平台嵌入式系統（Software Platform Embedded Systems, SPES）建模框架的全面概述，並展示其在自動化、汽車、航空電子、能源和醫療等各個行業領域的嵌入式系統開發中的適用性。在SPES 2020中，來自學術界和業界的二十一個合作夥伴共同努力，開發和評估一個反映嵌入式系統工程當前技術水平的建模框架。
本書的內容分為四個部分。第一部分「起始點」討論了嵌入式系統開發和基於模型的工程的現狀，並總結了在不同應用領域開發嵌入式系統時面臨的主要要求。第二部分「SPES建模框架」描述了SPES建模框架。第三部分「SPES建模框架的應用與評估」報告了為確保該框架滿足第一部分中討論的要求而採取的驗證步驟。最後，第四部分「SPES建模框架的影響」總結了所取得的成果並提供了未來工作的展望。
本書主要針對每天處理嵌入式系統開發的專業人士和從業者。學術界和業界的研究人員可以將其作為嵌入式系統開發的要求和最先進解決方案概念的彙編。
作者簡介
Klaus Pohl is full professor for Software Systems Engineering at the Institute of Computer Science and Business Computing of the University of Duisburg-Essen in Germany, and director of paluno - The Ruhr Institute for Software Technology. He was scientific founding director of Lero, the Irish Software Engineering Institute, served as coordinator of the FP7 Network of Excellence S-Cube (Software Services and Systems Network) and is member of several steering committees and boards of directors including the European Technology Platform NESSI (Networked European Software and Services Initiative) and the German Innovation Alliance SPES 2020.
Harald Hönninger is Vice President of Advance Engineering for Software-Intensive Systems at Corporate Research and Advanced Development with Robert Bosch GmbH. In his position, he is responsible for the pre-development of software-intensive systems and for corporate-wide software-, hardware- and systems engineering methods.
Reinhold Achatz recently joined ThyssenKrupp, where he leads the Corporate Center Technology, Innovation & Quality. Before he was Corporate Vice President of Siemens AG and head of Corporate Research and Technologies as well as the Corporate Development Center. He has been honored as a "Siemens Top Innovator" for his outstanding innovations in software-based components for set-up, operations and execution accuracy of machine tools.
Manfred Broy is full professor for Software and Systems Engineering at the Institute for Computer Science of the Technical University of Munich. Among other awards, he received the Leibniz Preis, the highest scientific award of the Federal Republic of Germany, the Order of Merit of the Federal Republic of Germany and the Konrad-Zuse-Medal for extraordinary services in Computer Science. Manfred Broy is a Max-Planck-Fellow, member of the German Academy of Science and Engineering and member of the German National Academy of the Sciences "Leopoldina".作者簡介(中文翻譯)
Klaus Pohl 是德國杜伊斯堡-埃森大學計算機科學與商業計算研究所的軟體系統工程全職教授，也是 paluno - 盧爾大學軟體技術研究所的主任。他曾擔任愛爾蘭軟體工程研究所 Lero 的科學創始主任，並擔任 FP7 卓越網絡 S-Cube（軟體服務與系統網絡）的協調員，還是多個指導委員會和董事會的成員，包括歐洲技術平台 NESSI（網絡歐洲軟體與服務倡議）和德國創新聯盟 SPES 2020。
Harald Hönninger 是羅伯特·博世有限公司（Robert Bosch GmbH）軟體密集系統的高級工程副總裁。在他的職位上，他負責軟體密集系統的前期開發，以及公司範圍內的軟體、硬體和系統工程方法。
Reinhold Achatz 最近加入了蒂森克虜伯（ThyssenKrupp），在那裡他領導企業中心技術、創新與品質。在此之前，他曾擔任西門子股份公司（Siemens AG）的企業副總裁，負責企業研究與技術以及企業發展中心。他因在機械工具的設置、操作和執行精度方面的軟體基礎元件的卓越創新而被評為「西門子頂尖創新者」。
Manfred Broy 是慕尼黑工業大學計算機科學研究所的軟體與系統工程全職教授。他曾獲得多項獎項，包括德國聯邦共和國最高科學獎 Leibniz Preis、德國聯邦共和國功勳勳章以及因在計算機科學領域的卓越貢獻而獲得的 Konrad-Zuse 獎章。Manfred Broy 是馬克斯·普朗克研究所的研究員，德國科學與工程院的成員，以及德國國家科學院「Leopoldina」的成員。
