Conference
ROSMonitoring: A Runtime Verification Framework for ROS
| العنوان: | ROSMonitoring: A Runtime Verification Framework for ROS |
|---|---|
| المؤلفون: | Ferrando A., Cardoso R. C., Fisher M., Ancona D., Franceschini L., Mascardi V. |
| المساهمون: | Ferrando, A., Cardoso, R. C., Fisher, M., Ancona, D., Franceschini, L., Mascardi, V. |
| بيانات النشر: | Springer Science and Business Media Deutschland GmbH |
| سنة النشر: | 2020 |
| المجموعة: | Università degli Studi di Genova: CINECA IRIS |
| الوصف: | Recently, robotic applications have been seeing widespread use across industry, often tackling safety-critical scenarios where software reliability is paramount. These scenarios often have unpredictable environments and, therefore, it is crucial to be able to provide assurances about the system at runtime. In this paper, we introduce ROSMonitoring, a framework to support Runtime Verification (RV) of robotic applications developed using the Robot Operating System (ROS). The main advantages of ROSMonitoring compared to the state of the art are its portability across multiple ROS distributions and its agnosticism w.r.t. the specification formalism. We describe the architecture behind ROSMonitoring and show how it can be used in a traditional ROS example. To better evaluate our approach, we apply it to a practical example using a simulation of the Mars curiosity rover. Finally, we report the results of some experiments to check how well our framework scales. |
| نوع الوثيقة: | conference object |
| وصف الملف: | ELETTRONICO |
| اللغة: | English |
| Relation: | info:eu-repo/semantics/altIdentifier/isbn/978-3-030-63485-8; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-63486-5; ispartofbook:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 21th Annual Conference on Towards Autonomous Robotics, TAROS 20120; firstpage:387; lastpage:399; numberofpages:13; serie:LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; https://hdl.handle.net/11567/1035245; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85097826781 |
| DOI: | 10.1007/978-3-030-63486-5_40 |
| الاتاحة: | https://hdl.handle.net/11567/1035245 https://doi.org/10.1007/978-3-030-63486-5_40 |
| Rights: | info:eu-repo/semantics/openAccess |
| رقم الانضمام: | edsbas.93941786 |
| قاعدة البيانات: | BASE |
| DOI: | 10.1007/978-3-030-63486-5_40 |
|---|