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}
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 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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
