DEVS-DOC: A modeling and simulation environment enabling distributed codesign

Daryl R. Hild; Hessam Sarjoughian; Bernard P. Zeigler

doi:10.1109/3468.995531

DEVS-DOC: A modeling and simulation environment enabling distributed codesign

Daryl R. Hild, Hessam Sarjoughian, Bernard P. Zeigler

Computer Science and Engineering

Research output: Contribution to journal › Article › peer-review

12 Scopus citations

Abstract

An approach to modeling and simulating distributed object computing (DOC) systems as a set of software components mapped onto a set of networked processing nodes is presented. The modeling approach has clearly separated hardware and software components enabling systems level, distributed codesign engineering. The distributed codesign engineering refers to a system-theoretic approach to concurrent hardware and software systems engineering that provides a tractable method for analyzing the inherent complexities that arise in distributed computing systems. A software abstraction forms a distributed cooperative object (DCO) model to represent interacting software objects. A hardware abstraction forms a loosely coupled network (LCN) model of processing nodes, network gates and interconnecting communication links. The distribution of DCO software across LCN processors forms an object system mapping (OSM). This OSM provides a sufficient specification to allow simulation investigations. In simulation, the behavioral dynamics of the interacting DCO software components load and compete for LCN processing and networking resources. The LCN resource constraints thus impose performance constraints on the interactions of the DCO software objects. Class models of the DCO, LCN, and OSM component structures and behavior dynamics were formally characterized using the discrete event system specification (DEVS) formalism. These class model specifications were implemented in DEVSJAVA, a Java implementation of DEVS. Class models of experimental frame components were developed and implemented to facilitate analysis of the interdependent distributed system behaviors during simulations. Our DEVS-DOC M&S environment enables distributed systems architects, integration engineers and system designers to analyze performance and examine engineering trades of system structures, topologies and technologies. A case study demonstrates the ability to model and simulate a real world system and the complex interactions that arise in distributed computing systems.

Original language	English (US)
Pages (from-to)	78-92
Number of pages	15
Journal	IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans.
Volume	32
Issue number	1
DOIs	https://doi.org/10.1109/3468.995531
State	Published - Jan 2002

Keywords

Codesign
Collaboration
Discrete event system specification (DEVS)
Distributed object computing (DOC)
Modeling and simulation (M&S)

ASJC Scopus subject areas

Software
Control and Systems Engineering
Human-Computer Interaction
Computer Science Applications
Electrical and Electronic Engineering

Access to Document

10.1109/3468.995531

Cite this

@article{d672424f0b6c42f0ab2f57bcb665cda0,

title = "DEVS-DOC: A modeling and simulation environment enabling distributed codesign",

abstract = "An approach to modeling and simulating distributed object computing (DOC) systems as a set of software components mapped onto a set of networked processing nodes is presented. The modeling approach has clearly separated hardware and software components enabling systems level, distributed codesign engineering. The distributed codesign engineering refers to a system-theoretic approach to concurrent hardware and software systems engineering that provides a tractable method for analyzing the inherent complexities that arise in distributed computing systems. A software abstraction forms a distributed cooperative object (DCO) model to represent interacting software objects. A hardware abstraction forms a loosely coupled network (LCN) model of processing nodes, network gates and interconnecting communication links. The distribution of DCO software across LCN processors forms an object system mapping (OSM). This OSM provides a sufficient specification to allow simulation investigations. In simulation, the behavioral dynamics of the interacting DCO software components load and compete for LCN processing and networking resources. The LCN resource constraints thus impose performance constraints on the interactions of the DCO software objects. Class models of the DCO, LCN, and OSM component structures and behavior dynamics were formally characterized using the discrete event system specification (DEVS) formalism. These class model specifications were implemented in DEVSJAVA, a Java implementation of DEVS. Class models of experimental frame components were developed and implemented to facilitate analysis of the interdependent distributed system behaviors during simulations. Our DEVS-DOC M&S environment enables distributed systems architects, integration engineers and system designers to analyze performance and examine engineering trades of system structures, topologies and technologies. A case study demonstrates the ability to model and simulate a real world system and the complex interactions that arise in distributed computing systems.",

keywords = "Codesign, Collaboration, Discrete event system specification (DEVS), Distributed object computing (DOC), Modeling and simulation (M&S)",

author = "Hild, {Daryl R.} and Hessam Sarjoughian and Zeigler, {Bernard P.}",

note = "Funding Information: Manuscript received October 18, 1999; revised December 13, 2001. This work was supported in part by the Advance Simulation Technology Thrust (ASTT) under DARPA Contract N6133997K-0007 and in part by National Science Foundation Grant “DEVS as a Formal Modeling Framework for Scaleable Enterprise Design.” The views expressed in this article are the authors{\textquoteright} and are not intended to represent in any way The MITRE Corporation or its opinions on this subject matter. This paper was recommended by Associate Editor J. Rozenblit.",

year = "2002",

month = jan,

doi = "10.1109/3468.995531",

language = "English (US)",

volume = "32",

pages = "78--92",

journal = "IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans.",

issn = "1083-4427",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

number = "1",

}

TY - JOUR

T1 - DEVS-DOC

T2 - A modeling and simulation environment enabling distributed codesign

AU - Hild, Daryl R.

AU - Sarjoughian, Hessam

AU - Zeigler, Bernard P.

N1 - Funding Information: Manuscript received October 18, 1999; revised December 13, 2001. This work was supported in part by the Advance Simulation Technology Thrust (ASTT) under DARPA Contract N6133997K-0007 and in part by National Science Foundation Grant “DEVS as a Formal Modeling Framework for Scaleable Enterprise Design.” The views expressed in this article are the authors’ and are not intended to represent in any way The MITRE Corporation or its opinions on this subject matter. This paper was recommended by Associate Editor J. Rozenblit.

PY - 2002/1

Y1 - 2002/1

N2 - An approach to modeling and simulating distributed object computing (DOC) systems as a set of software components mapped onto a set of networked processing nodes is presented. The modeling approach has clearly separated hardware and software components enabling systems level, distributed codesign engineering. The distributed codesign engineering refers to a system-theoretic approach to concurrent hardware and software systems engineering that provides a tractable method for analyzing the inherent complexities that arise in distributed computing systems. A software abstraction forms a distributed cooperative object (DCO) model to represent interacting software objects. A hardware abstraction forms a loosely coupled network (LCN) model of processing nodes, network gates and interconnecting communication links. The distribution of DCO software across LCN processors forms an object system mapping (OSM). This OSM provides a sufficient specification to allow simulation investigations. In simulation, the behavioral dynamics of the interacting DCO software components load and compete for LCN processing and networking resources. The LCN resource constraints thus impose performance constraints on the interactions of the DCO software objects. Class models of the DCO, LCN, and OSM component structures and behavior dynamics were formally characterized using the discrete event system specification (DEVS) formalism. These class model specifications were implemented in DEVSJAVA, a Java implementation of DEVS. Class models of experimental frame components were developed and implemented to facilitate analysis of the interdependent distributed system behaviors during simulations. Our DEVS-DOC M&S environment enables distributed systems architects, integration engineers and system designers to analyze performance and examine engineering trades of system structures, topologies and technologies. A case study demonstrates the ability to model and simulate a real world system and the complex interactions that arise in distributed computing systems.

AB - An approach to modeling and simulating distributed object computing (DOC) systems as a set of software components mapped onto a set of networked processing nodes is presented. The modeling approach has clearly separated hardware and software components enabling systems level, distributed codesign engineering. The distributed codesign engineering refers to a system-theoretic approach to concurrent hardware and software systems engineering that provides a tractable method for analyzing the inherent complexities that arise in distributed computing systems. A software abstraction forms a distributed cooperative object (DCO) model to represent interacting software objects. A hardware abstraction forms a loosely coupled network (LCN) model of processing nodes, network gates and interconnecting communication links. The distribution of DCO software across LCN processors forms an object system mapping (OSM). This OSM provides a sufficient specification to allow simulation investigations. In simulation, the behavioral dynamics of the interacting DCO software components load and compete for LCN processing and networking resources. The LCN resource constraints thus impose performance constraints on the interactions of the DCO software objects. Class models of the DCO, LCN, and OSM component structures and behavior dynamics were formally characterized using the discrete event system specification (DEVS) formalism. These class model specifications were implemented in DEVSJAVA, a Java implementation of DEVS. Class models of experimental frame components were developed and implemented to facilitate analysis of the interdependent distributed system behaviors during simulations. Our DEVS-DOC M&S environment enables distributed systems architects, integration engineers and system designers to analyze performance and examine engineering trades of system structures, topologies and technologies. A case study demonstrates the ability to model and simulate a real world system and the complex interactions that arise in distributed computing systems.

KW - Codesign

KW - Collaboration

KW - Discrete event system specification (DEVS)

KW - Distributed object computing (DOC)

KW - Modeling and simulation (M&S)

UR - http://www.scopus.com/inward/record.url?scp=0036098642&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0036098642&partnerID=8YFLogxK

U2 - 10.1109/3468.995531

DO - 10.1109/3468.995531

M3 - Article

AN - SCOPUS:0036098642

SN - 1083-4427

VL - 32

SP - 78

EP - 92

JO - IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans.

JF - IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans.

IS - 1

ER -

DEVS-DOC: A modeling and simulation environment enabling distributed codesign

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this