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

IF 5.4 3区 计算机科学 Q1 AUTOMATION & CONTROL SYSTEMS
Davide Brugali, Ana Cavalcanti, Nico Hochgeschwender, Patrizio Pelliccione, Luciana Rebelo
{"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":null,"pages":null},"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}
引用次数: 0

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.
自主机器人软件工程的未来方向:可信性议程[观点]
自主机器人的软件工程研究计算技术与机器人技术之间的协同互动;这种协同既是现实的,也是战略性的。一方面,软件工程技术和方法有可能提高控制自主机器人的软件质量和机器人行业软件开发流程的效率。此外,它们还能通过基于测试、模拟甚至数学证明的先进验证技术,为质量的提高提供证据,从而提高机器人的可信度。另一方面,自主机器人是软件工程技术和方法的一个重要基准,许多已成功应用于机器人技术的技术(如从控制理论到自动规划)现在都是软件工程师的灵感来源。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
IEEE Robotics & Automation Magazine
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.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信