DSpace
 

Researchspace >
General science, engineering & technology >
General science, engineering & technology >
General science, engineering & technology >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10204/4388

Title: Temporal logic runtime verification of dynamic systems
Authors: Seotsanyana, M
Keywords: Heorem proving
Model checking
Temporal logic
Automaton
Observer-pattern
Robotics
Issue Date: Jul-2010
Citation: Seotsanyana, M. Temporal logic runtime verification of dynamic systems. 25th International Conference of CAD/CAM, Robotics and Factories of the Future Conference; Pretoria, 13-16 July 2010, pp 11
Abstract: Robotic computer systems are increasingly ubiquitous in everyday life and this has led to a need to develop safe and reliable systems. To ensure safety and reliability of these systems, the following three main verification techniques are usually considered: (1) theorem proving, (2) model checking, and (3) testing. However, the behaviour of robotic systems depends heavily on the environment and changes over time, which makes it hard to predict and analyse prior to their execution. Therefore, this paper provides a novel framework that automatically and verifiably monitors these systems at runtime. The main aim of the framework is to assist the operator through witnesses and counterexamples that are generated during the execution of the system. The framework is suitable for manufacturing and mine operations. In addition, the framework can explicitly capture sensor specifications of the environment and react to the changes accordingly to ensure safe and reliable operation during runtime of the system. The framework first constructs a region automaton of the environment and then represents operation rules in a formal specification language called universal computation tree logic (ACTL). This formal specification language allows the expression of complex desired behaviours, such as collision avoidance in the case of haul truck operations
Description: 25th International Conference of CAD/CAM, Robotics and Factories of the Future Conference; Pretoria, 13-16 July 2010
URI: http://hdl.handle.net/10204/4388
ISBN: 978-0-620-46582-3
Appears in Collections:Safety and security
Digital intelligence
Mobile intelligent autonomous systems
General science, engineering & technology

Files in This Item:

File Description SizeFormat
Seotsanyana_2010.pdf106.22 kBAdobe PDFView/Open
View Statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback