自主机器人软件工程的未来方向：可信性议程[观点］

IF 5.4 3区计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS

IEEE Robotics & Automation Magazine Pub Date : 2024-09-10 DOI:10.1109/mra.2024.3417089

Davide Brugali, Ana Cavalcanti, Nico Hochgeschwender, Patrizio Pelliccione, Luciana Rebelo

{"title":"自主机器人软件工程的未来方向：可信性议程[观点］","authors":"Davide Brugali, Ana Cavalcanti, Nico Hochgeschwender, Patrizio Pelliccione, Luciana Rebelo","doi":"10.1109/mra.2024.3417089","DOIUrl":null,"url":null,"abstract":"Software engineering for autonomous robots investigates the synergetic interaction of computing and robotic technologies; this synergy is both realistic and strategic. On one hand, software engineering techniques and methods have the potential to enhance the quality of the software that controls autonomous robots and the effectiveness of software development processes in the robotic industry. In addition, they can provide evidence of that improved quality to foster trustworthiness of the robot via advanced verification techniques based on testing, simulation, or even mathematical proof. On the other hand, autonomous robots represent a significant benchmark for software engineering techniques and approaches, and many technologies that have been successfully applied in robotics (e.g., from control theory to automated planning) are now a source of inspiration for software engineers.","PeriodicalId":55019,"journal":{"name":"IEEE Robotics & Automation Magazine","volume":"3 1","pages":""},"PeriodicalIF":5.4000,"publicationDate":"2024-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Future Directions in Software Engineering for Autonomous Robots: An Agenda for Trustworthiness [Opinion]\",\"authors\":\"Davide Brugali, Ana Cavalcanti, Nico Hochgeschwender, Patrizio Pelliccione, Luciana Rebelo\",\"doi\":\"10.1109/mra.2024.3417089\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Software engineering for autonomous robots investigates the synergetic interaction of computing and robotic technologies; this synergy is both realistic and strategic. On one hand, software engineering techniques and methods have the potential to enhance the quality of the software that controls autonomous robots and the effectiveness of software development processes in the robotic industry. In addition, they can provide evidence of that improved quality to foster trustworthiness of the robot via advanced verification techniques based on testing, simulation, or even mathematical proof. On the other hand, autonomous robots represent a significant benchmark for software engineering techniques and approaches, and many technologies that have been successfully applied in robotics (e.g., from control theory to automated planning) are now a source of inspiration for software engineers.\",\"PeriodicalId\":55019,\"journal\":{\"name\":\"IEEE Robotics & Automation Magazine\",\"volume\":\"3 1\",\"pages\":\"\"},\"PeriodicalIF\":5.4000,\"publicationDate\":\"2024-09-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"IEEE Robotics & Automation Magazine\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://doi.org/10.1109/mra.2024.3417089\",\"RegionNum\":3,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"AUTOMATION & CONTROL SYSTEMS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Robotics & Automation Magazine","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.1109/mra.2024.3417089","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"AUTOMATION & CONTROL SYSTEMS","Score":null,"Total":0}

引用次数: 0

摘要

自主机器人的软件工程研究计算技术与机器人技术之间的协同互动；这种协同既是现实的，也是战略性的。一方面，软件工程技术和方法有可能提高控制自主机器人的软件质量和机器人行业软件开发流程的效率。此外，它们还能通过基于测试、模拟甚至数学证明的先进验证技术，为质量的提高提供证据，从而提高机器人的可信度。另一方面，自主机器人是软件工程技术和方法的一个重要基准，许多已成功应用于机器人技术的技术（如从控制理论到自动规划）现在都是软件工程师的灵感来源。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Future Directions in Software Engineering for Autonomous Robots: An Agenda for Trustworthiness [Opinion]

Software engineering for autonomous robots investigates the synergetic interaction of computing and robotic technologies; this synergy is both realistic and strategic. On one hand, software engineering techniques and methods have the potential to enhance the quality of the software that controls autonomous robots and the effectiveness of software development processes in the robotic industry. In addition, they can provide evidence of that improved quality to foster trustworthiness of the robot via advanced verification techniques based on testing, simulation, or even mathematical proof. On the other hand, autonomous robots represent a significant benchmark for software engineering techniques and approaches, and many technologies that have been successfully applied in robotics (e.g., from control theory to automated planning) are now a source of inspiration for software engineers.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

IEEE Robotics & Automation Magazine 工程技术-机器人学

CiteScore

8.80

自引率

1.80%

发文量

100

审稿时长

>12 weeks

期刊介绍： IEEE Robotics & Automation Magazine is a unique technology publication which is peer-reviewed, readable and substantive. The Magazine is a forum for articles which fall between the academic and theoretical orientation of scholarly journals and vendor sponsored trade publications. IEEE Transactions on Robotics and IEEE Transactions on Automation Science and Engineering publish advances in theory and experiment that underpin the science of robotics and automation. The Magazine complements these publications and seeks to present new scientific results to the practicing engineer through a focus on working systems and emphasizing creative solutions to real-world problems and highlighting implementation details. The Magazine publishes regular technical articles that undergo a peer review process overseen by the Magazine''s associate editors; special issues on important and emerging topics in which all articles are fully reviewed but managed by guest editors; tutorial articles written by leading experts in their field; and regular columns on topics including education, industry news, IEEE RAS news, technical and regional activity and a calendar of events.