outline

An Overview of the Arizona Center for Integrative Modeling and Simulation (ACIMS)

University of ArizonaArizona State University

Bernard P. Zeigler

www.acims.arizona.edu

http://www.acims.arizona.edu/


Outline

Mission, objectives, and history

Research and educational activities

fundamental work in the theory of modeling and simulation (M&S) simulation environments and standards based on discrete event systems specification

M&S-based integrated development and testing of net-centric service oriented architectures

Unique relationship with information technology industry and government.


Mandated by the Arizona Board of Regents in 2001 Spans University of Arizona and Arizona State University Mission – Advance Modeling and Simulation through

ResearchEducationTechnology Transfer

Arizona Center for Integrative Modeling and Simulation (ACIMS)

M&S will be a corner stone of technology development for the foreseeable future!

Faculty

Graduate Students

Full time staff

RTSync Spinoff

DEVS research and education community


Education

Courses in ECE at UA and ASU

Masters in ECE with specialization in M&S

Short course

Tutorials

Visiting Scholars

The Center contributes to the pool of trained M&S professionals needed to do today’s and tomorrow’s simulation-based technology development


Simulation Software

License for Education and Research

Open source

User Guides, literature

Commercialization via spin-off


Fundamental Research in M&S

• Discrete Event System Specification (DEVS )

• Provides sound M&S framework

• Derived from Mathematical dynamical system theory

• Supports hierarchical, modular composition

• System Entity Structure: ontology framework for M&S

• Distributed simulation, web-based, SOA-based

• Linguistic levels of interoperability (syntactic, semantic, pragmatic)

• M&S Simulation interoperability standards


Heterogeneous-Formalism Modeling agents

Discrete-event,Models

landscape

Discrete-time, Cellular Automata Models

Knowledge Interchange

Broker

interactions

Knowledge Interchange Broker (KIB) provides its own distinct formalism and realization

Separately accounts for domain-neutral and domain-specific modeling

Removes the need for composed models to have detailed knowledge of each other

NSF ERE Biocomplexity in the Environment program

NSF Science of Design Program

Design of Adaptive Service-based Software Systems with Security and Multiple QoS Requirements

• Develop a SOA-based DEVS simulator to aid design and evaluation of flexible and configurable SOA-based software systems

• support design of SOA systems able to adapt to changing tradeoffs among timeliness, throughput, accuracy, and security

QoS Adaptation

QoS Monitoring

SBS

Sim

ulat

ion

& Q

oS

me

asur

emen

ts

QoS Expectations

Adaptationcommands

ProduceEvents

Resources

ExtrageneousEvents

AffectQoS

ConsumeResources

Measure changes of resource states

[Adaptable Service Based Software system]

Fundamental Research in M&S (Cont’d)


Integrated Development and Testing Methodology

Define Requirements

Define Requirements

InterpretStructural Aspects

InterpretStructural Aspects

Capture Requirements

Capture Requirements

GenerateAtomic

DEVS Models

GenerateAtomic

DEVS Models

Generate System Entity

Structure

Generate System Entity

Structure

Prune Entity

Structure (PES)

Prune Entity

Structure (PES)

Transform PES to hierarchicalDEVS Models

Transform PES to hierarchicalDEVS Models

Create Test Models

Create Test Models

Insert Models into Test Platform

Insert Models into Test Platform

SimulateSimulate

InterpretBehavioral

Aspects

InterpretBehavioral

Aspects

ImplementSystem

ImplementSystem

Simulation-Based

Testing

Simulation-Based

Testing

AutoDEVSMethodology (Cont)

Define Requirements

Extract Structural Aspects


Capture Spreadsheet

Data

Generate FD-DEVS Models

(behavior)

Generate DEVS

Models (structure)

UpdatePES

Transform PES to

DEVSJAVA

Create Test Models

Verify Created Models

Simulate

Extract Behavioral

Aspects

Extract Behavioral

Aspects

ID RequirementText

1

Generators shall be GpsDataGenerator, SurfaceDataGenerator, and WirelessDataGenerator.

2

All the Generators components shall be started by the Generators.

3

All the Generators components shall be stopped by the Generators.

4The Generator shall send data every 1 second.


Define Requirements

Define Requirements


Capture Spreadsheet

Data


(behavior)

Generate DEVS

Models (structure)

UpdatePES

Transform PES to

DEVSJAVA

Create Test Models


Simulate

Extract Behavioral

Aspects

Extract Behavioral

Aspects

SESMicroRepresentation1. From the GenComponent perspective, Generators are made of more than one Generator!2. A Generator can be GpsData, SurfaceData, or WirelessData in class!3. From the Component perspective, Generator sends GenData to Generators!


Define Requirements

Define Requirements



Capture Spreadsheet

Data


(structure)

Generate DEVS

Models (behavior)

UpdatePES

Transform PES to

DEVSJAVA

Create Test Models


Simulate

Extract Behavioral

Aspects

FDDEVSRepresentation

1. Generator: to start passivate in passive!

2. Generator: when in phase passive and receive Start then go to active!3. Generator: when in active and receive Stop then go to passive!

4. Generator: hold in active for time 1 then output GenData and go to active!

active

passive

start

Generator

output GenData

external event

internal event

output event

passive

stop

stop


Define Requirements

Define Requirements



Capture Spreadsheet

Data


(behavior)

Generate DEVS

Models (structure)

UpdatePES

Transform PES to

DEVSJAVA

Create Test Models


Simulate

Extract Behavioral

Aspects

Extract Behavioral

Aspects

AutoDEVS Methodology (Cont)

Define Requirements

Define Requirements



Capture Spreadsheet

Data


(behavior)

Generate DEVS

Models (structure)

UpdatePES

Transform PES to

DEVSJAVA

Create Test Models


Simulate

Extract Behavioral

Aspects

Extract Behavioral

Aspects

AutoDEVS Methodolgy

Define Requirements

Define Requirements



Capture Spreadsheet

Data


(behavior)

Generate DEVS

Models (structure)

UpdatePES

Transform PES to

DEVSJAVA

Create Test Models


Simulate

Extract Behavioral

Aspects

Extract Behavioral

Aspects Run Demo

DEVS/SOA Infrastructure for GIG Mission Thread Testing

1. MAJ Smith tasks Intell to reconnoiter objective area and provide threat estimate

2. Posts taskings using Discovery and Storage

6. MAJ Smith pulls estimate from Storage

3. Intell Cell initiates high priority collection against objective, and collectors post raw output

4. Intell posts products via Discovery and Storage

NCES GIG/SOA

DEVS/SOA Infrastructure for GIG Mission Thread Testing

1. MAJ Smith tasks Intell to reconnoiter objective area and provide threat estimate

2. Posts taskings using Discovery and Storage

5. Intell Cell issues alert via messaging 6. MAJ Smith pulls estimate from Storage

3. Intell Cell initiates high priority collection against objective, and collectors post raw output

4. Intell posts products via Discovery and Storage

Observing Agent for Major Smith

Observing Agent for Intell Cell

NCES GIG/SOA

• Test agents are DEVS models and Experimental Frames

• They are deployed to observe selected participant via their service invokations

notes time of posting

Observing Agent alerts other Agent

Computes Time for Task,Measure Performance

sends time to other Agent

Projects Related to JITC Contract

DOD

DISA-Defense InformationSystems Agency

JITC-Joint Inter-operabilityTest Command

NGA-National GeoSpatial-Intelligence Agency

USAFUS ArmyJTAMDO –

Joint Theater Air Missile Defense Organization

SIAP JPO-JointProgram Office

ACIMS-Arizona Center forIntegrative M&S

SIAP-SinglentegratedAir Picture

IABM-Integrated Architecture

Behavior Model

NCES-Network-Centric Enterprise Services

TRMCTest ResourceManagement Center

DOT&EDirector, OperationalTest and Evaluation

IC-IntelligenceCommunity

RTSync


Unique ACIMS/{NGIT,RTSync} Relationships

• A long term contractual relationship between Northrop Grumman IT (NGIT) with ACIMS

• Employs faculty, graduate/undergrad students, others • Perform M&S tasks for/at Fort Huachuca

• Challenges:– Rationalize different ways of doing business – Deliver quality services on time and on budget

• Benefits:– Access to well-trained, creative talent– Experience with real world technical requirements and work environments– Transfer of ACIMS technology

• RTSync – ACIMS – commercialize/bring to market ACIMS technology– enhance ACIMS education/training – employ ACIMS graduates

Northrop Grumman ITJITC/Ft. Huachuca, Arizona

Prime

Subcontractor

Spinoff

Subcontractor

Subcontractor

Contractual Relationships

JITC Contract for Advanced Interoperability Testing 2000-2009

JITC Contract for Advanced Interoperability Testing 2000-2009

CONSORTIUM

Northrop Grumman IT JITC/Ft. Huachuca, Arizona

OTHER ACADEMIA

Structuring for Re-compete of JITC Contract

RTSync Profile : - Founded in 2004. - As technology spin-off of ACIMS, RTSync commercializes ACIMS technology and provides M&S services and products to government and industry. - Two offices ( Phoenix and Sierra Vista, AZ ), 10+ employees

Work in Progress : - Facility Clearance Status (FCL expected in late 2008) - SBA 8(a) certification program (expected in late 2008) - Mentor-Protégé program with Northrop-Grumman IT (NGIT) in 2008.

Commercial Products under Development : - SESBuilder : SES-based data engineering / ontology framework for M&S - Integrated ATC-Gen : Automated Test Case Generator for interoperability testing - Automated Test Suite : Commercialized AutoDEVS methodology

RTSync – cont’d

Current SubContracts : - Joint Interoperability Test Command, Scientific and Engineering Support, Northrop Grumman IT (prime contractor) 1) NCES Operation Testing Support task ($1.4 mil, FY 09 / 10) 2) SIAP IABM Testing Support task ($1.0 mil FY 09 / 10 ) - US Army, TEIS Program, STG Inc ( prime contractor ) 1) Data Engineering Service for Integrated Telecommunication Engineering ($0.5 mil, FY 08)

Customers / Partners : Northrop Grumman IT, STG Inc., US Navy, US Air Force, US Army, DISA, NGA, Republic of Korea Navy and Air Force / S&T (Sweden), EWA Services Inc.,

Subcontractors : ACIMS (Arizona State University) and Oak Ridge National Lab.

Point of Contact : Dr. Doohwan “DH” Kim at 602-334-6649 or [email protected], [email protected] http://www.rtsync.com

Summary

M&S Mission, objectives, and history

Research and educational activities

Relationship with NGIT and JITC

Seeking to expand to Consortium that would partner in recompete and other projects

Contact

Bernard P. ZeiglerProfessor ECEUniversity of [email protected]


outline

Documents

msdistributed simulation

simulation acimsms

soabased devs simulator

test modelsinsert models

hierarchicaldevs models

history research

composed models

securityfundamental