Dr. Janos Sztipanovits E. Bronson Ingram Distinguished Professor of EECS Director of ISIS

transcript

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

• 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

MetaModels

Generic Model Editor

Model Transformation

Unified Data Model

BACKPLANE REGISTRATION/NOTIFICATION/TRANSFER SERVICES

SEMANTIC TRANSLATOR

TOOL ADAPTOR

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

Organization/Coordination Controller/Vehicle Dynamics Processing (Tracking) 3-D Environment (Sensors)

Simulation Interaction Simulation Architecture

Network Architecture

HLA Simulation Integration Platform

C2 Wind Tunnel

Sniper Location

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

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

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

• MoBIES DARPA Program – Model Transformation Technology– Open Tool Integration Framework– Model-Based Code Generators

OMG MIC PSIG

COSMIC

SemanticAnchoring

ESCHER

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

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

DOC Grpup

ISIS Industry Partners

Boeing

VU/ISIS

Siemens

Boeing

Raytheon

Boeing

BoeingXerox

ISIS Academic Partners

VU/ISIS

Stanford

CMUPenn

Cornell

USC-ISI

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)

MetaModels

Generic Model Editor

Model Transformation

Unified Data Model

BACKPLANE REGISTRATION/NOTIFICATION/TRANSFER SERVICES

SEMANTIC TRANSLATOR

TOOL ADAPTOR

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 [duncan@eng.sun.com] * @author James Todd [gonzo@eng.sun.com] */

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?

• 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

• 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

Dr. Janos Sztipanovits E. Bronson Ingram Distinguished Professor of EECS Director of ISIS

Documents