+ All Categories
Home > Documents > MODULARITY & COMPOSITION: AUTOMATING SYSTEM ...minimality.mit.edu/slides/ziglar.pdfMODULARITY &...

MODULARITY & COMPOSITION: AUTOMATING SYSTEM ...minimality.mit.edu/slides/ziglar.pdfMODULARITY &...

Date post: 04-Mar-2021
Category:
Upload: others
View: 20 times
Download: 0 times
Share this document with a friend
13
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 Mechatronics Lab Virginia Polytechnic Institute and State University
Transcript
Page 1: MODULARITY & COMPOSITION: AUTOMATING SYSTEM ...minimality.mit.edu/slides/ziglar.pdfMODULARITY & COMPOSITION: AUTOMATING SYSTEM SYNTHESIS Jason Ziglar, PhD Candidate Bradley Department

MODULARITY & COMPOSITION: AUTOMATING

SYSTEM SYNTHESISJason Ziglar, PhD Candidate

Bradley Department of Electrical and Computer EngineeringDr. Ryan Williams1, Dr. Al Wicks2

1Laboratory for Coordination at Scale2Applied Autonomy and Mechatronics Lab

Virginia Polytechnic Institute and State University

Page 2: MODULARITY & COMPOSITION: AUTOMATING SYSTEM ...minimality.mit.edu/slides/ziglar.pdfMODULARITY & COMPOSITION: AUTOMATING SYSTEM SYNTHESIS Jason Ziglar, PhD Candidate Bradley Department

MODULAR COMPONENTS ARE INESCAPABLE

• Component-based systems track robotics research

◦ Distributed

◦ Prescriptive

◦ Manual

◦ Messy2

Page 3: MODULARITY & COMPOSITION: AUTOMATING SYSTEM ...minimality.mit.edu/slides/ziglar.pdfMODULARITY & COMPOSITION: AUTOMATING SYSTEM SYNTHESIS Jason Ziglar, PhD Candidate Bradley Department

INTEGRATION IS UNIVERSAL

• Complex robot design can’t/shouldn’t be done in one-shot

◦ Or by one person

• Integration provides a descriptive step

• Challenge is structure3

Page 4: MODULARITY & COMPOSITION: AUTOMATING SYSTEM ...minimality.mit.edu/slides/ziglar.pdfMODULARITY & COMPOSITION: AUTOMATING SYSTEM SYNTHESIS Jason Ziglar, PhD Candidate Bradley Department

PARAMETERIZATION FOR INTEGRATION

• Track component development

• Descriptive

• Manual

• Generating structure in the face of limited resources

Page 5: MODULARITY & COMPOSITION: AUTOMATING SYSTEM ...minimality.mit.edu/slides/ziglar.pdfMODULARITY & COMPOSITION: AUTOMATING SYSTEM SYNTHESIS Jason Ziglar, PhD Candidate Bradley Department

[arXiv:1706.04580 cs.RO]

Context-Aware System Synthesis

Page 6: MODULARITY & COMPOSITION: AUTOMATING SYSTEM ...minimality.mit.edu/slides/ziglar.pdfMODULARITY & COMPOSITION: AUTOMATING SYSTEM SYNTHESIS Jason Ziglar, PhD Candidate Bradley Department

COMPONENT MODEL

• Tasks & Devices

◦ Compositional

◦ Resources

• Modules

◦ Regularize functionality over components

ObstacleMapper

LIDARMapsPose

ROI

ComputerEthernet

RS-232USB

6

Task Requirements

Device Resources

Task

Device

Modules

LIDARInterface

LIDARLIDAR

RS-232

LIDARFilter

LIDAR

ObstacleMapper

LIDAR

LIDAR Maps

Page 7: MODULARITY & COMPOSITION: AUTOMATING SYSTEM ...minimality.mit.edu/slides/ziglar.pdfMODULARITY & COMPOSITION: AUTOMATING SYSTEM SYNTHESIS Jason Ziglar, PhD Candidate Bradley Department

SYNTHESIS APPROACH

LIDARPerceptionComputer

OperatorComputer

RS-232 Ethernet

LIDARInterface

LIDARFilter

ObstacleMapper

GUILIDAR LIDAR Maps

LIDARInterface

LIDARFilter

ObstacleMapper

GUILIDAR LIDAR Maps

LIDARFilter

LIDAR

ObstacleMapper

LIDAR

LIDAR Maps

LIDARInterface

LIDARLIDAR

RS-232

GUIMaps

PerceptionComputer

Ethernet RS-232

OperatorComputer

Ethernet

7

SLAM

LIDAR Maps

IMU Pose

Page 8: MODULARITY & COMPOSITION: AUTOMATING SYSTEM ...minimality.mit.edu/slides/ziglar.pdfMODULARITY & COMPOSITION: AUTOMATING SYSTEM SYNTHESIS Jason Ziglar, PhD Candidate Bradley Department

ESCHER

8

Video Credit: VT

Page 9: MODULARITY & COMPOSITION: AUTOMATING SYSTEM ...minimality.mit.edu/slides/ziglar.pdfMODULARITY & COMPOSITION: AUTOMATING SYSTEM SYNTHESIS Jason Ziglar, PhD Candidate Bradley Department

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 FieldComputer

OperatorControlStations

9

Page 10: MODULARITY & COMPOSITION: AUTOMATING SYSTEM ...minimality.mit.edu/slides/ziglar.pdfMODULARITY & COMPOSITION: AUTOMATING SYSTEM SYNTHESIS Jason Ziglar, PhD Candidate Bradley Department

ESCHER HARDWARE

��������������

�����������������������

���������������

��������

�������������

��������

�������������������

������������������

��������

����������

������

����������������� ���������������

���������������

����������

������

����������

���

������������

������

����������

������

����������

������

������������������

��������

��������

��������������

���

����������

���������

������������������

����

�����������

������

��������������

���������������

��������

���������������

��������

�������������

��������

����������

������

�����������������

�������

��������

���������������

����������

������

����������

���

������������

������

����������������

����������

������

������������������ ��������

��������

��������������

���

����������

���������

������������������

����

�����������

������

Manual Synthesized

10

Page 11: MODULARITY & COMPOSITION: AUTOMATING SYSTEM ...minimality.mit.edu/slides/ziglar.pdfMODULARITY & COMPOSITION: AUTOMATING SYSTEM SYNTHESIS Jason Ziglar, PhD Candidate Bradley Department

HARDWARE DIFFERENCES

11

Page 12: MODULARITY & COMPOSITION: AUTOMATING SYSTEM ...minimality.mit.edu/slides/ziglar.pdfMODULARITY & COMPOSITION: AUTOMATING SYSTEM SYNTHESIS Jason Ziglar, PhD Candidate Bradley Department

SW STRUCTURE

12

������������������������������

�������������

����������������

������������

������������������ ���������������������������������������

����������������������

������������������

�������������������

���������������

�������������

�������������������

���������������

��������������

����������������

���������������������

��������������

����������������

������������

��������������

����������� ������������������

������������������

������������������������

������������

���������������

�����������������

����������������

�����������

��������������

�����������������������

�������������������

��������������������������

������������������������������

�������������

����������������

������������

������������������ ���������������������������������������

����������������������

������������������

�������������������

���������������

�������������

�������������������

���������������

��������������

����������������

���������������������

��������������

����������������

������������

��������������

����������� ������������������

������������������

������������������������

������������

���������������

�����������������

����������������

�����������

��������������

�����������������������

�������������������

��������������������������

Manual Synthesized

Page 13: MODULARITY & COMPOSITION: AUTOMATING SYSTEM ...minimality.mit.edu/slides/ziglar.pdfMODULARITY & COMPOSITION: AUTOMATING SYSTEM SYNTHESIS Jason Ziglar, PhD Candidate Bradley Department

Manual Synthesized

SW DIFFERENCES


Recommended