Dissertation > Excellent graduate degree dissertation topics show

Runtime Performance Verification and Abnormality Analysis of Robot Software

Author: FangJia
Tutor: ZuoHuaQing; FengJiCheng
School: South China University of Technology
Course: Software Engineering
Keywords: robot software runtime model performance verification abnormality analysis performance runtime self-adaptation
CLC: TP242
Type: Master's thesis
Year: 2013
Downloads: 8
Quote: 0
Read: Download Dissertation

Abstract


With the continuous development of robotic applications and robot-relative disciplines,robot software is facing more and more uncertain working environment, and dealing withmore and more sophisticate task. Some robot task is strict on the performance of its software,for example, it needs high performance for a patient-care robot to take care of patient, or itmay delay the patient’s condition, even lead to patient’s death. Sometimes people cannotdiscover the abnormal performance of robotic software at runtime and make effectiveintervention in time. The factors make it urgent to implement the runtime self-adaptation onperformance of robot software.This paper discusses the solution to the above problems taking MiniROS as the object ofstudy. MiniROS is a robot middleware platform, which is developed by Intelligent Softwareand Robot Lab of South China University of Technology. Several robot components which arebased behaviors could be assembled into a complete robot software system by MiniROS. Thispaper aims at resolving the runtime verification, abnormality analysis and selecting theappropriate adjustment solution of robot software assembled by MiniROS according to theanalysis results, at last achieving the robot software runtime self-adaption on performance.The main research works are as follow:Firstly, this paper proposes a model named Modularity Probability Transition PetriNetwork, to establish runtime model for runtime system. In other words, each behavior groupwhich may be selected to run in the runtime system is modeled based on ProbabilityTransition Petri Net.Secondly, this paper explains the definition of context in runtime system, analyzes thecontext model and implements monitoring the context. Through the research and analysis, thispaper represents the context based on key-value model for its simplicity, and monitors theruntime context based on aspect oriented programming, to reduce the coupling degreebetween runtime context monitor module and the function module of runtime system. Andthen verifies the context which related to performance with the expected value in the runtimemodel.Thirdly, this paper makes link analysis for transitions in runtime model, which is based on the dependent degree of atomic behavior. Defines the importance of transitions and setspriority for transitions to be analyzed. And then analyzes the abnormal runtime model basedon the model’s structure and property, finds out the abnormal cause, and reason to selectappropriate solution for the abnormality based on rule knowledge base. And at last guides theruntime system to adjust itself with the solution.Finally, this paper takes robot soccer as example, to establish runtime model for soccerrobot software, and verify the behavior groups’ running time, analyze the abnormal module,and reason to select the appropriate solution. This example concludes the solution in thispaper can realize the performance runtime self-adaptation of robot software which isassembled by MiniROS.

Related Dissertations

  1. Air-conditioning system Commissioning Practical Evaluation System,TU831.3
  2. Design and Development of Software System for Educational Robot,TP311.52
  3. Research on Software Fault Tolerence Technology for Space Robot,TP242
  4. Optimal operation and control of air conditioning systems fundamental research,TU831
  5. The Safety Pharmacology Studies of Hr0905, Prasugrel and Prasugrel Hydrochloride; Telemetry System Qualification,R965
  6. A Virtual Instrument for Performance Evaluation of Ultrasonic Examination Instruments,TH878.2
  7. Research on Software System of Mine Rescue Robot,TP242.6
  8. Study of an Automatic Picking-out System for the Adjustive Shim of VTR’s Cylinder,TN948
  9. The Research and Realization of Mini-Humanoid Robot’s Control and Communication System,TP242.6
  10. The Study of the Method for Validating the Performance of Quantitative Tests for the Electrochemiluminescence Immunoassay System of Elecsys 2010,R446.6
  11. The Chlorophyll Fluorescence Detector Performance Test and Field Testing Method to Establish,X834
  12. Two-Dimensional DOA Estimation Algorithm and Experimental Verification,TN911.7
  13. The Research about Intrusion Detection Based on Network Flow Analysis,TP393.08
  14. Simulation of a Composite Seeker Information Fusion System,TJ765.331
  15. Study on Image Registration and Image Matching of the Robot System for Substation Equipment Inspection,TP242.62
  16. Improvement of Ant Colony Algorithmand Its Application in Robot Path Planning,TP242
  17. The Study of Dynamic Simulation of the Passive Dynamic Quasi-Quarupedal Walker,TP242.6
  18. The Research on Manipulator Trajectory Planning,TP242
  19. Gait Planning and Control Research of Biped Robot with Heterogeneous Legs,TP242
  20. The Study of Several Key Technologies of Micro-robot System for Cell Operation,TP242
  21. Intelligent Cleaning Robot Control System Design Based on the ARM,TP242

CLC: > Industrial Technology > Automation technology,computer technology > Automation technology and equipment > Robotics > Robot
© 2012 www.DissertationTopic.Net  Mobile