NDLI: An Approach for Validation of Semantic Composability in Simulation Models

Please wait, while we are loading the content...

Cover Art

Title Page i

Title Page iii

Message from General Chair

Message from the Program Chair

Reviewers

An Approach for Validation of Semantic Composability in Simulation Models

Symbiotic Simulation Model Validation for Radiation Detection Applications

Causal Program Slicing

A Performance Evaluation of the Lightweight Time Warp Protocol in Optimistic Parallel Simulation of DEVS-Based Environmental Models

Scalable Time Warp on Blue Gene Supercomputers

Di-DyMeLoR: Logging only Dirty Chunks for Efficient Management of Dynamic Memory Based Optimistic Simulation Objects

Real-Time Security Exercises on a Realistic Interdomain Routing Experiment Platform

Modeling and Evaluation of Rescue Operations Using Mobile Communication Devices

Modeling the Internet Routing Topology - In Less than 24h

Parallelizing SystemC Kernel for Fast Hardware Simulation on SMP Machines

Hardware Supported Time Synchronization in Multi-core Architectures

GPU-based Real-Time Execution of Vehicular Mobility Models in Large-Scale Road Network Scenarios

An Efficient and Adaptive Mechanism for Parallel Simulation Replication

Using REST Web-Services Architecture for Distributed Simulation

On Determining How Many Computers to Use in Parallel VLSI Simulation

Communication-Efficient Support for Spatial Filtering of State Updates in Distributed Virtual Environments

Efficient Zone Mapping Algorithms for Distributed Virtual Environments

Efficient Master/Worker Parallel Discrete Event Simulation

Author Index

Publisher's Information

An Approach for Validation of Semantic Composability in Simulation Models

Content Provider	ACM Digital Library
Author	Teo, Yong Meng Szabo, Claudia
Abstract	Semantic composability aims to ensure that the composition of simulation components is meaningful in terms of their expressed behavior, and achieves the desired objective of the new composed model. Validation of semantic composability is a non-trivial problem because reused simulation components are heterogeneous in nature and validation must consider various orthogonal aspects including logical, temporal, and formal. In this paper, we propose a layered approach to semantic composability validation with increasing accuracy and complexity. The first layer exploits model checking for logical properties of component coordination including deadlock, safety, and liveness. Next, we address temporal properties by validating composition safety and liveness through simulation time. The third layer provides a formal composition validation guarantee by determining the behavioral equivalence between the composed model and a perfect model. In contrast to state-of-the-art approaches, we propose time-based formalisms to describe simulation components and compare the composition behaviors through time using semantically related composition states.
Starting Page	3
Ending Page	10
Page Count	8
File Format	PDF
ISBN	9780769537139
ISSN	10874097
DOI	10.1109/PADS.2009.14
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2009-06-22
Access Restriction	Subscribed
Subject Keyword	Simulation semantic composability validation component
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

An Approach for Validation of Semantic Composability in Simulation Models

An approach for validation of semantic composability in simulation models ∗.

An Objective-Based Approach for Semantic Validation of Emergence in Component-Based Simulation Models

Y.: On Validation of Semantic Composability in Data-driven Simulation Models (2010)

An objective-based approach for semantic validation of emergence in component-based simulation models ∗.

An Objective-Based Approach for Semantic Validation of Emergence in Component-Based Simulation Models

R.R.: Validity of models and classes of models in semantic composability (2003)

On Validation of Semantic Composability in Data-Driven Simulation

An integrated approach for the validation of emergence in component-based simulation models

An Approach for Validation of Semantic Composability in Simulation Models

Similar Documents

An Approach for Validation of Semantic Composability in Simulation Models

An approach for validation of semantic composability in simulation models ∗.

An Objective-Based Approach for Semantic Validation of Emergence in Component-Based Simulation Models

Y.: On Validation of Semantic Composability in Data-driven Simulation Models (2010)

An objective-based approach for semantic validation of emergence in component-based simulation models ∗.

An Objective-Based Approach for Semantic Validation of Emergence in Component-Based Simulation Models

R.R.: Validity of models and classes of models in semantic composability (2003)

On Validation of Semantic Composability in Data-Driven Simulation

An integrated approach for the validation of emergence in component-based simulation models

An Approach for Validation of Semantic Composability in Simulation Models