1 / 9

DEVS: a Formal, Theory-Based, Technology-Independent Standard for Distributed Simulation

DEVS: a Formal, Theory-Based, Technology-Independent Standard for Distributed Simulation. James Nutaro Bernard P. Zeigler Hessam Sarjoughian ACIMS Gabriel Wainer SISO DEVS Standards Working Group I/ITSEC Special SCS Session on Standards for M&S. uses the formalism of. Framework for

thomas-phelps
Download Presentation

DEVS: a Formal, Theory-Based, Technology-Independent Standard for Distributed Simulation

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. DEVS: a Formal, Theory-Based, Technology-Independent Standard for Distributed Simulation James Nutaro Bernard P. Zeigler Hessam Sarjoughian ACIMS Gabriel Wainer SISO DEVS Standards Working Group I/ITSEC Special SCS Session on Standards for M&S

  2. uses the formalism of Framework for Modeling and Simulation Mathematical Systems Theory is interpreted by Hierarchy of System Specifications entities Hierarchy of Specification Morphisms relations Modeling & Simulation/Systems Theory

  3. Real World Simulator modeling relation simulation relation Model Experimental Frame Collaboration Decision Search Modeling DEVS Simulation HLA Network M&S Framework Objectives represented by Layered architecture Entities formalized as systems; relations as system morphisms

  4. DEVS Modeling & Simulation Framework • DEVS = Discrete Event System Specification • Provides sound M&S framework • Derived from Mathematical dynamical system theory • Supports hierarchical, modular composition and reuse • Can express Discrete Time, Continuous and hybrid models • Event-orientation enables efficient simulation • Object-oriented, Distributed, Real-time Implementations

  5. out active refract receptive fire passive Output Fire-once Neuron Input Firing delay >0 external event Internal event output event DEVS Atomic Model Make a transition (internal) Make a transition (external) input State internal external Send an output time advance Handle input output output Hold for some time Pulse Generator time interPulseTime >0 Pulse Generator Output start

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

  7. Types of Models and their Formalisms Coupled Models Atomic Models Partial Differential Equations Ordinary Differential Equations Processing/ Queuing/ Coordinating Networks Collaborations Physical Space Phase Based Models Pulse Based Models (varGen, Sum) Digraph Models 1,2 Dim Cell Space Discrete Time/ Automata Quantum Based Models (DEVS Integrator, instantaneous Functions Cellular Automata can be components in a coupled model 2 Dim State Space 1 Dim State Space Self Organized Criticality Models Multi Agent Systems

  8. Scalability, Flexibility and Inter-operability Through Interface Standardization DEVS Simulation Protocol Single processor C++ Java Distributed Simulator DEVS Simulator Other Representation Real-Time Simulator Non DEVS

  9. For more literature, software, tutorials,… Arizona Center for Integrative Modeling & Simulation (ACIMS) www.acims.arizona.edu

More Related