DEVS Today: Recent Advances in Discrete Event - Based Information Technology Bernard P. Zeigler Professor, ECE Arizona Center for Integrative Modeling.

Slides:



Advertisements
Similar presentations
Integration of MBSE and Virtual Engineering for Detailed Design
Advertisements

BioDEVS: System-Oriented, Multi-Agent, Disttributed/Parallel Framework for Modeling and Simulation of Biomimetic In Silico Devices Sunwoo Park 1 and C.
The 20th International Conference on Software Engineering and Knowledge Engineering (SEKE2008) Department of Electrical and Computer Engineering
Systems development using M&S based on the DEVS formalism Gabriel A. Wainer Department of Systems and Computer Engineering. Carleton University. Ottawa,
ARCHITECTURES FOR ARTIFICIAL INTELLIGENCE SYSTEMS
A component- and message-based architectural style for GUI software
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 12Slide 1 Software Design l Objectives To explain how a software design may be represented.
Extended DEVSML as a Model Transformation Intermediary to Make UML Diagrams Executable Jianpeng Hu Dept. of Computer Science and Engineering Shanghai Jiao.
© Chinese University, CSE Dept. Software Engineering / Software Engineering Topic 1: Software Engineering: A Preview Your Name: ____________________.
DEVS-Based Simulation Web Services for Net-Centric T&E Saurabh Mittal, Ph.D. Jose L. Risco-Martin*, Ph.D. Bernard P. Zeigler, Ph.D. Arizona Center for.
VERTAF: An Application Framework for Design and Verification of Embedded Real-Time Software Pao-Ann Hsiung, Shang-Wei Lin, Chih-Hao Tseng, Trong-Yen Lee,
Knowledge Acquisitioning. Definition The transfer and transformation of potential problem solving expertise from some knowledge source to a program.
1 Software Architecture: a Roadmap David Garlen Roshanak Roshandel Yulong Liu.
Unified Modeling (Part I) Overview of UML & Modeling
UML CASE Tool. ABSTRACT Domain analysis enables identifying families of applications and capturing their terminology in order to assist and guide system.
Replacing Hardware With Software Analysis and simulation of existing hardware using Discrete Event System Specification. By:Philip Felber Aman Gupta Imaduddin.
DEVS and DEVS Model Dr. Feng Gu. Cellular automata with fitness.
Community Manager A Dynamic Collaboration Solution on Heterogeneous Environment Hyeonsook Kim  2006 CUS. All rights reserved.
New Mexico Computer Science for All Computational Science Investigations (from the Supercomputing Challenge Kickoff 2012) Irene Lee December 9, 2012.
A Framework for Multi-agent Discrete Event Simulation: V-Lab ® Prasanna Sridhar Shahab Sheikh-Bahaei 12/05/2003 Autonomous Control Engineering University.
Basic Concepts The Unified Modeling Language (UML) SYSC System Analysis and Design.
Review. A_DA_A Ball_A Ball_B player_A B_DB_A Ball_B Ball_A player_B Ball_A Ball_B A_A, B_DA_D, B_A Ball_A Ball_B CFSM Player_A  : X  S  S X A = {Ball_A}
Katanosh Morovat.   This concept is a formal approach for identifying the rules that encapsulate the structure, constraint, and control of the operation.
GENERAL CONCEPTS OF OOPS INTRODUCTION With rapidly changing world and highly competitive and versatile nature of industry, the operations are becoming.
Copyright 2002 Prentice-Hall, Inc. Chapter 1 The Systems Development Environment 1.1 Modern Systems Analysis and Design.
ECE 720T5 Winter 2014 Cyber-Physical Systems Rodolfo Pellizzoni.
DEVSView: A DEVS Visualization Tool Wilson Venhola.
1 CS 456 Software Engineering. 2 Contents 3 Chapter 1: Introduction.
An Introduction to Software Architecture
© Yilmaz “Agent-Directed Simulation – Course Outline” 1 Course Outline Dr. Levent Yilmaz M&SNet: Auburn M&S Laboratory Computer Science &
CCA Common Component Architecture Manoj Krishnan Pacific Northwest National Laboratory MCMD Programming and Implementation Issues.
DEVS Namespace for Interoperable DEVS/SOA
Dart: A Meta-Level Object-Oriented Framework for Task-Specific Behavior Modeling by Domain Experts R. Razavi et al..OOPSLA Workshop DSML‘ Dart:
DEVS-Centered Modeling and Simulation: Core Concepts for Engineering Education Bernard P. Zeigler Arizona Center for Integrative Modeling and Simulation.
SOFTWARE DESIGN.
Software Engineering Research paper presentation Ali Ahmad Formal Approaches to Software Testing Hierarchal GUI Test Case Generation Using Automated Planning.
Model-Driven Analysis Frameworks for Embedded Systems George Edwards USC Center for Systems and Software Engineering
Simulating Human Agropastoral Activities Using Hybrid Agent- Landscape Modeling M. Barton School of Human Evolution and Social Change College of Liberal.
The roots of innovation Future and Emerging Technologies (FET) Future and Emerging Technologies (FET) The roots of innovation Proactive initiative on:
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
Parallel and Distributed Simulation Introduction and Motivation.
Parallel and Distributed Simulation Introduction and Motivation.
Formalized Model Development & Test Generation: Key Role of Abstraction Bernard P. Zeigler Arizona Center for Integrative Modeling and Simulation (ACIMS)
Service - Oriented Middleware for Distributed Data Mining on the Grid ,劉妘鑏 Antonio C., Domenico T., and Paolo T. Journal of Parallel and Distributed.
Why building models? n Cannot experience on the real system of interest n Cost n Danger n The real system does not exist Why using simulation? n Reduced.
MODES-650 Advanced System Simulation Presented by Olgun Karademirci VERIFICATION AND VALIDATION OF SIMULATION MODELS.
Unifying Discrete and Continuous Simulation with Discrete Events: DEVS as the Next Modeling Standard Bernard P. Zeigler Arizona Center for Integrative.
1 Copyright  2001 Pao-Ann Hsiung SW HW Module Outline l Introduction l Unified HW/SW Representations l HW/SW Partitioning Techniques l Integrated HW/SW.
Towards Interoperability Test Generation of Time Dependent Protocols: a Case Study Zhiliang Wang, Jianping Wu, Xia Yin Department of Computer Science Tsinghua.
DEVS and SES as a Framework for Modeling and Simulation Tool Development Bernard P. Zeigler Arizona Center for Integrative Modeling and Simulation University.
The Systems Development Environment Systems Analysis and Design II.
Transforming DEVS to Non-Modular Form For Faster Cellular Space Simulation Arizona Center for Integrative Modeling and Simulation Electrical and Computer.
Introduction Complex and large SW. SW crises Expensive HW. Custom SW. Batch execution Structured programming Product SW.
RULES Patty Nordstrom Hien Nguyen. "Cognitive Skills are Realized by Production Rules"
DEVS-based Modeling and Simulation References: 1.B. P. Zeigler, Hessam S. Sarjoughian, Introduction to DEVS Modeling and Simulation with JAVA: Developing.
Artificial Intelligence: Research and Collaborative Possibilities a presentation by: Dr. Ernest L. McDuffie, Assistant Professor Department of Computer.
Approach and Techniques for Building Component-based Simulation Models Bernard P. Zeigler, Ph.D. Hessam S. Sarjoughian, Ph.D. Arizona Center for Integrative.
Hierarchical Management Architecture for Multi-Access Networks Dzmitry Kliazovich, Tiia Sutinen, Heli Kokkoniemi- Tarkkanen, Jukka Mäkelä & Seppo Horsmanheimo.
ECE 449/549 Class Notes #2 Introduction to Discrete-Event Systems Specification (DEVS) Sept
Chapter 10 Software quality. This chapter discusses n Some important properties we want our system to have, specifically correctness and maintainability.
Extension du formalisme SES pour l’intégration de la hiérarchie d’abstraction et la granularité temporelle au sein de la modélisation et la simulation.
Continuity and Change (Activity) Are Fundamentally Related In DEVS Simulation of Continuous Systems Bernard P. Zeigler Arizona Center for Integrative Modeling.
Sub-fields of computer science. Sub-fields of computer science.
Complexity Time: 2 Hours.
Model-Driven Analysis Frameworks for Embedded Systems
DEVS Background DEVS = Discrete Event System Specification
Approach and Techniques for Building Component-based Simulation Models
Service Oriented Architecture (SOA)
Intelligent Systems and
DEVS Background DEVS = Discrete Event System Specification
Presentation transcript:

DEVS Today: Recent Advances in Discrete Event - Based Information Technology Bernard P. Zeigler Professor, ECE Arizona Center for Integrative Modeling and Simulation University of Arizona Tucson Ma Keynote Talk to Majestic

2 Outline Framework for M&S Discrete Event Processing DEVS Formalism Implications for Current Practice Application Examples M&S as a Bridge Discipline

3 Framework for M&S: Entities and Relations Real World Simulator modeling relation simulation relation Each entity is formalized as a Mathematical Dynamic System Each relation is represented by a homomorphism or other equivalence Structure for generating behavior claimed to represent real world Device for executing model Model Experimental frame specifies conditions under which the system is experimented with and observed Experimental Frame Data: Input/output relation pairs

4 x 0 x 1 X S Y y0y0 e t0t0 t1t1 t2t2 Discrete Event Time Segments

DEVS = Discrete Event System Specification Based on formal M&S framework Derived from mathematical dynamical system theory Supports hierarchical, modular composition Object oriented implementation Supports discrete and continuous paradigms Exploits efficient parallel and distributed simulation techniques DEVS Background

DEVS Hierarchical Modular Composition Atomic: lowest level model, contains structural dynamics -- model level modularity + coupling Coupled: composed of one or more atomic and/or coupled models Hierarchical construction

7 DEVS Theoretical Properties Closure Under Coupling Universality for Discrete Event Systems Representation of Continuous Systems –quantization integrator approximation –pulse representation of wave equations Simulator Correctness, Efficiency

8 Atomic Models Ordinary Differential Equation Models Spiking Neuron Models Coupled Models Petri Net Models Cellular Automata n-Dim Cell Space Partial Differential Equations Self Organized Criticality Models Processing/ Queuing/ Coordinating Processing Networks Networks, Collaborations Physical Space DEVS Expressability can be components in a coupled model Multi Agent Systems Discrete Time/ StateChart Models Quantized Integrator Models Spiking Neuron Networks Stochasti c Models Reactive Agent Models Fuzzy Logic Models

9 Cell Space Wind Water Ignite Coupled model structure N E NENW W SW SSE Potential neighbor cells to ignite by fire from center cell.

10 unburned unburned_wet burning burned_wet burning_wet burned Fire suppressant Burning delay = 0 Ignition and (fireline intensity > Threshold) Fire suppressant delay = 0 Fire suppressant and fire fighting rule satisfied Forest Cell State Transitions Atomic model structure Time advance input Make a transition elapsed time Time advance input Make a transition elapsed time Phase “unburned” If (FI > Threshold) holdIn (“burning”, else passivateIn( “Unburned)” Compute new spread ( using Rothermel’s eq) Compute remaining distance to reach center of neighbor cell Compute time delays Fireline Intensity FI Phase “burning”

11 Experimentation Wind Flow Model Fire Fighting Model Forest Cell Igniter Cell Space Display Transducer Display Average Rate of Spread & Direction Display Active Cells Vs. Total Cells Display Other Stats Cell Space Wind Water Ignite experimental frame

12 wind across valley floor experiments

13 water meets fire experiment

14 M&S Framework Implications for Current Practice Separate Models From Simulators Separate Models From Experimental Frames Use the DEVS Formalism for Developing Models, Experimental Frames, and Simulators Experimental Frames Support Defense Certification Testing Maintain Repositories of Reusable Models and Frames

15 Separate Models From Simulators Models are goal oriented abstractions of reality. Simulators are the computational engines that drive the models to obtain results. In the M&S-Framework-based approach.. Models and Simulators are treated as distinct entities with their own software representations. There are simulators for different kinds of models that can be selected according to the needs of the simulation, For example, a simulator might be chosen for its efficiency on a single host, or for its ability to execute the model on multiple hosts (distributed simulation) Currently… Simulation software tends to encapsulate models and simulators in tightly coupled packages.

16 Separate Models From Experimental Frames Experimental Frames are specifications of the experimentation to be done on a model Frames represent the objectives of the experimenter, tester, or analyst In the M&S-Framework-based approach.. Models and Experimental Frames are treated as distinct entities with their own software representations. Since the experimental frames appropriate to a model are distinctly identified, it is easier for potential users of a model to uncover the objectives and assumptions that went into its creation. Currently… Simulation software tends to encapsulate models, simulators and experimental frames into tightly coupled packages.

17 Use the DEVS Formalism for Developing Models, Experimental Frames, and Simulators The DEVS formalism enables users to develop models separately from experimental frames. Models and frames can then be coupled together and given to an appropriate simulator to execute. In the M&S-Framework-based approach.. The DEVS formalism Is employed for all simulation software development. DEVS simulators are employed to perform single host, distributed and heterogeneous real-time execution as needed. DEVS simulators exist that run over various middleware such as MPI,HLA, CORBA,P2P, and MOM. Currently… Programming languages such as Fortran, C, C++ or Java are used to develop software packages of strongly coupled models, frames and simulators.

18 Maintain Repositories of Reusable Models and Frames Models and Experimental Frames can be stored in organized repositories to support reuse under well specified conditions In the M&S-Framework-based approach.. Repositories of models and frames are created and maintained. Such repositories foster reuse of existing models and frames to serve as components for constructing new ones. When new models or frames are developed they are deposited in the repositories with appropriate information to enable their reuse with high confidence of success. Currently… There are relatively few examples of storing previously developed simulation infrastructure commodities in such a way that they can be easily adapted to developing interoperability test requirements

19 Managed Modeling in Lockheed’s “System of Systems” M&S Environment DEVS (Discrete Event Modeling Formalism) –Separates Model and Simulators –Defines Couple Models and Atomic Models –Modularized via Ports and Defined Events SES (System Entity Structure) –Provides a well defined structure for model reuse –Maintains: kind-of, part-of, multiplicity relationships –Supports constraints on model compatibility Architecture based on SES/DEVS supports component model reuse evolved during last decade

20 Project Model Critical Mobile Target Global Positionin g System III Arsen al Ship Coast Guard Deep Water Space Operatio ns Vehicle Commo n Aero Vehicle Joint Compos ite Tracking Network Integrat ed System Center Space Based Laser Space Based Discrimi nation Missile Defense (Theater / National) RAD xxxxxxx IR xxxxxxx MIS xxxxx LAS xxxx Comm xxxxxx CC xxx Earth xxxxx WC xx Component Reusability in Lockheed’s DEVS M&S Environment

21 DEVS framework for knowledge based control of steel production Sachem = large-scale real-time monitor/diagnose control system for blast furnace operation Usinor -- world’s largest producer of steel products, Sachem saves it millions of euros annually Problems for conventional control and AI: Experts’ perception knowledge is implicit, concerns dynamic physical processes Difficult to model the reasoning of a control process expert. Lack of mathematical models for blast furnace dynamics Solution: time-based perception and discrete event processing for dealing with complex dynamical systems

22 quanti zation signal events signal pheno mena process pheno mena Large Scale: Conceptual model contains 25,000 objects for 33 goals, 27 tasks,etc. Approximately 400,000 lines of code. 14 man-years: 6 knowledge engineers and 12 experts One advantage of DEVS is compactness: 50,000 reduction in data volume Effective analysis and control of the behavior of blast furnaces at high resolution DEVS framework for knowledge based control of steel production (cont’d)

23 University of New Mexico Virtual Lab for Autonomous Agents V-Lab-a virtual laboratory for autonomous agents-SLA-based learning controllers El-Osery, A.I.; Burge, J.; Jamshidi, M.; Saba, A.; Fathi, M.; Akbarzadeh-T, M.-R.; Systems, Man and Cybernetics, Part B, IEEE Transactions on, Volume: 32 Issue: 6, Dec Page(s): Physics Terrain Dynamic SimEnv ControlAgentsSimMan Computer Network Middleware (HLA,CORBA,JMS) DEVS Simulator IDEVSSimEnv V-Lab developed on top of DEVSJAVA includes a simulation environment for robotic agents with physics, terrain and dynamics. It extends DEVS to provide a layer for specifying intelligent automation and soft computing algorithms (IDEVS).

24 Mapping Differential Equation Models into DEVS Integrator Models DEVS instantaneous function DEVS Integrator  d s 1 /dt s 1 f 1 x  d s 2 /dt s 2 f 2  d s n /dt s n f n s x s x s x...  d s 1 /dt s 1 f 1 x  d s 2 /dt s 2 f 2  d s n /dt s n f n s x s x s x... DEVS S F F F

25 Number of crossings = Activity/quantum Activity – a characteristic of continuous models Activity = |f(t1) – f(t0)|

26 DEVS Efficiency Advantage where Activity is Heterogeneous in Time and Space Time Period T time step size # time steps =T/ activity A quantum q # crossings =A/q Potential Speed Up = #time steps / # crossings X number of cells diffusion activity

27 Activity as unifying continuous and discrete paradigms Heterogeneous activity in time and space Quantization allows DEVS to naturally focus computing resources on high activity regions DEVS represents all decision making and continuous dynamic components in the scene

28 Modeling and Simulation as a Bridging Discipline (3) Continuous Systems Analog Control theory Linear/Non Linear ODE/PDEs Discrete Systems Digital Computer Science Algorithms DEVS Representation Quantized Integration Discrete Pulse Wave Approx

29 Modeling and Simulation as a Bridging Discipline (4) Computational Science Numerical Methods Supercomputing MPI PDEs PADS Logical Process Time Warp Large Numbers Network, Agent Apps DEVS Discrete Event Universality DEVS Simulation Protocol Representation of Cont Sys

30 More Information Zeigler, B.P., Praehofer, H., and Kim, T.G., Theory of Modeling and Simulation, 2nd Edition. Academic Press, ACIMS : DEVSJAVA downloadable softwarewww.acims.arizona.edu Society for Modeling and Simulation, Intl. : –Simulation Journal, –new: Journal of Defense Modeling and Simulation