A Software Tool for the Design of Critical Robot Missions with Performance Guarantees

@inproceedings{Lyons2013AST,
  title={A Software Tool for the Design of Critical Robot Missions with Performance Guarantees},
  author={Damian M. Lyons and Ronald C. Arkin and P. Nirmal and Shu Jiang and Tsung-Ming Liu},
  booktitle={CSER},
  year={2013}
}
Deploying a robot as part of a counter-weapons of mass destruction mission demands that the robotic software operates with high assurance. A unique feature of robotic software development is the need to perform predictably in a physical environment that may only be poorly characterized in advance. In this paper, we present an approach to building high assurance software for robot missions carried out in uncertain environments. The software development framework and the verification algorithm… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-9 OF 9 CITATIONS

Performance Verification for Behavior-Based Robot Missions

VIEW 10 EXCERPTS
CITES RESULTS, BACKGROUND & METHODS

Verifying and validating multirobot missions

  • 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems
  • 2014
VIEW 4 EXCERPTS
CITES BACKGROUND

Performance guarantees for C-WMD robot missions

  • 2013 IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR)
  • 2013
VIEW 6 EXCERPTS

Getting it right the first time: Robot mission guarantees in the presence of uncertainty

  • 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems
  • 2013
VIEW 3 EXCERPTS
CITES BACKGROUND & METHODS

References

Publications referenced by this paper.
SHOWING 1-10 OF 19 REFERENCES

Designing autonomous robot missions with performance guarantees

  • 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems
  • 2012
VIEW 7 EXCERPTS

Principles of the spin model checker

VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Standard Test Methods for Response Robots ASTM

A. Jacoff, E. Messina, +3 authors A. Norcross
  • 2011
VIEW 2 EXCERPTS

Analysis and Experimental Verification for Dynamic Modeling of A Skid-Steered Wheeled Vehicle

W Yu
  • IEEE Trans. on Rob.,
  • 2010

Software model checking

  • ACM Comput. Surv.
  • 2009
VIEW 3 EXCERPTS