INTELLIGENT TEST SCHEDULING TE-MPE Technical Meeting 10.04.2012 Michael Galetzka.

Slides:



Advertisements
Similar presentations
Heuristic Search techniques
Advertisements

Artificial Intelligence Presentation
Constraint Satisfaction Problems
Local Search Algorithms Chapter 4. Outline Hill-climbing search Simulated annealing search Local beam search Genetic algorithms Ant Colony Optimization.
1 Constraint Satisfaction Problems A Quick Overview (based on AIMA book slides)
This lecture topic (two lectures) Chapter 6.1 – 6.4, except 6.3.3
Neural and Evolutionary Computing - Lecture 4 1 Random Search Algorithms. Simulated Annealing Motivation Simple Random Search Algorithms Simulated Annealing.
Multi-Objective Optimization NP-Hard Conflicting objectives – Flow shop with both minimum makespan and tardiness objective – TSP problem with minimum distance,
MIS 2000 Class 20 System Development Process Updated 2014.
Review: Constraint Satisfaction Problems How is a CSP defined? How do we solve CSPs?
Planning under Uncertainty
Online Performance Auditing Using Hot Optimizations Without Getting Burned Jeremy Lau (UCSD, IBM) Matthew Arnold (IBM) Michael Hind (IBM) Brad Calder (UCSD)
Constraint Satisfaction Problems. Constraint satisfaction problems (CSPs) Standard search problem: – State is a “black box” – any data structure that.
Better Ants, Better Life? Hybridization of Constraint Propagation and Ant Colony Optimization Supervisors: Bernd Meyer, Andreas Ernst Martin Held Jun 2nd,
Multi-agent Oriented Constraint Satisfaction Authors: Jiming Liu, Han Jing and Y.Y. Tang Speaker: Lin Xu CSCE 976, May 1st 2002.
CPSC 322, Lecture 12Slide 1 CSPs: Search and Arc Consistency Computer Science cpsc322, Lecture 12 (Textbook Chpt ) January, 29, 2010.
Ryan Kinworthy 2/26/20031 Chapter 7- Local Search part 1 Ryan Kinworthy CSCE Advanced Constraint Processing.
CS460 Fall 2013 Lecture 4 Constraint Satisfaction Problems.
Intelligent Agents What is the basic framework we use to construct intelligent programs?
1 Chapter 5 Advanced Search. 2 l
Ant Colony Optimization Optimisation Methods. Overview.
Better Ants, Better Life? Hybridization of Constraint Programming and Ant Colony Optimization Supervisors: Dr. Bernd Meyer, Dr. Andreas Ernst Martin Held.
1 CSE 417: Algorithms and Computational Complexity Winter 2001 Lecture 25 Instructor: Paul Beame.
1.3 Executing Programs. How is Computer Code Transformed into an Executable? Interpreters Compilers Hybrid systems.
UNIT 21 Software Engineering.
Copyright R. Weber Search in Problem Solving Search in Problem Solving INFO 629 Dr. R. Weber.
O RERATıNG S YSTEM LESSON 10 MEMORY MANAGEMENT II 1.
Distributed Constraint Optimization Michal Jakob Agent Technology Center, Dept. of Computer Science and Engineering, FEE, Czech Technical University A4M33MAS.
Vilalta&Eick: Informed Search Informed Search and Exploration Search Strategies Heuristic Functions Local Search Algorithms Vilalta&Eick: Informed Search.
1 UNIT 20 Software Engineering Lecturer: Ghadah Aldehim.
1 CO Games Development 1 Week 6 Introduction To Pathfinding + Crash and Turn + Breadth-first Search Gareth Bellaby.
FPGA FPGA2  A heterogeneous network of workstations (NOW)  FPGAs are expensive, available on some hosts but not others  NOW provide coarse- grained.
Semantic Interoperability Berlin, 25 March 2008 Semantically Enhanced Resource Allocator Marc de Palol Jorge Ejarque, Iñigo Goiri, Ferran Julià, Jordi.
Slide 1 Mixed Model Production lines  2000 C.S.Kanagaraj Mixed Model Production Lines C.S.Kanagaraj ( Kana + Garage ) IEM 5303.
Processes and OS basics. RHS – SOC 2 OS Basics An Operating System (OS) is essentially an abstraction of a computer As a user or programmer, I do not.
Search Methods An Annotated Overview Edward Tsang.
SOFTWARE / HARDWARE PARTITIONING TECHNIQUES SHaPES: A New Approach.
Intro – Part 2 Introduction to Database Management: Ch 1 & 2.
Stocs – A Stochastic CSP Solver Bella Dubrov IBM Haifa Research Lab © Copyright IBM.
Hande ÇAKIN IES 503 TERM PROJECT CONSTRAINT SATISFACTION PROBLEMS.
Mobile Agent Migration Problem Yingyue Xu. Energy efficiency requirement of sensor networks Mobile agent computing paradigm Data fusion, distributed processing.
FORS 8450 Advanced Forest Planning Lecture 5 Relatively Straightforward Stochastic Approach.
Automatic Intelligent Scheduler By  Patil Chetan Pravin  Patel Javed Abbas  Raorane Pratik Anil.
Search CPSC 386 Artificial Intelligence Ellen Walker Hiram College.
Local Search and Optimization Presented by Collin Kanaley.
Optimization Problems
 Software Tools for MPS Kajetan Fuchsberger MPP Workshop, 2013, Annecy Many thanks for input from M. Zerlauth, J. Wenninger, R. Schmidt, G. Kruk, V. Baggiolini,
 The AccTesting Framework - Overview & Visions Kajetan Fuchsberger TE-MPE TM, On behalf of the TE-MPE-MS Software Team: M.Audrain, J.-C. Garnier,
Systems, their relations & information. Concepts and Status of the new central service for tracking relations between CERN accelerator systems TE/MPE TM.
 Automation Strategies for LHC System Tests and Re-Commissioning after LS1 Kajetan Fuchsberger TE-MPE LS1 Workshop On behalf of the TE-MPE-MS Software.
Multi-cellular paradigm The molecular level can support self- replication (and self- repair). But we also need cells that can be designed to fit the specific.
CMPT 463. What will be covered A* search Local search Game tree Constraint satisfaction problems (CSP)
MIS 2000 Class 20 System Development Process Updated 2016.
Optimization Problems
Definition CASE tools are software systems that are intended to provide automated support for routine activities in the software process such as editing.
CSPs: Search and Arc Consistency Computer Science cpsc322, Lecture 12
CSPs: Search and Arc Consistency Computer Science cpsc322, Lecture 12
Computer Science cpsc322, Lecture 14
CSPs: Search and Arc Consistency Computer Science cpsc322, Lecture 12
Optimization Problems
CIS 488/588 Bruce R. Maxim UM-Dearborn
Metaheuristic methods and their applications. Optimization Problems Strategies for Solving NP-hard Optimization Problems What is a Metaheuristic Method?
Multi-Objective Optimization
FPGA Interconnection Algorithm
Incorporating Constraint Checking Costs in Constraint Satisfaction Problem Suryakant Sansare.
Constraint satisfaction problems
Sudoku.
Constraint Satisfaction Problems
Area Coverage Problem Optimization by (local) Search
Constraint satisfaction problems
Presentation transcript:

INTELLIGENT TEST SCHEDULING TE-MPE Technical Meeting Michael Galetzka

SYSTEM ARCHITECTURE LSA database HWC java GUI HWC Sequencer server Test tracking server (+ scheduler) Hardware (FPGAs --> circuits)

 Not all tests can be executed at any given moment  Test phases  System locks: database, PIC  Tests under execution  Constraints between tests from different systems  e.g. ‘Only one 600A circuit is allowed to be active per QPS controller’  Some test can only be executed together  e.g. main quadrupole magnets operating above 2kA WHY SCHEDULING? Test ATest BTest CTest D

ADVANTAGES OF AUTOMATED SCHEDULING  Reduced work for the users (e.g. LHC operators)  Possibility to do more work in parallel (no need for SoC any more)  All constraints are checked and enforced automatically => fewer failures  Test execution can be optimized to reduce the overall timespan  A complete test execution schedule provides additional information  Which test will be executed when?  How long will it take until everything is completed?

Test plan for S1 A SMALL EXAMPLE Test ATest B Two systems: S1 and S2 One constraint: Test A can only run on one system at a time Test plan for S2 Test A

RESULTING SCHEDULES System S1 System S2 t Test A Test B System S1 System S2 t Test A Test B longer schedule optimal schedule

THAT DOES NOT SEEM SO HARD...  Test scheduling is a special instance of the constraint satisfaction problem (like sudoku or map coloring)  The time to find the optimal solution increases exponentially with the number of tests No. TestsTime taken (s) ??? 10000impossible

HOW IS IT DONE AT THE MOMENT?  Basically four steps: 1. Get all tests that should be executed 2. Remove all tests that can not be executed because of restrictions (e.g. phase dependecies or system already in use) 3. Pick one test for each system (according to the constraints with other tests) 4. Remove all tests that violate one or more grouping constraints System S1 System S2 System S3 System S4 System S5 Test A Test B Test C Test A Test B Test X Test C Test E Test F

THE CURRENT SOLUTION

Test plan for S1 A SMALL EXAMPLE Test ATest B Two systems: S1 and S2 One constraint: Test A on one system must run together with Test B on another system Test plan for S2 Test A

RESULTING SCHEDULES System S1Test A System S2Test A Step 1: start System S1Test B System S2 Step 2 System S1 System S2 Step 3: result System S1Test B System S2Test A Optimal solution

SCHEDULER COMMENTS

THE OBJECTIVE: A GENERAL PURPOSE SCHEDULER  Should be able to deal with all constrained scheduling problems  AccTesting test scheduling  (Software system test and deployment plans)  (Managing tunnel access) ...  Must be (reasonably) fast  Should be easy to understand and maintain  Should create good results = schedules with a small overall timespan

HEURISTIC REPAIR  A prototype has been implemented for testing  Starts with an infeasible solution  Tries to repair it until it has a working result  Uses a heuristic to decide what to repair first and how to repair it

EXAMPLE: HEURISTIC REPAIR System S1 System S2 t System S3 System S4 g

EXAMPLE: HEURISTIC REPAIR System S1 System S2 t System S3 System S4 g

EXAMPLE: HEURISTIC REPAIR System S1 System S2 t System S3 System S4 g

EXAMPLE: HEURISTIC REPAIR System S1 System S2 t System S3 System S4 g

EXAMPLE: HEURISTIC REPAIR System S1 System S2 t System S3 System S4 g

EXAMPLE: OPTIMAL SOLUTION System S1 System S2 t System S3 System S4 g

RESULTS SO FAR

OTHER POSSIBLE APPROXIMATION ALGORITHMS  Tree Search  Ant Colony Optimization  Simulated Annealing  Genetic Algorithms  Neural Networks ...

EXAMPLE 1: TREE SEARCH  Uses a tree to represent the search space  Uses backtracking to navigate the search through the tree  Stops once a good solution has been found  Always finds a solution if one exists  hard to implement efficiently

EXAMPLE 2: ANT COLONY OPTIMIZATION  Uses virtual ants (independent agents) to find a solution  Each ant leaves a bit of pheromone on the trail used to find a solution  New ants are more likely to follow trails with more pheromone on them  Stochastic algorithm  Scales very well with the hardware  Not as easy to understand and maintain  Hard to test because it is not deterministic

SUMMARY  Constrained scheduling is a tricky problem  Current scheduling strategy can be improved  A general purpose scheduler can be used for many problems  A prototype of the Heuristic Repair has been implemented  The approximation algorithms are very diverse, there might be a better one than Heuristic Repair