Formal verification of complex robotic systems on resource-constrained platforms-Reference-Cited by-同舟云学术

Formal verification of complex robotic systems on resource-constrained platforms

Published:2018-06-02 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 6th Conference on Formal Methods in Software Engineering
language:
Short-container-title:

Author:

Foughali Mohammed¹,Berthomieu Bernard¹,Zilio Silvano Dal¹,Hladik Pierre-Emmanuel¹,Ingrand Félix¹,Mallet Anthony¹

Affiliation:

1. Université de Toulouse, CNRS, Toulouse, France

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3193992.3193996

Reference35 articles.

1. Rigorous design of robot software: A formal component-based approach

2. Nouha Abid Silvano Dal Zilio and Didier Le Botlan. 2012. Real-Time Specification Patterns and Tools. In Formal Methods for Industrial Critical Systems. 1--15. Nouha Abid Silvano Dal Zilio and Didier Le Botlan. 2012. Real-Time Specification Patterns and Tools. In Formal Methods for Industrial Critical Systems. 1--15.

3. An Architecture for Autonomy

4. Rajeev Alur and David L Dill. 1994. A theory of timed automata. Theoretical computer science 126 2 (1994) 183--235. 10.1016/0304-3975(94)90010-8 Rajeev Alur and David L Dill. 1994. A theory of timed automata. Theoretical computer science 126 2 (1994) 183--235. 10.1016/0304-3975(94)90010-8

5. B. Berthomieu J.-P. Bodeveix P. Farail M. Filali H. Garavel P. Gaufillet F. Lang and F. Vernadat. 2008. Fiacre: an Intermediate Language for Model Verification in the Topcased Environment. In ERTSS. B. Berthomieu J.-P. Bodeveix P. Farail M. Filali H. Garavel P. Gaufillet F. Lang and F. Vernadat. 2008. Fiacre: an Intermediate Language for Model Verification in the Topcased Environment. In ERTSS.

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Monitoring of perception systems: Deterministic, probabilistic, and learning-based fault detection and identification;Artificial Intelligence;2023-12

2. Model-based design of resilient systems using quantitative risk assessment;Innovations in Systems and Software Engineering;2023-04-14

3. Testing, Validation, and Verification of Robotic and Autonomous Systems: A Systematic Review;ACM Transactions on Software Engineering and Methodology;2023-03-30

4. Markov decision process with deep reinforcement learning for robotics data offloading in cloud network;Journal of Electronic Imaging;2022-05-27

5. ROZZ: Property-based Fuzzing for Robotic Programs in ROS;2022 International Conference on Robotics and Automation (ICRA);2022-05-23