Software Engineering for Robotics
暫譯: 機器人軟體工程

Cavalcanti, Ana, Dongol, Brijesh, Hierons, Rob

Software Engineering for Robotics
  • 出版商: Springer
  • 出版日期: 2021-07-06
  • 售價: $5,220
  • 貴賓價: 9.5 折 $4,959
  • 語言: 英文
  • 頁數: 483
  • 裝訂: Hardcover - also called cloth, retail trade, or trade
  • ISBN: 3030664937
  • ISBN-13: 9783030664930
  • 相關分類: 機器人製作 Robots、軟體工程

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

The topics covered in this book range from modeling and programming languages and environments, via approaches for design and verification, to issues of ethics and regulation. In terms of techniques, there are results on model-based engineering, product lines, mission specification, component-based development, simulation, testing, and proof. Applications range from manufacturing to service robots, to autonomous vehicles, and even robots than evolve in the real world. A final chapter summarizes issues on ethics and regulation based on discussions from a panel of experts.

The origin of this book is a two-day event, entitled RoboSoft, that took place in November 2019, in London. Organized with the generous support of the Royal Academy of Engineering and the University of York, UK, RoboSoft brought together more than 100 scientists, engineers and practitioners from all over the world, representing 70 international institutions.

The intended readership includes researchers and practitioners with all levels of experience interested in working in the area of robotics, and software engineering more generally. The chapters are all self-contained, include explanations of the core concepts, and finish with a discussion of directions for further work.


Chapters 'Towards Autonomous Robot Evolution', 'Composition, Separation of Roles and Model-Driven Approaches as Enabler of a Robotics Software Ecosystem' and 'Verifiable Autonomy and Responsible Robotics' are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.


商品描述(中文翻譯)

本書涵蓋的主題從建模和程式語言及環境，經過設計和驗證的方法，到倫理和規範的議題。在技術方面，包含了基於模型的工程、產品線、任務規範、基於元件的開發、模擬、測試和證明等成果。應用範圍從製造業到服務型機器人，再到自動駕駛車輛，甚至是能在現實世界中進化的機器人。最後一章根據專家小組的討論總結了倫理和規範的相關議題。

本書的起源是一個名為 RoboSoft 的為期兩天的活動，於2019年11月在倫敦舉行。在英國皇家工程院和約克大學的慷慨支持下，RoboSoft 聚集了來自全球70個國際機構的100多位科學家、工程師和實踐者。

本書的目標讀者包括對機器人技術及更廣泛的軟體工程領域感興趣的各級研究人員和實踐者。各章節均為獨立內容，包含核心概念的解釋，並以進一步工作的方向討論作結。

章節「邁向自主機器人進化」、「組合、角色分離及模型驅動方法作為機器人軟體生態系統的促進者」和「可驗證的自主性與負責任的機器人技術」可在 link.springer.com 上以創用CC 4.0 國際授權的方式開放存取。

作者簡介

Ana Cavalcanti is Professor of Software Verification at the University of York and Royal Academy of Engineering Chair in Emerging Technologies, and is working on software engineering issues for robotics like modelling, validation, simulation, and testing. She currently leads the RoboStar research group at the University of York. Her research is on theory and practice of verification and testing for robotics.
Brijesh Dongol is a Senior Lecturer at the University of Surrey. His research is on formal techniques and verification methods for concurrent and real-time systems. This includes concurrent objects, transactional memory and associated correctness conditions; weak memory models; algebraic techniques; and hybrid systems. He leads several projects funded by the EPSRC, research institutions and industrial partners and is a member of the Formal Methods Teaching Committee.
Rob Hierons joined The University of Sheffield in 2018 as a full Professor. His research concerns the automated generation of efficient, systematic test suites on the basis of program code, models or specifications. He is joint Editor-in-Chief of the Journal of Software Testing, Verification, and Reliability (STVR) and is a member of the editorial boards of The Computer Journal and Formal Aspects of Computing.

Jon Timmis is Professor of Intelligent and Adaptive Systems at the University of Sunderland, where he is Deputy Vice-Chancellor, and is Visiting Professor at the University of York. His research focuses on biologically-inspired systems and modelling, with applications in robotic and swarm robotic systems as well as computational biology. He has commercialized his research into modelling and simulation in the biosciences. He is a former Royal Society-Wolfs on Research Merit Award holder and a Royal Academy of Engineering Enterprise Fellow.

Jim Woodcock is Professor of Software Engineering at the University of York, known for his research, teaching, and consultancy in the application of industrial-scale software engineering and formal methods. He is a Chartered Engineer, a fellow of the UK Royal Academy of Engineering, and a member of the London Mathematical Society. His current research is in modelling and reasoning about uncertainty in robotic applications.

作者簡介(中文翻譯)

Ana Cavalcanti 是約克大學的軟體驗證教授及英國皇家工程院新興技術主席，專注於機器人領域的軟體工程問題，如建模、驗證、模擬和測試。她目前領導約克大學的 RoboStar 研究小組。她的研究專注於機器人的驗證和測試的理論與實踐。
Brijesh Dongol 是薩里大學的高級講師。他的研究集中於並行和即時系統的形式技術和驗證方法，包括並行物件、事務性記憶及相關的正確性條件；弱記憶模型；代數技術；以及混合系統。他領導多個由 EPSRC、研究機構和產業夥伴資助的項目，並且是形式方法教學委員會的成員。
Rob Hierons 於 2018 年加入謝菲爾德大學擔任全職教授。他的研究涉及基於程式碼、模型或規範自動生成高效且系統化的測試套件。他是《軟體測試、驗證與可靠性期刊》（STVR）的共同主編，並且是《計算機期刊》和《計算的形式方面》編輯委員會的成員。

Jon Timmis 是桑德蘭大學智能與自適應系統的教授，並擔任副校長，同時也是約克大學的訪問教授。他的研究專注於生物啟發系統和建模，應用於機器人和群體機器人系統以及計算生物學。他將其在生物科學中的建模和模擬研究商業化。他曾獲得英國皇家學會沃爾夫研究優異獎和英國皇家工程院企業研究員。

Jim Woodcock 是約克大學的軟體工程教授，以其在工業規模軟體工程和形式方法應用方面的研究、教學和顧問服務而聞名。他是特許工程師，英國皇家工程院的院士，以及倫敦數學學會的成員。他目前的研究集中於機器人應用中的不確定性建模和推理。

類似商品