Bastien DURAND Karen GODARY-DEJEAN – Lionel LAPIERRE Robin PASSAMA – Didier CRESTANI 27 Janvier 2011 ConecsSdf Architecture de contrôle adaptative : une.

Slides:



Advertisements
Similar presentations
EE5900 Advanced Embedded System For Smart Infrastructure
Advertisements

Distributed Systems Major Design Issues Presented by: Christopher Hector CS8320 – Advanced Operating Systems Spring 2007 – Section 2.6 Presentation Dr.
GENERAL CONTEXT Perception modules for localized actions - Vegetation density* Crop growth parameters (Growing stage) *Volume - Weeds infestation - Insects.
11. Practical fault-tolerant system design Reliable System Design 2005 by: Amir M. Rahmani.
Carnegie Mellon R-BATCH: Task Partitioning for Fault-tolerant Multiprocessor Real-Time Systems Junsung Kim, Karthik Lakshmanan and Raj Rajkumar Electrical.
CS 795 – Spring  “Software Systems are increasingly Situated in dynamic, mission critical settings ◦ Operational profile is dynamic, and depends.
Making Services Fault Tolerant
P. Albertos* & A. Crespo + Universidad Politécnica de Valencia * Dept. of Systems Engineering and Control, + Dept. of Computer Engineering POB E
Brent Dingle Marco A. Morales Texas A&M University, Spring 2002
The Architecture Design Process
Experiences with an Architecture for Intelligent Reactive Agents By R. Peter Bonasso, R. James Firby, Erann Gat, David Kortenkamp, David P Miller, Marc.
Lecture 13 Revision IMS Systems Analysis and Design.
Integrating POMDP and RL for a Two Layer Simulated Robot Architecture Presented by Alp Sardağ.
An experiment on squad navigation of human and robots IARP/EURON Workshop on Robotics for Risky Interventions and Environmental Surveillance January 7th-8th,
Software Testing for Safety- Critical Applications Presented by: Ciro Espinosa & Daniel Llauger.
Distributed Robot Agent Brent Dingle Marco A. Morales.
1 Making Services Fault Tolerant Pat Chan, Michael R. Lyu Department of Computer Science and Engineering The Chinese University of Hong Kong Miroslaw Malek.
A Progressive Fault Tolerant Mechanism in Mobile Agent Systems Michael R. Lyu and Tsz Yeung Wong July 27, 2003 SCI Conference Computer Science Department.
A Navigation System for Increasing the Autonomy and the Security of Powered Wheelchairs S. Fioretti, T. Leo, and S.Longhi yhseo, AIMM lab.
The Need of Unmanned Systems
System Integration Management (SIM)
Issues on Software Testing for Safety-Critical Real-Time Automation Systems Shahdat Hossain Troy Mockenhaupt.
What is it? A mobile robotics system controls a manned or partially manned vehicle-car, submarine, space vehicle | Website for Students.
June 12, 2001 Jeong-Su Han An Autonomous Vehicle for People with Motor Disabilities by G. Bourhis, O.Horn, O.Habert and A. Pruski Paper Review.
ATIF MEHMOOD MALIK KASHIF SIDDIQUE Improving dependability of Cloud Computing with Fault Tolerance and High Availability.
Sérgio Ronaldo Barros dos Santos, Cairo Lúcio Nascimento Júnior,
FMEA-technique of Web Services Analysis and Dependability Ensuring Anatoliy Gorbenko Vyacheslav Kharchenko Olga Tarasyuk National Aerospace University.
1 Fault Tolerance in the Nonstop Cyclone System By Scott Chan Robert Jardine Presented by Phuc Nguyen.
Multiple Autonomous Ground/Air Robot Coordination Exploration of AI techniques for implementing incremental learning. Development of a robot controller.
Simulation of Fault Detection for Robot Applications Chase Baker, Taeghyun Kang, Michael Shin Ph.D. Interaction with robot applications are becoming increasingly.
Robot Autonomous Perception Model For Internet-Based Intelligent Robotic System By Sriram Sunnam.
Leslie Luyt Supervisor: Dr. Karen Bradshaw 2 November 2009.
1 Software Testing and Quality Assurance Lecture 33 – Software Quality Assurance.
 CS 5380 Software Engineering Chapter 8 Testing.
Towards Cognitive Robotics Biointelligence Laboratory School of Computer Science and Engineering Seoul National University Christian.
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
Polymorphous Computing Architectures Run-time Environment And Design Application for Polymorphous Technology Verification & Validation (READAPT V&V) Lockheed.
Building Dependable Distributed Systems Chapter 1 Wenbing Zhao Department of Electrical and Computer Engineering Cleveland State University
Issues Autonomic operation (fault tolerance) Minimize interference to applications Hardware support for new operating systems Resource management (global.
Professional Certificate in Electoral Processes Understanding and Demonstrating Assessment Criteria Facilitator: Tony Cash.
1 Structure of Aalborg University Welcome to Aalborg University.
CS 505: Thu D. Nguyen Rutgers University, Spring CS 505: Computer Structures Fault Tolerance Thu D. Nguyen Spring 2005 Computer Science Rutgers.
Fault Tolerance Benchmarking. 2 Owerview What is Benchmarking? What is Dependability? What is Dependability Benchmarking? What is the relation between.
Introduction of Intelligent Agents
Toulouse, September 2003 Page 1 JOURNEE ALTARICA Airbus ESACS  ISAAC.
Aeronautics & Astronautics Autonomous Flight Systems Laboratory All slides and material copyright of University of Washington Autonomous Flight Systems.
Abstract A Structured Approach for Modular Design: A Plug and Play Middleware for Sensory Modules, Actuation Platforms, Task Descriptions and Implementations.
April 8-10, 2002 XXXXXXXXXXXXX Business Unit 2002 Action Plan Your Name January 28-30, 2002 MSC.Software: How to Deliver Software Services Systems Fiat.
1 Fault-Tolerant Computing Systems #1 Introduction Pattara Leelaprute Computer Engineering Department Kasetsart University
Internet of Things. IoT Novel paradigm – Rapidly gaining ground in the wireless scenario Basic idea – Pervasive presence around us a variety of things.
Dialog Design I Basic Concepts of Dialog Design. Dialog Outline Evaluate User Problem Representations, Operations, Memory Aids Generate Dialog Diagram.
Boeing-MIT Collaborative Time- Sensitive Targeting Project July 28, 2006 Stacey Scott, M. L. Cummings (PI) Humans and Automation Laboratory
A Security Framework with Trust Management for Sensor Networks Zhiying Yao, Daeyoung Kim, Insun Lee Information and Communication University (ICU) Kiyoung.
ESA Harwell Robotics & Autonomy Facility Study Workshop Autonomous Software Verification Presented By: Rick Blake.
Auto-Park for Social Robots By Team Daedalus. Requirements for FVE Functional Receive commands from user via smartphone app Share data with other cars.
Path Planning Based on Ant Colony Algorithm and Distributed Local Navigation for Multi-Robot Systems International Conference on Mechatronics and Automation.
Euro-Par, HASTE: An Adaptive Middleware for Supporting Time-Critical Event Handling in Distributed Environments ICAC 2008 Conference June 2 nd,
Testing Overview Software Reliability Techniques Testing Concepts CEN 4010 Class 24 – 11/17.
Control-Theoretic Approaches for Dynamic Information Assurance George Vachtsevanos Georgia Tech Working Meeting U. C. Berkeley February 5, 2003.
Heterogeneous Teams of Modular Robots for Mapping and Exploration by Grabowski et. al.
V-Shaped Software Development Life Cycle Model. Introduction: Variation of water fall model. Same sequence structure as water fall model. Strong emphasis.
Auto-Park for Social Robots By Team I. Meet the Team Alessandro Pinto ▫ UTRC, Sponsor Dorothy Kirlew ▫ Scrum Master, Software Mohak Bhardwaj ▫ Vision.
Presented by Edith Ngai MPhil Term 3 Presentation
Intelligent Mobile Robotics
Prabhat Kumar Saraswat Paul Pop Jan Madsen
Automation as the Subject of Mechanical Engineer’s interest
Fault Tolerance Distributed Web-based Systems
Fault Tolerant Systems in a Space Environment
Task Manager & Profile Interface
Luca Simoncini PDCC, Pisa and University of Pisa, Pisa, Italy
Presentation transcript:

Bastien DURAND Karen GODARY-DEJEAN – Lionel LAPIERRE Robin PASSAMA – Didier CRESTANI 27 Janvier 2011 ConecsSdf Architecture de contrôle adaptative : une plateforme robotique fiable 1

SYSTOL 2010 – October Unmanned Grounded Vehicles Always and Often Fail.

SYSTOL 2010 – October Low Reliability Need of Dependability 80% fatal failures 36% availability 80% fatal failures 36% availability How UGVs fail? Failure Physical Human Sensor Communications Power Control System DesignInteraction Effector 56% 26% 54% critical 9% [Carlson & Murphy 05]

SYSTOL 2010 – October 6-8 « Ability to deliver a service that can justifiably be trusted » 4 Fault Prevention Fault Removal Dependability Means Fault Tolerance Fault Forecasting Provide a correct service despite the presence of faults perturbing resources of the system Fault severity evaluation Fault Detection and Diagnosis System Recovery System Recovery Fault Avoidance Fault handling

SYSTOL 2010 – October 6-8 ROBOTS OFTEN AND ALWAYS FAIL  Dependability needs  Introduction of fault tolerance in robotics systems PROBLEMATIC HOW TO MANAGE FAULT TOLERANCE IN ROBOTICS ?

SYSTOL 2010 – October 6-8 Lack of generic, global and structured methodology to manage fault tolerance in robotic systems. 6 Dependability in robotics

SYSTOL 2010 – October Dependability in robotics Methodology for reliability enhancement Autonomy sharing Experiment Conclusion Contents

SYSTOL 2010 – October 6-8 Methodology for reliability enhancement 8

SYSTOL 2010 – October Used methods: FMCEA functional decomposition Ishikawa diagrams Identification of: Fault type Fault severity Step 1 : Identification Fault identification for the Drive function

SYSTOL 2010 – October Use of existing methods Detection timing checks, reasonableness checks, safety-bag,.. Diagnosis Model based diagnosis Use of residuals Use of signature analysis Depend on the preceding step Step 2 : Detection & Diagnosis

SYSTOL 2010 – October Adaptive recovery Functions of the context Functions of the severity Several types of recovery Step 3: recovery

SYSTOL 2010 – October Autonomy: the ultimate goal of autonomous robotics No universal definition Evaluation autonomy levels, depending on the Human implication Focus on the recovery problem  Which one holds the adaptation decision ?  How to adapt ? Autonomy level adaptation could be an efficient answer for fault tolerance.

SYSTOL 2010 – October When the robot detects a fault, If it can not resolve itself the problem, it could ask the human help: full autonomy ⇒ human/robot interaction. The human choose a new autonomy level  Easy autonomy level adaptation Autonomy level adaptation in our methodology

SYSTOL 2010 – October Proposed recovery solutions Autonomy adjustment High severity Human Robot Interaction New autonomy level Local adaptation Weak severity: Algorithm reconfiguration Medium severity: Functioning mode adaptation Reach safe state & Stop Fatal severity

SYSTOL 2010 – October 6-8 Integration of the Methodology in a Control Architecture

SYSTOL 2010 – October Module Sensors Module Actuators Module Sensors Module SCHEDULER LOCAL SUPERVISOR GLOBAL SUPERVISOR Mission Objective EXECUTIVE LEVEL DECISIONAL LEVEL Events 2 Levels Executive Decisional Modularity Decomposition of control scheme Scheduler Real time control of modules execution Initial Control Architecture COTAMA Sub-objective

SYSTOL 2010 – October 6-8 Module Sensors Module Actuators Module Sensors Module SCHEDULER LOCAL SUPERVISOR GLOBAL SUPERVISOR Mission Objective Sub-objective Events EXECUTIVE LEVEL DECISIONAL LEVEL 17 Observer Module Adapter Events ADAPTER SUPERVISOR Adapted Sub-objective Local Events Global Events Global Observation Module Data Base Update Event (Modules status) CONTEXTUAL SUPERVISOR Autonomy adjustment Detection DiagnosisRecovery Local adaptation Control Architecture Safe state & Stop

SYSTOL 2010 – October 6-8 Experimentation 18

SYSTOL 2010 – October Human-Machine Interface Embedded Computer COTAMA Supervisory Control Mission Manager Human-Robot Interaction Manager WiFi LAN Experimental Context Mission Manager Users Operators Pioneer 3-DX Linux - RTAI MISSION Deliver objects between laboratory offices MISSION Deliver objects between laboratory offices

SYSTOL 2010 – October Navigation Obstacle avoidance SMZ Guidance Communication with robot Monte Carlo localization Control Hardware Models bank Localization Path following Sonars Simulator Odometric localization Control Scheme

SYSTOL 2010 – October 6-8 Delivery mission = Drive + Take + Drive + Give 21 Autonomy levels: Autonomous Teleprogrammed Teleoperated Delivery mission Drive = Path generation + Path following Functioning modes: Optimal behavior Degraded behaviors Human/Robot Interaction mode

SYSTOL 2010 – October Local Supervisor Autonomy Adjustment Human Robot Interaction Initiated by robot Decision made by operator New Map

SYSTOL 2010 – October Adapter Supervisor Local Adaptation 2 Adaptation types Low failure  Set current algorithms parameters Medium failure  Switch to a degraded functionality

SYSTOL 2010 – October A B HIL Experimentation Error: localization and path following Severity: hard Recovery: autonomy adjustment Error: real time violation Severity: low Recovery: reconfiguration Delivery mission from A to B Still in A Laboratory map Path to follow

SYSTOL 2010 – October A B Teleoperation: HIL Experimentation Teleprogrammation: new path the operator see the obstacle

SYSTOL 2010 – October A B Error: Sonar failure Severity: medium Recovery: Degraded sub-objective Error: Collision event Severity: hard Recovery: Autonomy adjustment HIL Experimentation DELIVERY Despite many faults, the mission is successful. Teleoperation

SYSTOL 2010 – October Autonomy adaptation No human intervention Ponctual human intervention Permanent human intervention

SYSTOL 2010 – October We have proposed and implement a generic, global and structured methodology to identify, detect, diagnose and recover from faults. We proposed efficient recovery mechanisms to answer accurately to each situation. We applied this methodology on a case study. The autonomy sharing can be used to manage complex situations and to enhance fault tolerance for autonomous mobile robot. Conclusion

SYSTOL 2010 – October Deeper reliability evaluation of the fault tolerance mechanisms : for the delivery mission through a long term experiment. for different types of missions. Study in details the autonomy sharing problematic (allocation of the final decision). Design a reliable robotic platform for “benchmark” experiments. Prospects

SYSTOL 2010 – October 6-8 The end Do you have any questions ? 30

SYSTOL 2010 – October Experiment Conclusion Real timeSonarLocalizationCollision LowReconfiguration Medium Degraded sub-objective Hard Teleoperation and teleprogramation The mission is successful Several faults of different types have been managed Different recovery with Human Robot Interaction Severity Fault Recovery mechanism depending on fault and severity level

SYSTOL 2010 – October Navigation Obstacle avoidance SMZ Guidance Communication with robot Monte Carlo localization Control Hardware Models bank Localization Path following Sonars Simulator Odometric localization Control Scheme 32

SYSTOL 2010 – October 6-8 Monitored system Detection & Diagnosis ActuatorsRobotSensors ObservationDiagnosis Fault