Software Engineering for Robotics

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.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Engenharia do software
• Robótica
• Engenharia do controlo automático
• Inteligência artificial

Software Engineering;Software Design;Software Verification;Software Testing;Software Quality Assurance;Robotics Software;Software Variability;Model-Driven Software Design;Autonomous Systems;Formal Methods