Transcript No Slide Title

Institute for Software-Integrated Systems
ISIS – 10 Years
Dr. Janos Sztipanovits
E. Bronson Ingram Distinguished
Professor of EECS
Director of ISIS
Vanderbilt University
Nashville, TN
Janos Sztipanovits
ISIS Snapshot - 2008
 Established by the School of
Engineering at Vanderbilt University
in 1998
 Academic/professional research
organization
 Composition (housed in 3 buildings):
- 30 Research Scientists &
Staff Engineers
- 9 Faculty
- 7 Admin Staff
- 6 Visitors
- 50 Graduate students
 ~$12,000,000 FY08 research awards
 ~$ 9,200,000 FY08 expenditure
 ~50 projects
Janos Sztipanovits
2
Core Research Areas
Generic Model Editor
GME
• Model-Integrated Computing (MIC)
– Metaprogrammable tool suite for domain-specific modeling,
model transformations, model management, tool and model
integration and design space exploration. Semantic foundation
for agile design automation.
Unified Data Model
Design Space
Exploration
UDM
DESERT
Component
Abstraction (TA)
Design Space
Modeling (MD)
Design Space
Encoding (TE )
Component
Reconstruction
Design
Decoding
Design Space
Pruning
Meta
Models
OTIF
TOOL
TOOL
TOOL
ADAPTOR
METADATA
MIC
Tool Suite
TOOL
TOOL
ADAPTOR
TOOL
ADAPTOR
MANAGER
BACKPLANE
REGISTRATION/NOTIFICATION/TRANSFER SERVICES
SEMANTIC
TRANSLATOR
SEMANTIC
TRANSLATOR
Standard interface/
Protocol
GReAT
Model Transformation
• Distributed Object Computing (DOC)
– Adaptive & reflective middleware, model-based integration
technology above component models, secure middleware
• Model-Based Design and Integration
– Trustworthy Health Information Systems, High-confidence
design, Model-driven architecture exploration, Incremental
system integration, Structurally adaptive systems, Systemsecurity co-design, Policy-driven architectures
• Secure Networked Embedded System
Controller/Vehicle Dynamics
Organization/Coordination
CPN
SL/SF
Processing (Tracking)
SL/SF
3-D Environment (Sensors)
Devs Ogre
HLA Simulation Integration Platform
GME
Simulation Interaction
GME
Simulation Architecture
C2 Wind Tunnel
OMNET
Network Architecture
– Wireless sensor networks middleware, radio-interferometric
localization, shooter location applications, lightweight SOA on
MANET
• Education Technology
Sniper Location
Janos Sztipanovits
3
ISIS Milestones: 90’s
Time line
1990
Key Driving Programs
Activity Modeling Tool
- process models
- activity models
Innovations
Simulator
Process data
• Developed: 1988-1993
• Deployed in 1993
• Used in Control Room
Activity Modeling
Language
Diagnostics
DuPont Chemicals
IPCS/DuPont
FDIR Modeling Tool
- physical
- functional
XGEM
1995
DTool/Boeing
International Space Station
• Developed: 1992-1994
• Deployed in 1995
• Used program wide
Diagnosability
Analysis Tool
Diagnostic
System
• Domain Specific
Modeling Languages
• Basic Model Translators
• Composition platform:
MGK
• OODB
• Multiple aspect modeling
• Metaprogrammable
model builder: XGEM
• Model migration
MIC Alliance
1999
SSPF/SATURN
MS Platform
DARPA EDCS
UML-based
Metamodeling
ISIS Established
GME
Design space
modeling
Embedded
Models
Model-Based System
Integration Tool
Bottleneck Tool
• Developed: 1995-1996
• Deployed in 1996
GM-Saturn
Process Viewer
• Production use in
2 plants
Adaptive Target Rec.
- Data Flow
- Hardware Resources
- Behavior
• Developed: 1997-2000
• HW/SW Co-design
• VHDL generation
Janos Sztipanovits
Data Servers
Simulator
SW Generator
VHDL Generator
• Metamodeling
• Model-based distributed
system integration
• Multiple-target
generators
• Embeddable “Active”
Models
• Generative Modeling
• GME x
• Design space modeling
4
ISIS Milestones: 00’s
Key Driving Programs
Time line
2000
Innovations
• MoBIES DARPA Program
– Model Transformation
Technology
– Open Tool Integration
Framework
– Model-Based Code Generators
GME 200X
OTIF
DOC Grpup
Model-Driven
Middleware
OMG MIC PSIG
ESCHER
GReAT
2005
2006
2007
SPP
COSMIC
Semantic
Anchoring
Architecture
Exploration
Security
Modeling
C2 Windtunnel
High Confidence
Design
SOA on MANET
Adaptive
Architectures
2008
Janos Sztipanovits
DARPA
ARMS
DARPA
DARPA
• NEST DARPA Program
– MIC for Sensor Networks
– New applications: Shooter loc.
• ARMS DARPA Program
– Component-based DRE dev.
– Multiple QoS properties
– Model-based design
• New MIC Foundations
– Semantic Foundations
– Metaprogrammable Tool
Suite
– Model-Based Design Flows
• New Domains
Foundations of Embedded
– System/security co-design
NSF Science and Technology Center
Systems Large NSF ITR
UC Berkeley/CMU/Cornell/ISIS-VU/Stanford
UC Berkeley/ISIS-VU
– Architecture exploration
• New MIC Directions:
C2 Windtunnels
– Network-centric systems
Human Centric Design
– Secure networked
embedded systems
– Model-based integration
of heterogeneous systems
– High-confidence systems
NSF
ISIS Industry Partners
Boeing
MSR
BBN
GM
IBM
BAE
LMCOl
Siemens
Xerox
Boeing
Boeing
VU/
ISIS
Boeing
Raytheon
SwRI
Janos Sztipanovits
6
ISIS Academic Partners
MIT
UM
UI ND
UCB
WU
Stanford
USC
-ISI
Janos Sztipanovits
CMU
UA
Penn
UV
Cornell
EU
VU/
ISIS
GT
7
Large-Impact Projects
• DoD FCS program
ISIS MIC tool suite transitioned to modeling and analysis
of FCS architecture, and from FY07 to systems integration.
• NEST Shooter Location + Self Localization
ISIS sensor net protocols, self localization technology and the
Shooter Location system transitioned to Raytheon
• Fault-Adaptive Control Technology
Boeing has licensed the diagnostic software for use on their
vehicle programs
• Distributed Planning/Scheduling technology
ISIS research project results have been transitioned to
USMC tactical aviation squadrons
• ACE-TAO Middleware and COSMIC tools
ACE-TAO used worldwide. Tools used in a large number of
commercial and defense programs in the US.
• MIC Tool Suite
GME/GREAT/UDM is used worldwide.
Up and Coming:
• TRUST Model-Integrated Clinical Information
Systems (MICIS) tools
• Command and Control Wind Tunnel (C2WT)
Janos Sztipanovits
Generic Model Editor
GME
Unified Data Model
Design Space
Exploration
UDM
DESERT
C omponent
A bst ract ion ( TA )
D esign Space
Modeling ( MD )
D esign Space
Encoding ( TE )
C omponent
R econst ruct ion
D esign
D ecoding
D esign Space
Pruning
Meta
Models
OTIF
TOOL
TOOL
TOOL
ADAPTOR
METADATA
TOOL
ADAPTOR
MIC
Tool Suite
TOOL
TOOL
ADAPTOR
MANAGER
BACKPLANE
REGISTRATION/NOTIFICATION/TRANSFER SERVICES
SEMANTIC
TRANSLATOR
SEMANTIC
TRANSLATOR
Standard interface/
Protocol
GReAT
Model Transformation
8
Future of ISIS: Technology
The Great Convergence:
Software
Control
Systems
package org. apac he.to mcat. sessi on;
z
import org.a pach e.tom cat.c ore.* ;
import org.a pach e.tom cat.u til.S tring Mana ger;
import java. io.* ;
import java. net. *;
import java. util .*;
import javax .ser vlet. *;
import javax .ser vlet. http. *;
/**
* Core impl emen tatio n of a ser ver s essi on
*
* @aut hor J ames Dunc an Da vidso n [du ncan @eng. sun.c om]
* @aut hor J ames Todd [gon zo@en g.sun .com ]
*/
public class Ser verSe ssion {
pri vate Stri ngMan ager sm =
Stri ngMa nager .getM anage r("or g.ap ache. tomca t.ses sion" );
pri vate Hash table valu es = new H asht able( );
pri vate Hash table appS essio ns = new Hasht able( );
pri vate Stri ng id ;
pri vate long crea tionT ime = Syst em.c urren tTime Milli s();;
pri vate long this Acces sTime = cr eati onTim e;
pri vate long last Acces sed = crea tion Time;
pri vate int inact iveIn terva l = - 1;
Ser verSe ssio n(Str ing i d) {
this .id = id;
}
pub lic S trin g get Id() {
retu rn i d;
}
pub lic l ong getCr eatio nTime () {
retu rn c reati onTim e;
}
pub lic l ong getLa stAcc essed Time( ) {
retu rn l astAc cesse d;
}
pub lic A ppli catio nSess ion g etApp lica tionS essio n(Con text cont ext,
bool ean creat e) {
Appl icat ionSe ssion appS essio n =
(App licat ionSe ssion )appS essi ons.g et(co ntext );
if ( appS essio n == null && cr eate ) {
// X XX
// s ync t o ens ure v alid?
appS essio n = n ew Ap plica tion Sessi on(id , thi s, co ntex t);
appS essio ns.pu t(con text, app Sessi on);
}
// X XX
// m ake sure that we ha ven't gon e ove r the end of ou r
// i nact ive i nterv al -- if s o, i nvali date and c reate
// a new appS essio n
retu rn a ppSes sion;
}
voi d rem oveA pplic ation Sessi on(Co ntex t con text) {
appS essi ons.r emove (cont ext);
}
/**
* Calle d by cont ext w hen r eques t co mes i n so that acces ses and
* inact ivit ies c an be deal t wit h ac cordi ngly.
*/
voi d acc esse d() {
// s et l ast a ccess ed to this Acce ssTim e as it wi ll be lef t ove r
// f rom the p revio us ac cess
last Acce ssed = thi sAcce ssTim e;
this Acce ssTim e = S ystem .curr entT imeMi llis( );
}
voi d val idat e()
Modeling Layer
• Ultra Large Scale Systems:The number and complexity of components rapidly grow
• Cyber Physical Systems: Engineered systems use physical and computational components
• Model-Based Design:
Tool-based design automation using formal and manipulable models
• Assist Human Cognition: Learning technology matters…
How can we stay relevant?
Janos Sztipanovits
Future of ISIS:
The New Research Paradigm
• Past: Competence of individuals
• Recent past: Competence of organizations
• Present and Future: Only dynamic, multi-
institutional teams can be competitive
• Examples:
TRUST S&TC (NSF)
(Partners: UC Berkeley/CMU/Cornell/Stanford/Vanderbilt-ISIS)
High Confidence Design MURI (AFOSR)
(Partners: Vanderbilt-ISIS/UC Berkeley/CMU/Stanford)
ATR MURI (ARO)
(Partners: UC Berkeley/MIT/Vanderbilt-ISIS)
C2WT PRET (AFOSR)
(Partners: Vanderbilt-ISIS/UC Berkeley/GMU)
How can we remain a coveted partner of the best?
Janos Sztipanovits
10
Challenge for the Next Decade
• Reputation that is based on excellent work -
that distinguishes us even among the best
• Intellectual environment and atmosphere that
attract talent and make worthwhile not only
coming but staying…
• Exceptional learning, networking and
placement opportunities for our students to
attract the best minds
• Recognized leaders, movers and shakers in
research areas that are directly relevant to
major societal-scale problems
Janos Sztipanovits
11