Janos Sztipanovits Dr. Janos Sztipanovits Institute for Software-Integrated Systems (ISIS)

Slides:



Advertisements
Similar presentations
ASCR Data Science Centers Infrastructure Demonstration S. Canon, N. Desai, M. Ernst, K. Kleese-Van Dam, G. Shipman, B. Tierney.
Advertisements

Robotics, Intelligent Sensing and Control Lab (RISC) University of Bridgeport Department of Computer Science and Engineering Robotics, Intelligent Sensing.
High-confidence Software for Cyber Physical Systems Drexel University Philadephia, PA Vanderbilt University Nashville, Tennessee Aniruddha Gokhale *, Sherif.
Automated Analysis and Code Generation for Domain-Specific Models George Edwards Center for Systems and Software Engineering University of Southern California.
February 21, 2008 Center for Hybrid and Embedded Software Systems Organization Board of Directors Edward A. Lee, UC Berkeley.
Wireless Embedded Systems (WEBS) Open Platform Pretreat David Culler May 18, 2001.
February 23, 2012 Center for Hybrid and Embedded Software Systems Organization Board of Directors Edward A. Lee, EECS Thomas.
Design of Fault Tolerant Data Flow in Ptolemy II Mark McKelvin EE290 N, Fall 2004 Final Project.
Foundations of Hybrid and Embedded Software Systems UC Berkeley: Chess Vanderbilt University: ISIS University of Memphis: MSI NSF Model-Based Design DSML.
Chess Review October 4, 2006 Alexandria, VA Embedded Systems Education: Vanderbilt Edited and Presented by Janos Sztipanovits ISIS, Vanderbilt University.
NSF Foundations of Hybrid and Embedded Software Systems UC Berkeley: Chess Vanderbilt University: ISIS University of Memphis: MSI Gautam Biswas and Ken.
Community Manager A Dynamic Collaboration Solution on Heterogeneous Environment Hyeonsook Kim  2006 CUS. All rights reserved.
23 September 2004 Evaluating Adaptive Middleware Load Balancing Strategies for Middleware Systems Department of Electrical Engineering & Computer Science.
An Intelligent Broker Architecture for Context-Aware Systems A PhD. Dissertation Proposal in Computer Science at the University of Maryland Baltimore County.
February Semantion Privately owned, founded in 2000 First commercial implementation of OASIS ebXML Registry and Repository.
Critical Emerging Network-Centric Applications Tele-control/tele-presence Defense Tele-medicine Remote plane/vehicle/robot control Distance learning Real-time.
Dr. Tom WayCSC What is Software Engineering? CSC 4700 Software Engineering Lecture 1.
ICP Architecture: Execution and Control Bostjan Kaluza, Damjan Kuznar, Erik Dovgan, Jernej Zupancic, and Matjaz Gams Jozef Stefan Institute, Slovenia.
© Siemens AG, CT SE 1, Dr. A. Ulrich C O R P O R A T E T E C H N O L O G Y Research at Siemens CT SE Software & Engineering Development Techniques.
Introduction to the Atlas Platform Mobile & Pervasive Computing Laboratory Department of Computer and Information Sciences and Engineering University of.
NSF/ITR: Foundations of Hybrid and Embedded Software Systems Model-Integrated Computing: Foundations DSML Composition Model Synthesis and Model Transformation.
Univ. Notre Dame, September 25, 2003 Support for Run-Time Adaptation in RAPIDware Philip K. McKinley Software Engineering and Networking Systems Laboratory.
Computer Science Open Research Questions Adversary models –Define/Formalize adversary models Need to incorporate characteristics of new technologies and.
Cluster Reliability Project ISIS Vanderbilt University.
MILCOM 2001 October page 1 Defense Enabling Using Advanced Middleware: An Example Franklin Webber, Partha Pal, Richard Schantz, Michael Atighetchi,
Co-design Environment for Secure Embedded Systems Matt Eby, Janos L. Mathe, Jan Werner, Gabor Karsai, Sandeep Neema, Janos Sztipanovits, Yuan Xue Institute.
Chapter 11: Software Prototyping Omar Meqdadi SE 273 Lecture 11 Department of Computer Science and Software Engineering University of Wisconsin-Platteville.
Research Activities and Vision at IIT Kharagpur on Embedded Electronic Systems presented by S. Mukhopadhyay, Electrical Engineering, I.I.T. Kharagpur.
MICANTS Model-Integrated Computing and Autonomous Negotiating Teams for Autonomic Logistics Gabor Karsai (Vanderbilt/ISIS)
Chapter 4 Realtime Widely Distributed Instrumention System.
Model-Driven Analysis Frameworks for Embedded Systems George Edwards USC Center for Systems and Software Engineering
HPEC’02 Workshop September 24-26, 2002, MIT Lincoln Labs Applying Model-Integrated Computing & DRE Middleware to High- Performance Embedded Computing Applications.
Constraint-Based Embedded Program Composition IMPACT Rapid Construction of Efficient Embedded Systems. Multiple System Variants for Little Cost. Rapid,
Janos Sztipanovits Dr. Janos Sztipanovits E. Bronson Ingram Distinguished Professor of EECS Director of ISIS Vanderbilt University Nashville, TN Overview.
Slide title In CAPITALS 50 pt Slide subtitle 32 pt Model based development for the RUNES component middleware platform Gabor Batori
Integrating Systems: models and fault modes SESAM-möte, 19 Oktober, 2005 Jonas Elmqvist Real-Time Systems Laboratory Department of Computer and Information.
Issues Autonomic operation (fault tolerance) Minimize interference to applications Hardware support for new operating systems Resource management (global.
DAME: A Distributed Diagnostics Environment for Maintenance Duncan Russell University of Leeds.
Investigating Survivability Strategies for Ultra-Large Scale (ULS) Systems Vanderbilt University Nashville, Tennessee Institute for Software Integrated.
Model Checking and Model-Based Design Bruce H. Krogh Carnegie Mellon University.
Institute for Software Integrated Systems Vanderbilt University DARPA ASC PI Meeting May 26-28, 1999 Adaptive Model-Integrated Computing Akos Ledeczi.
Information Technology Needs and Trends in the Electric Power Business Mladen Kezunovic Texas A&M University PS ERC Industrial Advisory Board Meeting December.
MILAN: Technical Overview October 2, 2002 Akos Ledeczi MILAN Workshop Institute for Software Integrated.
10/03/05 Johan Muskens ( TU/e Computer Science, System Architecture and Networking.
TRUST : Team for Research in Ubiquitous Secure Technology National Science Foundation Site Visit February 24-26, 2009 │Berkeley, California Health Infrastructures.
DAME: A Distributed Diagnostics Environment for Maintenance Dr Tom Jackson University of York.
Integrating Security Modeling in Embedded System Design Jan Werner, Matt Eby, Janos Mathe, Gabor Karsai, Yuan Xue, Janos Sztipanovits Institute for Software.
August 2003 At A Glance The IRC is a platform independent, extensible, and adaptive framework that provides robust, interactive, and distributed control.
Model Integrated Computing and Autonomous Negotiating Teams for Autonomic Logistics G.Karsai (ISIS) J. Doyle (MIT) G. Bloor (Boeing)
Institute for Software Integrated Systems Vanderbilt University Towards a Paradigm for Activity Modeling SMC2000 WP-2.9: Modeling & Control – Hybrid Systems.
Discovery and Systems Health Technical Area NASA Ames Research Center - Computational Sciences Division Automated Diagnosis Sriram Narasimhan University.
Hosted by: Institute for Software Integrated Systems (ISIS) Vanderbilt University Software Reliability for FCS Discussion Format May 18-19, 2004 ARO Workshop.
System Development & Operations NSF DataNet site visit to MIT February 8, /8/20101NSF Site Visit to MIT DataSpace DataSpace.
ESA Harwell Robotics & Autonomy Facility Study Workshop Autonomous Software Verification Presented By: Rick Blake.
Institute for Software Integrated Systems Vanderbilt University Constraint-Based Embedded Program Composition PI: Ted Bapty Sandeep Neema, Jeff Gray Institute.
CS223: Software Engineering
March 2004 At A Glance The AutoFDS provides a web- based interface to acquire, generate, and distribute products, using the GMSEC Reference Architecture.
Control-Theoretic Approaches for Dynamic Information Assurance George Vachtsevanos Georgia Tech Working Meeting U. C. Berkeley February 5, 2003.
Skills and products portfolio an overview Lorenzo Martinelli – Business Development Contact:
February 14, 2013 Center for Hybrid and Embedded Software Systems Organization Faculty Edward A. Lee, EECS Alberto Sangiovanni-Vincentelli,
ARTEMIS SRA 2016 Trust, Security, Robustness, and Dependability Dr. Daniel Watzenig ARTEMIS Spring Event, Vienna April 13, 2016.
Mechanisms for Requirements Driven Component Selection and Design Automation 최경석.
Prototyping in the software process
An overview of the CHESS Center
EIN 6133 Enterprise Engineering
Model-Driven Analysis Frameworks for Embedded Systems
Retargetable Model-Based Code Generation in Ptolemy II
An overview of the CHESS Center
Tools for Composing and Deploying Grid Middleware Web Services
Presentation transcript:

Janos Sztipanovits Dr. Janos Sztipanovits Institute for Software-Integrated Systems (ISIS)

Janos Sztipanovits 2 ISIS Parameters  Established by the School of Engineering at Vanderbilt University in 1998  Academic/professional research organization  Composition: - 29 Research Scientists & Engineers - 5 Faculty - 3 Admin Staff - 27 Graduate students

Janos Sztipanovits 3  Model-Integrated Computing Meta-programmable modeling tools, model-synthesis tools, generators, and open tool integration platform for model-based design  Distributed Object Computing Open source RT CORBA, model-based integration technology above the CORBA Component Model  Model-Based Design Diagnosis, fault-adaptive systems, structurally adaptive systems Research Thrusts Core technology

Janos Sztipanovits 4 Sponsors  NSF  DARPA/DoD  NASA  Sandia Nat. Labs  USAF  DoD/ACTD  ONR  Saturn/GM  Boeing  DuPont  Motorola  IBM  others…

Janos Sztipanovits 5 Partners Lockheed Martin BBN Technologies Physics Learning Science Nursing Medical School ME, ChemE, EE Berkeley USC MIT SwRI

Janos Sztipanovits 6 Model-Integrated Computing Process and Architecture Meta- Level Translatio n Model Interpretation Model Builder Model InterpretersModels MIPS Environment Metaprogramming Interface Formal Specifications Application Domain App. 1 App. 2 App. 3 Application Evolution Environment Evolution

Janos Sztipanovits 7 New Direction: Combining MIC & Component Middleware QoS Policies QoS Property Adaptor Real-time POA ORB QoS Interfaces Container CORBA Component Client/Peer Server/Peer Application Code Component Home CORBA Component CORBA Component CORBA Component CCM Component Library Model-Based Generator Select Component Synthesize & Assemble CORBA Component CORBA Component CORBA Component CCM Model Library Prof. Doug Schmidt

Janos Sztipanovits 8 ISIS at Vanderbilt Leads or partners in interdisciplinary teams:  Physics Department (Prof. Paul Sheldon) BTeV Fault-tolerant RT Computer (NSF) (ISIS builds the tools and experimental computer platforms for the high-performance computer system of BTeV.)  Physics Department (Prof. John Wikswo) Instrumenting the Cell (DARPA) (ISIS contributed to proposal development – pending option)  BME ERC (Prof. Tom Harris) VaNTH (NSF-ERC) (ISIS develops the Learning Technology Infrastructure for VaNTH.)  CEE Department (Prof. Mahadevan) Reliability and Risk Engineering (NSF-IGERT) (ISIS contributes to model-integrated reliability toolsets)  ME Department (Prof. Ken Frampton) Smart Structure (DARPA; NSF)

Janos Sztipanovits 9 Defense Manufacturing Space Scientific Computing Applications

Janos Sztipanovits 10 Fault Detection, Isolation, and Recovery International Space Station FDIR Modeling Tool - physical - functional Diagnosability Analysis Tool DTOOL Deployed in 1995 Active use in program Diagnostic system demo Diagnostic System Common Model Interface  Domain-Specific Models of Space Station – Mechanical, Electrical, Failure Modes, Instrumentation  Analyze System for Diagnosibility – Sensor Location – Fault Mode Distinguisability  Synthesize Embedded, Real-Time Diagnostics Engine – Multiple/Temporal Faults, using Timed Failure Propagation Graphs

Janos Sztipanovits 11 Saturn Site Production Flow GM-Saturn Model-Integrated Program Synthesis Tool - process models Common Model Interface Data Servers Bottleneck Tool Process Viewer Deployed in 1996 Production use in 2 plants SSPF Model-Integrated Tools  Domain-Specific Models of Automobile Production Plant – Processes, Conveyors, Starving/Blocking, Throughput, Biz Procs, UI  Generate Site-Wide Data Integration System – Real-Time Production History Database – Real-Time Client-Server Visualization Across Entire Plant  Productivity Enhancement Tools (+10% achieved) – Bottleneck Analysis

Janos Sztipanovits 12 Integrated Test Information System Information modeling tool - information sources - web interfaces - legacy data systems Web Server/ASP Data Infrastructure Security Manager Common Model Interface In current use for test support Supports both on, off-site users System in continuous evolution Arnold Engineering Development Center/Sverdrup Tech.  Domain-Specific Models of AEDC Distributed Data Systems – Computers, Formats, Access Mechanisms, Security, UI, Web  Generate Test Information System – Integrate Legacy Computers into a Real-Time, Distributed Database – Web-enabled secure access to real-time test data – Manage User Security/Permissions  Rapid System Specification and Evolution

Janos Sztipanovits 13 On-line Problem Solving Environment for Plant Operations DuPont Chemical/Osaka Gas Activity Modeling Tool - process models - activity models Process data Simulator Diagnostics Common Model Interface Deployed in 1994 Used in Control Room  Domain-Specific Models of Chemical Processing Plant – Process, Equipment, Math Models, Fault Propagation  Generate Integrated Monitoring/Control/Simulation System – Real-Time Database – Integrated Chemical Plant Simulator (ASPEN) – On-Line Diagnostics  Rapid System Specification and Evolution

Janos Sztipanovits 14 Learning Technology Courseware authoring environment - delivery models - learning objectives - metadata Delivery Engine Repository Delivery Records Common Model Interface  Visual language for courseware authoring – Authoring from re-purposable learning resources (learning objects) – Instructional design patterns guided by learning science – Adaptive sequencing for individual learners  Repository-based content management (eLCMS) – Web-based shareable resources for courseware authoring  Model-based courseware delivery (eLMS) – Adaptable web-based delivery engine – Persistent records of learner experience NSF VaNTH ERC

Janos Sztipanovits 15 DARPA: Adaptive Computing Reconfigurable Systems Tool - Data Flow - Hardware Resources - Behavior SW Generate Simulator HW Generate Common Model Interface Developed: Target ARMY/AMCOM  Domain-Specific Models of Reconfigurable Embedded App. – Algorithms, Resources, Dynamic Behavior  Generate Simulations & Dynamic Embedded Systems – Discrete Event Simulation – Custom Hardware Implementation – Heterogeneous, Parallel Real-Time Systems  Rapid System Specification and Evolution

Janos Sztipanovits 16 Boeing Aircraft Diagnostics Diagnostics Tool Integration Onboard Diagnostics/ Prognostics Tool #n Tool #1 Diagnosti c Engine Developed:  Domain-Specific Models of Tool Data – Syntax & Semantics  Generate Simulations & Dynamic Embedded Systems – Tool Adapters – Semantic Mapping Engines – Common Model Database  Generation of Embedded Diagnostics – Diagnosis & Prognostics, Integrate Diverse Techniques Common Model Interface

Janos Sztipanovits 17 DARPA: Distributed Logistics/ANTS Aircraft Maintenance Management Autonomous Negotiating Agents Negotiation Rules Logistics Agents Planning Development:  Domain-Specific Models of Logistics Process – Suppliers, Consumers, Negotiating Strategies  Generate Dynamic Negotiating System – Depot Agent/Negotiation Rules – Consumer Agent/Negotiation Rules Funding Source: DARPA, DoD/ACTD; Subcontractors: Boeing/MIT Common Model Interface

Janos Sztipanovits 18 Turbine Dynamic Structural Analysis Finite Element Analysis Real-Time Data Models Structural Analy. Blade Viz RT Data Integ Developed Used at AEDC, Rolls Royce, GE  Domain-Specific Models of Blade Vibration Analysis – Blade Structural, Material Properties, Data Systems  Generate On-Line Simulation Coupled to Real-Time Data – Finite Element Analysis – Dynamic Strain/Stress Computed – Data Verification  Blade Vibration Visualization  Coupled to Real-Time, Parallel Data Analyzer Common Model Interface

Janos Sztipanovits 19 Space Shuttle Engine Health Monitoring Real-Time Turbopump Monitoring High Speed DSP On-Board Shuttle Engine Health Monitor SSME Redline Monitor System Common Model Interface Developed Used at NASA/MSFC, SSC, Flown on STS-96  Domain-Specific Models of Instrumentation System – Algorithms, Networks, Mapping  Generate Embedded Real-Time Instrumentation System – Real-Time Analysis on Parallel DSP System – Dynamic Visualization of Data – Low-Latency, Real-Time Engine Cut-off Alarm  Rapid System Specification and Evolution

Janos Sztipanovits 20 Integrated Safety and Reliability Analysis State Space Analysis Tool - Behavior Models - Physical Models - Failure Models Fault Tree Constructor Simulator Verification Common Model Interface Developed: In use at Sandia National Labs Used for validation of weapon systems  Domain-Specific Models of System Behavior and Structure − System behavior, physical structure, component failures  Model verification and validation  Automatic Fault Tree Generation − Safety/reliability fault trees can be generated from the integrated model − Uses COTS fault tree analysis software

Janos Sztipanovits 21 Motorola Cell-Phone Simulator User Interaction Modeling Tool - process models - activity models (SW Generation) Simulator Future… Common Model Interface Developed 1999 Used in Motorola R&D  Domain-Specific Models of Cell Phone User Interface – Menu’s, Options, Operational State  Generate Simulations Cell Phone – Pre-build Testing – Human Factors Analysis – Run-Time Software Generation (Future)  Rapid Phone Operation Specification and Evolution