Model-Based Engineering of Collaborative Embedded Systems: Extensions of the Spes Methodology
暫譯: 基於模型的協作嵌入式系統工程：Spes 方法論的擴展
Böhm, Wolfgang, Broy, Manfred, Klein, Cornel
相關主題
商品描述
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.
商品描述(中文翻譯)
這本開放存取的書籍展示了「協作嵌入式系統」（Collaborative Embedded Systems, CrESt）專案的成果，旨在調整和補充基於SPES開發方法論的建模技術，以應對協作嵌入式系統（CESs）動態結構所帶來的挑戰。
為了管理個別系統的高複雜性以及在執行時動態形成的互動結構，需要先進且強大的開發方法，這些方法擴展了嵌入式系統和網路物理系統開發的現有技術水平。該專案的方法論貢獻支持在動態和不確定的環境中有效且高效地開發CESs，特別強調個別系統的可靠性和變異性，以及在執行時創建這些系統的網路。
該專案由德國聯邦教育與研究部（BMBF）資助，因此案例研究選自對德國經濟高度相關的領域（汽車、工業生產、發電和機器人技術）。它還支持在德國政府「工業4.0」倡議的背景下，對複雜和可轉型工業廠房的數位化，並且專案成果為未來幾年實施德國政府的高科技策略「德國的創新」提供了堅實的基礎。
作者簡介
Wolfgang Böhm works at the Chair of Software and Systems Engineering at the Technical University of Munich since 2010. During this time, he was in charge of several research projects, among them the SPES projects SPES2020, SPES_XT, and CrESt. Prior to this appointment, he had worked as a System Software Engineer for the Private Networks Division of Siemens AG.
Manfred Broy is full professor for Computer Science at the Institute for Computer Science of the Technical University of Munich. The core topic of his research is the development of complex software systems based on a solid scientific foundation, by means of well-elaborated processes, durable and flexible software architectures, and modern tools on the basis of mathematical and logical methods. He was awarded the Leibniz Preis in 1994 and bestowed the Order of Merit (Bundesverdienstkreuz) in 1996, and received the Konrad-Zuse-Medal for extraordinary services in Computer Science in 2007. Manfred Broy is a Max-Planck-Fellow, member of the German Academy of Science and Engineering and the German National Academy of the Sciences "Leopoldina".
Cornel Klein is Research Program Manager within the Technology Field "Software and Systems Innovation" of Siemens Corporate Technology in Munich. He is currently leading a corporate research program on validation and engineering of intelligent and autonomous systems. Starting his career 1998 at Siemens Public Networks, he held several management and expert positions within the company and also represented Siemens in external partnerships like ITEA, ARTEMIS/ECSEL and SPES. He has gained an extensive knowledge in communications, cyber-physical and embedded systems, software- and systems engineering as well as in application domains like automotive, mobility and smart cities/smart buildings.
Klaus Pohl is full professor for Software Systems Engineering at the University of Duisburg-Essen in Germany, as well as professor at the University of Limerick, Ireland. He is founding director of the Irish Software Engineering Research Centre Lero. His main research interests comprise Requirements Engineering, Service-Based Systems Engineering, Software Quality Assurance as well as Software Product Line Engineering. He is coordinator of the FP7 Network of Excellence S-Cube and member of a number of steering committees and boards of directors.
Bernhard Rumpe is full professor for Software Engineering at the RWTH Aachen University, Germany. Earlier he held positions at INRIA/IRISA, Rennes, Colorado State University, TU Braunschweig, Vanderbilt University, Nashville, and TU Munich. His main interests are rigorous and practical software and system development methods based on adequate modeling techniques, including their applications in areas like e.g. autonomous cars, human brain simulation, energy management, juristic contract digitalization, production automation, and cloud infrastructures. He is co-founder of SoSyM the Models conference series, the Aachen Center for Systems Engineering and several Start-Ups.
Sebastian Schröck is working as senior expert and project manager at Corporate Sector Research and Advance Engineering of the Bosch Group. After studying Mechanical Engineering in Germany and Finland, he received a doctorate in engineering from the Helmut-Schmidt-University in Hamburg. His current fields of work are versatile production systems as well as national and international publicly funded projects. Furthermore, he is working as an independent expert for the European Commission.
作者簡介(中文翻譯)
沃爾夫岡·博姆自2010年以來在慕尼黑工業大學的軟體與系統工程系工作。在此期間，他負責了幾個研究專案，其中包括SPES專案SPES2020、SPES_XT和CrESt。在此任職之前，他曾在西門子股份公司私人網路部門擔任系統軟體工程師。
曼弗雷德·布羅伊是慕尼黑工業大學計算機科學研究所的計算機科學全職教授。他的研究核心主題是基於堅實的科學基礎，通過精心設計的流程、耐用且靈活的軟體架構以及基於數學和邏輯方法的現代工具來開發複雜的軟體系統。他於1994年獲得萊布尼茨獎，1996年獲頒功績勳章（Bundesverdienstkreuz），並於2007年因在計算機科學領域的卓越貢獻獲得康拉德·祖斯獎章。曼弗雷德·布羅伊是馬克斯·普朗克研究所的研究員，並且是德國科學與工程院和德國國家科學院「萊奧波迪納」的成員。
科內爾·克萊因是西門子企業技術部門「軟體與系統創新」技術領域的研究計畫經理。他目前負責一個關於智能和自主系統的驗證與工程的企業研究計畫。自1998年在西門子公共網路開始職業生涯以來，他在公司內擔任過多個管理和專家職位，並且在ITEA、ARTEMIS/ECSEL和SPES等外部合作夥伴中代表西門子。他在通訊、網路物理系統和嵌入式系統、軟體與系統工程以及汽車、移動性和智慧城市/智慧建築等應用領域積累了豐富的知識。
克勞斯·波爾是德國杜伊斯堡-埃森大學的軟體系統工程全職教授，同時也是愛爾蘭利默里克大學的教授。他是愛爾蘭軟體工程研究中心Lero的創始主任。他的主要研究興趣包括需求工程、基於服務的系統工程、軟體質量保證以及軟體產品線工程。他是FP7卓越網絡S-Cube的協調者，並且是多個指導委員會和董事會的成員。
伯恩哈德·魯姆佩是德國亞琛工業大學的軟體工程全職教授。之前他曾在法國的INRIA/IRISA、科羅拉多州立大學、布倫瑞克工業大學、納什維爾的范德比爾特大學和慕尼黑工業大學任職。他的主要興趣是基於適當建模技術的嚴謹和實用的軟體及系統開發方法，包括其在自動駕駛汽車、人腦模擬、能源管理、法律合約數位化、生產自動化和雲基礎設施等領域的應用。他是SoSyM模型會議系列、亞琛系統工程中心和幾個初創公司的共同創辦人。
塞巴斯蒂安·施羅克在博世集團的企業部門研究與先進工程擔任高級專家和專案經理。在德國和芬蘭學習機械工程後，他在漢堡的赫爾穆特·施密特大學獲得工程博士學位。他目前的工作領域包括多功能生產系統以及國內和國際的公共資助專案。此外，他還擔任歐洲委員會的獨立專家。
