商品簡介
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.
