MODULARITY & COMPOSITION: AUTOMATING SYSTEM SYNTHESIS Jason - - PowerPoint PPT Presentation

modularity composition automating system synthesis
SMART_READER_LITE
LIVE PREVIEW

MODULARITY & COMPOSITION: AUTOMATING SYSTEM SYNTHESIS Jason - - PowerPoint PPT Presentation

MODULARITY & COMPOSITION: AUTOMATING SYSTEM SYNTHESIS Jason Ziglar, PhD Candidate Bradley Department of Electrical and Computer Engineering Dr. Ryan Williams 1 , Dr. Al Wicks 2 1 Laboratory for Coordination at Scale 2 Applied Autonomy and


slide-1
SLIDE 1

MODULARITY & COMPOSITION: AUTOMATING SYSTEM SYNTHESIS

Jason Ziglar, PhD Candidate Bradley Department of Electrical and Computer Engineering

  • Dr. Ryan Williams1, Dr. Al Wicks2

1Laboratory for Coordination at Scale 2Applied Autonomy and Mechatronics Lab

Virginia Polytechnic Institute and State University

slide-2
SLIDE 2

MODULAR COMPONENTS ARE INESCAPABLE

  • Component-based systems track robotics research
  • Distributed
  • Prescriptive
  • Manual
  • Messy

2

slide-3
SLIDE 3

INTEGRATION IS UNIVERSAL

  • Complex robot design can’t/shouldn’t be done in
  • ne-shot
  • Or by one person
  • Integration provides a descriptive step
  • Challenge is structure

3

slide-4
SLIDE 4

PARAMETERIZATION FOR INTEGRATION

  • Track component development
  • Descriptive
  • Manual
  • Generating structure in the face of limited

resources

slide-5
SLIDE 5

[arXiv:1706.04580 cs.RO]

Context-Aware System Synthesis

slide-6
SLIDE 6

COMPONENT MODEL

  • Tasks & Devices
  • Compositional
  • Resources
  • Modules
  • Regularize functionality
  • ver components

Obstacle Mapper

LIDAR Maps Pose ROI Computer Ethernet RS-232 USB

6

Task Requirements Device Resources Task Device Modules

LIDAR Interface LIDAR LIDAR RS-232

LIDAR Filter LIDAR Obstacle Mapper LIDAR LIDAR Maps

slide-7
SLIDE 7

SYNTHESIS APPROACH

LIDAR Perception Computer Operator Computer RS-232 Ethernet LIDAR Interface LIDAR Filter Obstacle Mapper GUI LIDAR LIDAR Maps LIDAR Interface LIDAR Filter Obstacle Mapper GUI LIDAR LIDAR Maps

LIDAR Filter LIDAR Obstacle Mapper LIDAR LIDAR Maps

LIDAR Interface LIDAR LIDAR RS-232 GUI Maps

Perception Computer Ethernet RS-232 Operator Computer Ethernet

7 SLAM LIDAR Maps IMU Pose

slide-8
SLIDE 8

ESCHER

8

Video Credit: VT

slide-9
SLIDE 9

ESCHER OVERVIEW

  • Built for the DARPA Robotics Challenge
  • Complex Computing Setup
  • Optional Field Computing
  • Degraded Communications
  • Complex Software Design
  • >1.7 million SLOC
  • 3 middleware systems
  • 3 teams, 5 universities
  • 9.120s for synthesis

ESCHER Field Computer Operator Control Stations

9

slide-10
SLIDE 10

ESCHER HARDWARE

  • Manual

Synthesized

10

slide-11
SLIDE 11

HARDWARE DIFFERENCES

11

slide-12
SLIDE 12

SW STRUCTURE

12

  • Manual

Synthesized

slide-13
SLIDE 13

Manual Synthesized

SW DIFFERENCES