Work-in-Progress: Introducing Assume-Guarantee Contracts for Verifying Robotic Applications
Stefano Spellini, Michele Lora, Sudipta Chattopadhyay, Franco Fummi · 2018
This paper summarizes the first steps toward an automatic framework, relying on Assume-Guarantee Contracts, for the verification of robotics applications. Classic HW and SW design and verification techniques are inadequate for robots due to the involved complexity. In this paper we advocate that contract-based methodologies allow safe problem decomposition easing system-level validation.