Transcript Paul Eremenko

Adaptive Make: DARPA Manufacturing Portfolio Overview
Paul Eremenko
Briefing prepared for the MIT/OSTP Science of Digital Fabrication Workshop
March 7, 2013
The views expressed are those of the author and do not reflect the official policy or position of the Department of Defense or the U.S. Government.
1
Adaptive Make for Cyber-Physical Systems (Vehicles)
2
A worrisome trend
3
Existence proof
increasing abstraction
Transistor model
Capacity load
Gate level model
Capacity load
System-on-chip
IP block performance
Design Framework Inter IP communication
Wire load
performance models
Abstract
IP blocks
Abstract
RTL
Abstract
Cluster
RTL
clusters
SW
models
Cluster
Cluster
Feature
Size (µm)
Transistors
per chip
Speed (Hz)
Development time
(mo)
Sources: Singh R., Trends in VLSI Design: Methodologies and CAD Tools, CEERI,
Intel, The Evolution of a Revolution, and Sangiovanni-Vinventelli, A., Managing Complexity in IC Design, 2009
Daily
engineer
output
(Trans/day)
4
Design tools (META)
Component Models
Modelica
State Flow
Bond Graphs
AADL
Geometry
Semantic
Integration
•
•
•
•
•
Qualitative Reasoning
Static Trade Space Exploration
Embedded Software Synthesis
• Auto code generation
• Generation of hardwarespecific timing models
• Monte Carlo simulation
sampling to co-verify
• Hybrid model checking
under investigation
•
•
•
•
•
•
Static constraint application
Manufacturability constraints
Structural complexity metrics
Info entropy complexity metrics
Identify Pareto-dominant designs
10^10  10^4 designs
•
•
•
•
•
Linear Differential Equation Models
Relational Abstraction
A
CAD & Partial Differential Equation Models
• Generate composed
CAD geometry for iFAB
• Generate structured &
unstructured grids
• Provide constraints and
input data to PDE solvers
• Couple to existing FEA, CFD,
EMI, & blast codes
• 10  1 design
Qualitative abstraction of dynamics
Computationally inexpensive
Quickly eliminate undesirable designs
State space reachability analysis
10^4  10^3 designs
B
• Models are fully composable
• Simulation trace sampling to verify
correctness probability
• Application of probabilistic model
checking under investigation
• 10^2  10 designs
•
•
•
•
•
Relational abstraction of dynamics
Discretization of continuous state space
Enables formal model checking
State-space reachability analysis
10^3  10^2 designs
5
Foundry-style manufacturing tools (iFAB)
*Manufacturing Constraint
Feedback to META Design
*
Static Process Mapping
Sequencing
Foundry Trade Space
Exploration
META Design
Manufacturing Process Model Library
Kinematic Machine Mapping
Scheduling
Constraints
from Selected
Configuration
CNC Instructions
Topological Decomposition
Human Instructions
Kinematic Assembly Mapping
*
Rock Island Arsenal Bldg 299
Final Assembly
6
Foundry-style manufacturing processes (Open Mfr’ing)
Product Development Cycle
Manufacturing Technology Development
5-7 Years
Manufacturing variability is not
captured until the sub-component/
component level testing
Iterations result from
uninformed
manufacturing variation
Design
3-5 Years
Test and Evaluation/Qualification/Certification
7-10 Years
Stochastic manufacturing process variation and non-uniform manufacturing process scaling drives cost and
schedule uncertainty, and leads to major barriers to manufacturing technology innovation
Open Manufacturing captures factory-floor variability and integrates probabilistic computational tools,
informatics systems, and rapid qualification approaches to build confidence in the process
7
Foundry-style manufacturing processes (Open Mfr’ing)
•
Accelerate development of innovative additive manufacturing processes to
reduce risk for first adopters
•
Exemplar: Demonstration of Micro-Induction Sintering for additive manufacturing
of metal matrix composites
Flux
Concentrator
Consolidated
metal matrix
composite
Powder bed
•
Probabilistic computational tools (process-microstructure-property models) to
predict process and part performance
•
Exemplar: Integrated Computational Materials Engineering (ICME) Tools for Direct
Metal Laser Sintering (DMLS) of Inconel 718
• Simulate thermal history of the laser sintered powder, residual stress of the sintered
material, gamma prime phase particle size distribution, and material performance
Process
Models
μ-structural
Models
Property
Models
8
Open innovation (VehicleFORGE)
9
Adaptive Make for Synthetic Biology
10
A worrisome trend
minimal bacterium
Effort (total $ * yrs to develop) [$*yr]
1,00E+11
11
10
1,00E+10
10
10
DuPont, 2002
1,3 propanediol
DARPA annual
budget
10
1,00E+099
JBEI/Amyris
Artemisinin
2009
10
1,00E+088
10
1,00E+077
10
1,00E+066
yeast
SOA
Goal
Design
1-3 months
<1 week
DNA Synth.
$0.45-$0.75
2wks-2mos
20 kb
$0.004
2 days
Mb’s
Test/Debug
weeks
<1 day
Complexity
<10s genes
routine: <10
103-104
genes
Total Time
7 yrs
<1 yr
LF: after 6 mos
1,00E+055
10
Living Foundries
1,00E+044
10
metabolic engineering
genome rewrite
complex genetic circuits
10
1,00E+033
11
10
10
100
100
1 000
1,000
10 000
10,000
100 000
100,000
Complexity (# genes inserted/modified)
11
Design tools (Living Foundries)
Computer Aided Design
Data Management
New molecules/new functions
Learn
JIRA Bug Tracking
Sequencing
Transcript Levels
Design
Build
Activity
Protein Levels
Test
High-Throughput
Screening:
12
Sequencing, RNA-seq, Mass spec,
Multiplex PCR, LC-MS, GC-MS
Synthesis/Assembly/Strain Creation:
Molecular Biology, Microfluidics and Liquid Handling
12
Foundry-style manufacturing (Blue Angel)
The result today…
Rapid, adaptive platform. Tobacco plant
production may result in more rapid
production cycles (< 30 days) and less
facility expenditures to increase capacity
once an FDA approved product is
available.
Biology provides the
design rules and models
The tobacco plant is the ‘protein
foundry.’
Vaccine implementation:
Vaccine implementation: Redirection of
Only the relevant genetic sequence of
bug required, not entire virus.
tobacco plant protein production results in
candidate protein synthesis.
Texas A&M University (TAMU)-Caliber
example:
Growth room is approximately the size of
half a football field at four stories tall
(150 feet x 100 feet x 50 feet high)
Total number of plants: 2.2 million
DARPA Blue Angel program enabled…
• A 4 site manufacturing platform in the USA
capable of meeting phase 1 appropriate
FDA requirements for vaccine production.
• 3 Investigational New Drug Applications
with the FDA
• 3 Phase 1 clinical trials
13
Open innovation (FoldIt)
Unfolded (unstable)
Folded (stable)
Sources: Fold it, Katib et al,
Crystal structure of a monomeric retroviral protease solved by protein folding game players., Nature Structural and Molecular Biology 18, 1175–1177, 2011
14
Adaptive Make for Robotics
15
Design tools (M3)
Analogy: Hierarchical Electronic Design Automation (EDA) has catalyzed circuit design,
enabling exploitation of Moore’s law
Robot Design, presently ad-hoc, desperately needs analogous tools, even though the
problem is harder:
• Hierarchical “simulator in the loop”, near-real-time design tools, allowing bidirectional interaction with designers
• Designer-guided interactive optimization + design space exploration (e.g. GA)
• Statistically valid, hierarchical environment and contact models
• Statistically valid, hierarchical human operator + adversary models
Position 2
Position 3
Position 4
Position 5
100
90
90
90
90
90
80
80
80
80
80
70
70
70
70
70
60
60
60
60
60
50
40
50
40
50
40
Percentage (%)
100
Percentage (%)
100
Percentage (%)
100
Percentage (%)
Percentage (%)
Position 1
100
50
40
50
40
30
30
30
30
30
20
20
20
20
20
10
10
10
10
10
0
0
0
0
Exp.
Sim.
Exp.
Sim.
Exp.
Sim.
0
Exp.
Sim.
Exp.
Sim.
We can significantly amplify DARPA’s investment in robotics design tools through
open source partnering with researchers and enthusiasts worldwide
Our adversaries largely don’t need robots - improvements in robotics catalyzed by
DARPA will largely benefit the US even if improvements are shared globally
16
Fabrication (M3)
Serial Processes
O(N )
Self Assembly
Printing Processes
O( N 1/ 3 )  O(ln( N ))
O( N 2 / 3 )  O( N 1 / 3 )
Nature
Tissue Engineering
(e.g. insect muscles)
Roll-Roll Printing
Plate Printing
Manual Assembly
Present Rapid Prototyping
6
10
5
10
4
Time
10
3
10
2
10
Ward, Pratt, et. al (1992)
1
10
0
10
1
10
2
10
3
4
10
10
5
10
6
10
N
Ron Fearing, UCB
Neal Gershenfeld, MIT
(DSO Prog. Matter)
17
Open innovation (DARPA Robotics Challenge)
18
www.darpa.mil
19
Backup/Reference Charts
20
Status quo approach for managing complexity
SWaP used as a proxy
metric for cost, and disincentivizes abstraction
in design
System decomposed
based on arbitrary
cleavage lines . . .
MIL-STD-499A (1969) systems engineering
process: as employed today
Conventional V&V techniques
do not scale to highly complex
or adaptable systems–with
large or infinite numbers of
possible states/configurations
Re-Design
System Functional
Specification
Cost
Optimization
...
SWaP
Optimization
SWaP
Optimization
System
Layout
Power
Data & Control
Thermal Mgmt
. . . and detailed design
occurs within these
functional stovepipes
SWaP = Size, Weight, and Power
V&V = Verification & Validation
...
Verification
& Validation
Subsystem
Design
Component
Design
Subsystem
Testing
Resulting
architectures
are fragile
point designs
Component
Testing
Unmodeled and undesired
interactions lead to emergent
behaviors during integration
Desirable interactions (data, power, forces & torques)
Undesirable interactions (thermal, vibrations, EMI)
21
Little change in the systems engineering process
Engineering Change Requests (ECRs) per Month of Program Life
Mariner Spacecraft (1960s)
From Project Inception through Midcourse Maneuver, vol. 1 of
Mariner Mars 1964 Project Report: Mission and Spacecraft
Development, Technical Report No. 32-740, 1 March 1965, JPLA 828, p. 32, fig. 20.
Modern Cyber-Electromechanical System (2000s)
Giffin M., de Weck O., et al., Change Propagation Analysis in
Complex Technical Systems, J. Mech. Design, 131 (8), Aug. 2009.
22
Complexity is the root cause of cost growth
23
Modeling
Languages
Semantic
Integration
Constraints from
Higher Levels of
Abstraction
Design Trade Space Visualization
Design Space
Construction(Stat
ic Models)
QA/QC
Visualization
Metrics
Context Model
Library
Qualitative/
Relational
Models
Linear
Differential
Equation
Models
Nonlinear
Differential
Equation (PDE)
Models
Reachability
Analysis
Controller/
FDIR
Synthesis
CAD
Geometry/
Grid Synthesis
FANG2
FANG2’
FANG3
FEA
Manufacturability
Constraints
Design Update
Feedback
Preference
Surfaces
User Req’t
Synthesis
Legend:
FANG1
Structural & Entropy-Based Complexity Metrics Calculation
Static Constraint
Solver
MultiAttribute
Dynamic Visualization
Probabilistic
Model Checker
Requirements
Verification
Foundry Trade
Space Construct.
Monte Carlo
Dynamic Sim
Probabilistic Certificate of Correctness
Ass’y Selection
Process Mapping
Machine Selection
Foundry Resource
Scheduler
Machine/Ass’y Mod Lib
Instruction Sets
CNC Generator
CFD
BOM
...
DomainSpecific
Component Model
Library
AVM integrated toolchain with major releases
PLM
Process Model Library
24
AVM component model
Caterpillar C9 Diesel Engine : AVM Component
Weight
680 kg
Height
1070 mm
Number of Cylinders
6
Maximum RPM
2300 rpm
Length
1245 mm
Width
894.08 mm
Maximum Power
330 kW
Minimum RPM
600 rpm
Parameter/property
interfaces
High-Fidelity Modelica Dynamics Model
Rotational
Power Port
Signal Port
Low-fidelity dynamics
map
Low-Fidelity Modelica Dynamics Model
Rotational
Power Port
Power
interfaces
Power Out
Rotational
Power Port
map
Signal Port
Throttle
Signal
Port
Bond Graph Dynamics Model
Rotational
Power Port
Signal Port
Signal
interfaces
Detailed Geometry Model (CAD)
Detailed geometry
Structural
interfaces
Bell Housing
Structural
Interface
map
Structural
Interface
Structural
Interface
FEA-Ready CAD Model
Structural
Interface
Mount
Structural
Interface
Structural
interfaces
FEA geometry
map
Structural
Interface
25
Integration of formal semantics across multiple domains
Composition
• Continuous Time
• Discrete Time
• Discrete Event
META Semantic Integration
Simulink/
Stateflow
Embedded
Software
Modeling
Hybrid
Bond
Graph
Modelica
TrueTime
• Energy flows
• Signal flows
• Geometric
Functional
Mock-up
Unit
Equations
Modelica-XML
FMU-ME
S-function
FMU-CS
High Level
Architecture
Interface (HLA)
Formal Verification
Stochastic Co-Simulation
Distributed Simulation
•
•
•
•
• Open Modelica
• Delta Theta
• Dymola
•
•
•
•
Qualitative reasoning
Relational abstraction
Model checking
Bounded model checking
NS3
OMNET
Delta-3D
CPN
26