Cover Image

Software Engineering for Robotics /

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...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Cavalcanti, Ana (Editor), Dongol, Brijesh (Editor), Hierons, Rob (Editor), Timmis, Jon (Editor), Woodcock, Jim (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2021.
Edition:1st ed. 2021.
Subjects:
Software engineering.
Robotics.
Automation.
Software Engineering.
Robotics and Automation.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Software Product Line Engineering for Robotics
  • Towards Autonomous Robot Evolution
  • Composition, Separation of Roles and Model-Driven Approaches as Enabler of a Robotics Software Ecosystem
  • Testing Industrial Robotic Systems: A New Battlefield!
  • Gaining Confidence in the Trustworthiness of Robotic and Autonomous Systems
  • Robot Accident Investigation: A Case Study in Responsible Robotics
  • Verifiable Autonomy and Responsible Robotics
  • Verification of Autonomous Robots: A Roboticist's Bottom-Up Approach?
  • RoboStar Technology: A Roboticist's Toolbox for Combined Proof, Simulation, and Testing
  • CorteX: A software Framework for Interoperable, Plug-and-Play, Distributed, Robotic Systems-of-Systems
  • Mutation Testing for RoboChart
  • Languages for Specifying Missions of Robotic Applications
  • RoboStar Technology: Modelling Uncertainty in RoboChart using Probability
  • Panel Discussion: Regulation and Ethics of Robotics and Autonomous Systems.