Model Continuity in the Design of Dynamic Distributed Real-Time Systems

Hu, Xiaolin; Zeigler, Bernard P.

doi:10.1109/tsmca.2005.851283

Cited by 58 publications

(44 citation statements)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The use of simulations to approximate the behavior of software systems has been proposed in [9]. A key concept for carrying over results from simulations to implementations is 'model continuity' has been proposed in [12]. These techniques provide valuable insights into the simulation-based integration of systems, and technology (e.g.…”

Section: Related Workmentioning

confidence: 99%

Model-Integrated Development of Cyber-Physical Systems

Karsai

Sztipanovits

2008

Software Technologies for Embedded and Ubiquitous Systems

View full text Add to dashboard Cite

Abstract. Cyber-physical systems represent a new class of systems that integrate physics with computation. Their correct design is frequently of great importance as they are applied in safety-or business-critical contexts. This paper introduces a model-integrated development approach that addresses the development needs of such systems through the pervasive use of models. A complete model-based view is proposed that covers all aspects of the hardware and software components, as well as their interactions. Early experiments and work in progress are also reported.

show abstract

Section: Related Workmentioning

confidence: 99%

Model-Integrated Development of Cyber-Physical Systems

Karsai

Sztipanovits

2008

Software Technologies for Embedded and Ubiquitous Systems

View full text Add to dashboard Cite

show abstract

“…Model continuity refers to the generation of an approximate morphism relation between the different models within a development process through predefined transformation rules. Model continuity is obtained if the initial and intermediate models are effectively consumed in the later steps of a development process and the modeling relation is preserved [Hu and Zeigler 2005]. The main advantages of supporting model continuity are increasing the productivity, maintainability, consistency and quality of a simulation study.…”

Section: Introductionmentioning

confidence: 99%

Model Continuity in Discrete Event Simulation

Çetinkaya

Verbraeck

Seck

2015

ACM Trans. Model. Comput. Simul.

View full text Add to dashboard Cite

Most of the well known modeling and simulation methodologies state the importance of conceptual modeling in simulation studies and they suggest the use of conceptual models during the simulation model development process. However, only a limited number of methodologies refers to how to move from a conceptual model to an executable simulation model. Besides, existing modeling and simulation methodologies do not typically provide a formal method for model transformations between the models in different stages of the development process. Hence, in the current M&S practice, model continuity is usually not fulfilled. In this article, a model driven development framework for modeling and simulation is presented in order to bridge the gap between different stages of a simulation study and to obtain model continuity. The applicability of the framework is illustrated with a prototype modeling environment and a case study in the discrete event simulation domain.

show abstract

“…Model continuity allows component models of a distributed real-time system to be tested incrementally, and then deployed to a distributed environment for execution. It supports a design and test process having 4 steps (see [16] Model continuity reduces the occurrence of design discrepancies along the development process, thus increasing the confidence that the final system realizes the specification as desired. Furthermore, it makes the design process easier to manage since continuity between models of different design stages is retained.…”

Section: Model Continuitymentioning

confidence: 99%

“…Furthermore, DEVS operation over a web-middleware (SOAP) enables it to fully participate in the net-centric environment of the NCES. As a result of recent advances, DEVS can support model continuity through a simulationbased development and testing life-cycle [16]. This means that the mapping of high-level DoDAF specifications into lower-level DEVS formalizations would enable such specifications to be thoroughly tested in virtual simulation environments before being easily and consistently transitions to operate in real environment for further testing and fielding.…”

Section: Dodaf-to-devs Mappingmentioning

confidence: 99%

“…This is opposite to the discontinuity problem where artifacts of different design stages are disjointed and thus cannot be effectively consumed by each other. This discontinuity between the artifacts of different design stages is a common deficiency of most design methods and results in inherent inconsistency among analysis, design, test, and implementation artifacts [16]. Model continuity allows component models of a distributed real-time system to be tested incrementally, and then deployed to a distributed environment for execution.…”

Section: Model Continuitymentioning

confidence: 99%

See 1 more Smart Citation