Janos Sztipanovits
Dr. Janos Sztipanovits
E. Bronson Ingram Distinguished Professor of EECS
Director of ISISVanderbilt University
Nashville, TN
Institute for Software-Integrated Systems
ISIS – 10 Years
Janos Sztipanovits 2
ISIS Snapshot - 2008 Established by the School of
Engineering at Vanderbilt University in 1998
Academic/professional researchorganization
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 3
• 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.
• 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, System-security co-design, Policy-driven architectures
• Secure Networked Embedded System– Wireless sensor networks middleware, radio-interferometric
localization, shooter location applications, lightweight SOA on MANET
• Education Technology
Core Research Areas GME
UDM
GReAT
MetaModels
Generic Model Editor
Model Transformation
Unified Data Model
OTIF
BACKPLANE REGISTRATION/NOTIFICATION/TRANSFER SERVICES
SEMANTIC TRANSLATOR
SEMANTIC TRANSLATOR
TOOL
TOOL ADAPTOR
TOOL
TOOL ADAPTOR
TOOL
TOOL ADAPTOR MANAGER
Standard interface/ Protocol
METADATA
DESERTComponent
Abstraction (TA)Design SpaceModeling (MD)
Design SpaceEncoding (TE)
Design SpacePruning
Design Decoding
ComponentReconstruction
Design Space Exploration
MIC Tool Suite
CPN SL/SF Devs
GME GME
OMNET
Ogre
Organization/Coordination Controller/Vehicle Dynamics Processing (Tracking) 3-D Environment (Sensors)
Simulation Interaction Simulation Architecture
Network Architecture
SL/SF
HLA Simulation Integration Platform
C2 Wind Tunnel
Sniper Location
Janos Sztipanovits 4
ISIS Milestones: 90’s
International Space Station
• Developed: 1992-1994• Deployed in 1995• Used program wide
FDIR Modeling Tool - physical - functional
DiagnosabilityAnalysis Tool
DiagnosticSystem
GM-Saturn
• Developed: 1995-1996• Deployed in 1996• Production use in 2 plants
Model-Based System
Integration Tool
Data Servers
Bottleneck Tool
Process Viewer
DuPont Chemicals
• Developed: 1988-1993• Deployed in 1993• Used in Control Room
Activity Modeling Tool - process models - activity models
Process data
Simulator
Diagnostics
• Domain Specific Modeling Languages• Basic Model Translators• Composition platform: MGK• OODB
• Multiple aspect modeling• Metaprogrammable model builder: XGEM• Model migration
• Metamodeling• Model-based distributed system integration• Multiple-target generators
1990
1995
1999
DARPA EDCS
DTool/Boeing
SSPF/SATURNMS Platform
Adaptive Target Rec. - Data Flow - Hardware Resources - Behavior
• Developed: 1997-2000• HW/SW Co-design• VHDL generation
• Embeddable “Active” Models• Generative Modeling• GME x• Design space modeling
UML-basedMetamodeling
GMEDesign space modelingEmbeddedModels
Simulator
SW Generator
VHDL Generator
XGEM
IPCS/DuPont
Activity ModelingLanguage
ISIS Established
MIC Alliance
Key Driving Programs InnovationsTime line
Janos Sztipanovits
ISIS Milestones: 00’s
Foundations of Embedded Systems Large NSF ITRUC Berkeley/ISIS-VU
DARPA
• MoBIES DARPA Program – Model Transformation Technology– Open Tool Integration Framework– Model-Based Code Generators
2000
2005
OMG MIC PSIG
OTIF
COSMIC
GReAT
SemanticAnchoring
ESCHER
NSF
GME 200X
Model-Driven Middleware
• New MIC Directions:– Network-centric systems– Secure networked embedded systems– Model-based integration of heterogeneous systems– High-confidence systems
• 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–System/security co-design– Architecture exploration
Security Modeling
ArchitectureExploration
SPP
2006
2007
ARMS
NSF Science and Technology CenterUC Berkeley/CMU/Cornell/ISIS-VU/Stanford
C2 WindtunnelHigh ConfidenceDesign SOA on MANETAdaptive Architectures
DARPA DARPA
Key Driving Programs InnovationsTime line
C2 Windtunnels
Human Centric Design
2008
DOC Grpup
Janos Sztipanovits 6
ISIS Industry Partners
GM
Boeing
VU/ISIS
LMCOl
Siemens
Boeing
Raytheon
SwRI
Boeing
MSR
BoeingXerox
BAE
BBN
IBM
Janos Sztipanovits 7
ISIS Academic Partners
UM
MIT
UCB
VU/ISIS
Stanford
UI
UVWU
CMUPenn
Cornell
EU
USC-ISI
ND
GTUA
Janos Sztipanovits 8
Large-Impact Projects• DoD FCS program
ISIS MIC tool suite transitioned to modeling and analysisof FCS architecture, and from FY07 to systems integration.
• NEST Shooter Location + Self LocalizationISIS sensor net protocols, self localization technology and theShooter 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 SuiteGME/GREAT/UDM is used worldwide.
Up and Coming:• TRUST Model-Integrated Clinical Information
Systems (MICIS) tools• Command and Control Wind Tunnel (C2WT)
GME
UDM
GReAT
MetaModels
Generic Model Editor
Model Transformation
Unified Data Model
OTIF
BACKPLANE REGISTRATION/NOTIFICATION/TRANSFER SERVICES
SEMANTIC TRANSLATOR
SEMANTIC TRANSLATOR
TOOL
TOOL ADAPTOR
TOOL
TOOL ADAPTOR
TOOL
TOOL ADAPTOR MANAGER
Standard interface/ Protocol
METADATA
DESERTComponent
Abstraction (TA)
Design Space
Modeling (MD)
Design Space
Encoding (TE)
Design Space
Pruning
Design
Decoding
Component
Reconstruction
Design Space Exploration
MIC Tool Suite
Janos Sztipanovits
zpackage org.apache.tomcat.session;
import org.apache.tomcat.core.*;import org.apache.tomcat.util.StringManager;import java.io.*;import java.net.*;import java.util.*;import javax.servlet.*;import javax.servlet.http.*;
/** * Core implementation of a server session * * @author James Duncan Davidson [[email protected]] * @author James Todd [[email protected]] */
public class ServerSession {
private StringManager sm = StringManager.getManager("org.apache.tomcat.session"); private Hashtable values = new Hashtable(); private Hashtable appSessions = new Hashtable(); private String id; private long creationTime = System.currentTimeMillis();; private long thisAccessTime = creationTime; private long lastAccessed = creationTime; private int inactiveInterval = -1; ServerSession(String id) { this.id = id; }
public String getId() { return id; }
public long getCreationTime() { return creationTime; }
public long getLastAccessedTime() { return lastAccessed; } public ApplicationSession getApplicationSession(Context context, boolean create) { ApplicationSession appSession = (ApplicationSession)appSessions.get(context);
if (appSession == null && create) {
// XXX // sync to ensure valid? appSession = new ApplicationSession(id, this, context); appSessions.put(context, appSession); }
// XXX // make sure that we haven't gone over the end of our // inactive interval -- if so, invalidate and create // a new appSession return appSession; } void removeApplicationSession(Context context) { appSessions.remove(context); }
/** * Called by context when request comes in so that accesses and * inactivities can be dealt with accordingly. */
void accessed() { // set last accessed to thisAccessTime as it will be left over // from the previous access
lastAccessed = thisAccessTime; thisAccessTime = System.currentTimeMillis(); }
void validate()
Software Control Systems
Modeling Layer
The Great Convergence:
Future of ISIS: Technology
• 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 10
• 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)
Future of ISIS: The New Research Paradigm
How can we remain a coveted partner of the best?
Janos Sztipanovits
Challenge for the Next Decade
11
• 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
