DEVS-Based Dynamic Model Reconfiguration and Simulation Control in the Enhanced DoDAF Design Process

Mittal, Saurabh; Mak, E.; Nutaro, James

doi:10.1177/875647930600300405

Cited by 18 publications

(13 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The fading that may affect the communication among nodes, the conditions of the physical environment, and the time at which the message was lost on its way have been ignored. Establishing and removing connections among nodes under varying topology is possible with the variable structure of the DEVS-Suite environment ( Figure 6) [35,36].…”

Section: Topography Atomic Modelmentioning

confidence: 99%

Design and implementation of a new MANET simulator model for AODV simulation

Tuncel¹,

Ekiz²,

Zengi̇n³

2016

Turk J Elec Eng & Comp Sci

View full text Add to dashboard Cite

Abstract:Distributed systems, such as ad hoc networks, are composed of nodes communicating with each other using underlying wireless technologies. Communication protocols, connection technologies, traffic flows, and routing algorithms are very complex in the design process of ad hoc networks. Due to the challenges in current network simulators such as complexity, mobility, and scalability, studies on ad hoc networks are far beyond real life. For the purpose of overcoming the problems above, modeling and simulation tools are extremely significant in ad hoc research. In this study, for studying complexity, scalability, and adaptability aspect problems of mobile systems, a MANET model and its simulator

show abstract

Section: Topography Atomic Modelmentioning

confidence: 99%

Design and implementation of a new MANET simulator model for AODV simulation

Tuncel¹,

Ekiz²,

Zengi̇n³

2016

Turk J Elec Eng & Comp Sci

View full text Add to dashboard Cite

show abstract

“…The SES/MB framework has been studied in various computational environments and applied to numerous industrial problems (Mittal et al 2006;Cheon et al 2008). Recently, the SES/MB framework has seen increasing application to M&S of system of systems (SoS).…”

Section: System Entity Structure (Ses)mentioning

confidence: 99%

Service-Oriented Model Engineering and Simulation for System of Systems Engineering

Zeigler¹,

Zhang

2015

Concepts and Methodologies for Modeling and Simulation

View full text Add to dashboard Cite

The model is the foundation for simulation activities (Ö ren et al. 1982), especially in regard to system of systems (SoS, a composition of systems which component systems have legacy properties). A valid model and correct simulator are necessary for obtaining simulation results that serve the intended use of the model (Zeigler et al. 2000). Verification, validation, and accreditation (VV&A) is the primary means of establishing the credibility of the simulation results (Pace 2004). VV&A is usually considered after model construction and involves calibration and/or validation of the established model in order to determine whether it is credible. This post-construction determination has important implications to discover model problems and defects, but it cannot solve the problem of how to get a correct model in the first place. Especially for complex systems, due to the complexity and uncertainty of the system, the modeling process can be very complicated, which makes VV&A of a model extremely difficult. Even if defects are found via VV&A, revision of the model will be very difficult and costly.More importantly, for a system of systems, to construct a valid model is just the first step since a model of a SoS generally experiences a long term of evolution and management. As a result, the key issue for a complex system model is to guarantee the credibility of the full model life cycle with minimum cost.To meet the challenges in development and management of the SoS model, this chapter introduces the concept of the model engineering (Zhang 2011; Zhang

show abstract

“…The objective of the TD is to execute the DEVS test models generated by the TMG. The TD emulates a tactical TADIL-J system by providing simulated TADIL-J messages over the simulated tactical communication network, and accepts TADIL-J messages from the SUT to determine the condition of the test model, and is implemented via component-based Time waitRecv (12) waitRecv (24) waitRecv (24) holdSend (22) holdSend (12) holdSend (12) Figure 19. SUT and test model timeline for autocorrelation at UNIVERSITE LAVAL on July 3, 2015 dms.sagepub.com Downloaded from design using the enhanced MSVC design pattern.…”

Section: Test Drivermentioning

confidence: 99%

Automated Link-16 Testing Using the Discrete Event System Specification and Extensible Markup Language

Mak

Mittal

Hwang

et al. 2010

Journal of Defense Modeling & Simulation

Self Cite

View full text Add to dashboard Cite

With the modernization of Department of Defense (DoD) systems and the growing complexity of communication equipment, traditional test methods and processes have to evolve in order to maintain their effectiveness. DoD acquisition policy requires the use of modeling and simulation (M&S) in all phases of system development life-cycles in order to ensure technical certification and mission effectiveness. The complexity of these systems poses significant challenges over traditional interoperability test methodologies. The Automated Test Case Generator (ATC-Gen), funded by the Joint Interoperability Test Command (JITC), captures a Military Standard (MIL-STD) 6016C document and translates it into rules. These are in turn formalized into test cases using the Discrete Event System Specification (DEVS). In this paper, we present a new methodology to generate the test models and perform conformance testing using system theory, the DEVS M&S framework, the System Entity Structure (SES), and Extensible Markup Language (XML). This new methodology promotes the separation of the models, the simulator, and the distributed simulation. These separations distinguish and promote reusability by developing models, the simulator, and distributed simulation independently. The DEVS test models are generated from the test cases by the Test Model Generator using the system specifications. These models are written in an XML-SES format; the resulting C++ DEVS source code is generated based on the test model XML file. The Test Driver (TD) was designed based on the Model/Simulator/View/Control (MSVC) design pattern and developed to execute the DEVS test models. MSVC supports model and simulator separation design. It was also designed to support multiple network simulation protocols and rapid software modifications in order to incorporate new network protocols into the simulation software. This methodology was used to verify the conformance of the Integrated Architecture Behavior Model (IABM) to the MIL-STD 6016C, and the results of the test scenarios were validated using the JITC's Simple J network packet-monitoring tool. The network packet monitor captured the transmissions and the receipt of the tactical data messages from the TD. The system analyst interpreted and verified the messages, and determined whether these messages were the intended behavior of the TD.

show abstract

DEVS-Based Dynamic Model Reconfiguration and Simulation Control in the Enhanced DoDAF Design Process

Cited by 18 publications

References 16 publications

Design and implementation of a new MANET simulator model for AODV simulation

Design and implementation of a new MANET simulator model for AODV simulation

Service-Oriented Model Engineering and Simulation for System of Systems Engineering

Automated Link-16 Testing Using the Discrete Event System Specification and Extensible Markup Language

Contact Info

Product

Resources

About