ISIS VU Team: Aniruddha S. Gokhale, Kitty Balasubramanian, Jai Balasubramanian, Gan Deng, George Edwards, Boris Kolpackov, Arvind Krishna, Tao Lu, Bala Natarajan, Jeff Parsons, Gabriele Trombetti, Emre Turkay Institute for Software Integrated Systems (prime) Vanderbilt University, Nashville, Tennessee DARPA/AFRL Contract # F33615-03-C-4112 Component Middleware & Generative Component Middleware & Generative Tools for Distributed Real-time & Tools for Distributed Real-time & Embedded Systems Embedded Systems UAB Team: Jeff Gray, Jane Lin, Jing Zhang University of Alabama at Birmingham (subcontract) Birmingham, Alabama PCES PI Meeting, June 29-30 PCES PI Meeting, June 29-30 th th , 2004, Chicago IL , 2004, Chicago IL
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
ISIS VU Team: Aniruddha S. Gokhale, Kitty Balasubramanian, Jai Balasubramanian, Gan Deng, George Edwards, Boris Kolpackov, Arvind Krishna, Tao Lu, Bala Natarajan, Jeff Parsons, Gabriele Trombetti, Emre Turkay
Institute for Software Integrated Systems (prime)Vanderbilt University, Nashville, Tennessee
DARPA/AFRL Contract # F33615-03-C-4112
Component Middleware & Generative Tools Component Middleware & Generative Tools for Distributed Real-time & Embedded for Distributed Real-time & Embedded
SystemsSystems
UAB Team: Jeff Gray, Jane Lin, Jing Zhang University of Alabama at Birmingham (subcontract)Birmingham, Alabama
PCES PI Meeting, June 29-30PCES PI Meeting, June 29-30thth, 2004, Chicago IL, 2004, Chicago IL
2
PCES
06/04
Gokhale
ISIS PCES2• Model driven
weaving of crosscutting concerns for middleware-based DRE systems
CIAO
CoSMICDAnCE
Domain
Access Resources
Assembler
Assembler
Planner
Domain Administrator
Specifies
Creates Component
ResourceRequirements
Impl Impl Impl
Properties
COMPONENT REPOSITORY
QoS Specs
Configurations
Dependencies
Developer
CreatesComponent Assembly
ComponentComponent
ComponentComponent
Creates Packager
Repository Administrator
Component Packages
Configures
Desktop Printer Laptop computer
Ethernet Bridge
Firewall
Creates
Executor
Deployment PlanUses
Deploys
Model Driven Middleware for DRE Systems
<CONFIGURATION_PASS><HOME> <…>
<COMPONENT><ID> <…></ID><EVENT_SUPPLIER><…events this component
supplies…></EVENT_SUPPLIER></COMPONENT></HOME>
</CONFIGURATION_PASS>
<CONFIGURATION_PASS><HOME> <…>
<COMPONENT><ID> <…></ID><EVENT_SUPPLIER><…events this component
descriptors• Inter-dependencies between descriptors• XML is error-prone to read/write manually• No guarantees about semantic validity (only
syntactic validation possible)• If meta-data is wrong, what about my
application?
• Solution• PICML = Platform Independent Component Modeling Language
• Modeling paradigm developed using Generic Modeling Environment (GME)• Capture dependencies visually• Define semantic constraints using Object Constraint Language (OCL)• Generate domain specific meta-data from models• Correct-by-construction
6
PCES
06/04
Gokhale
IDML: Capturing Interface Definition Aspects in PICML• IDML = Interface Definition Modeling Language• Graphical modeling language.• Component middleware building blocks.• Integrated with PICML.• Export model to equivalent XML format.• Generate middleware-specific application code.
• IDL generator finished• Planned generators for EJB & ICE
IDL
XML
EJB
Create Model
Export
Generate
Modify Model
SLICE
IDL Generator
• IDL Importer translates IDL into IDML’s XML format.• Import XML into graphical modeling tool.
• Translate to other middleware platform.• Develop model further
• Regenerate IDL.• Generate application code for a different middleware
platform.
IDL
XML ImportModify Model
IDL Importer
IDL EJB SLICE
7
PCES
06/04
Gokhale
EQAL: Capturing Event QoS Aspects in PICML • Context
• Publisher/subscriber services are highly configurable
• OCML provides constraints on valid combinations of ORB parameters.
• Synthesizes descriptors encoding the rules
• Application developers model a set of ORB configuration parameters
• Application developers validate their ORB configurations against these rules
• BGML/CCMPerf is a model integrated test & benchmarking suite
• Models application use-case scenarios to synthesize desired performance aspects of DRE applications
10
PCES
06/04
Gokhale
Model Checking & Analysis in CoSMIC• Context
•DRE system CoSMIC models must be analyzed for functional correctness & QoS properties
•CoSMIC provides limited constraint-checking but no model checking & analysis
• Problem•Selecting the right analysis tool•Choosing the right tool data interchange & interoperability communication model
•Preserving semantics of data during transforms
•Lossless communication of data & its semantics
• Solution•KSU’s Cadena model checker for analysis & model refinement•Leverage DARPA MoBIES technology, e.g., Unified Data Model (UDM), Open Tool Interchange Format (OTIF), & Graph Transformation Tool (GReAT)
•Two way export & import of models and properties between CoSMIC & Cadena•Lossless data communication via exporting only supported features and/or decorating models with extra information
11
PCES
06/04
Gokhale
JUNE 2004
EXPERIMENTS & METRICS
12
PCES
06/04
Gokhale
Model-based Pub/Sub in CIAO for BBN UAV Satellite provides intelligence message
– Combined Air Operations Center (CAOC) alerts UAV Ground Station (UAVGS), which instructs a UAV to provide imagery.
– CAOC alerts Engagement System, which instructs Battle System to engage itself.
Implemented in CIAO using RT Event Service– 6 component types, 7 distributed hosts– Latency benchmarks developed in
distributed environment.
13
PCES
06/04
Gokhale
Model-based Configuration & BenchmarkingAssociate QoS metrics to measure in the scenario
Model test configuration using OCML
Model Component interactions
•For combination of options select configuration maximizing QoS•For pure clients the following settings represents a reusable C&C pattern:
October 2004 (3 papers)• Enterprise Distributed Object Computing (EDOC) October 2004• IEEE Real-time Applications Symposium (RTAS), May 2004• ACM Southeast Conference, Apr 2004 (7 papers)• Several OMG RTWS workshop papers, July 2004• Remote Analysis & Monitoring of Software Systems (RAMSS) workshop
at ICSE (May 2004)• IEEE Transactions on Control Systems, March 2004• Aspect-Oriented Software Development (AOSD 2004), March 2004• Book Chapter in Addison-Wesley AOSD book, Fall 2004
24
PCES
06/04
Gokhale
Technology Transition/Transfer (4/4)• Workshop/Conference chair/organizing and/or program
committee• Program Chair 4th TAO workshop, July 2004• Program Committee RTAS 04, Middleware 04, EDOC 04, RTSS 04,
HICSS 04• Guest Editor, Elsevier Journal of Visual Languages and Computing,
June 2004• Program Chair HICSS, Adaptive-Evolvable Software Systems, January
2004• Tutorials Chair for GPCE 04• Program Committees ACMSE 04, ACP4IS-AOSD 04, SAC 04, ECBS
04, RTAS-MODES 04, UML 04• Panelist at the workshop on Aspects, Components, and Patterns for
Infrastructure Software (ACP4IS) at AOSD, March 2004