Sciweavers

Share
PADS
2009
ACM

An Approach for Validation of Semantic Composability in Simulation Models

9 years 2 months ago
An Approach for Validation of Semantic Composability in Simulation Models
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. Firstly, concurrent process validation exploits model checking for logical properties of component coordination including deadlock, safety, and liveness. Secondly, meta-simulation addresses temporal properties by validating safety and liveness of the composition through simulation time. Thirdly, perfect model validation provides a formal composition validation guarantee by determining the behavioral equivalence between the composed model and a perfect...
Claudia Szabo, Yong Meng Teo
Added 19 May 2010
Updated 19 May 2010
Type Conference
Year 2009
Where PADS
Authors Claudia Szabo, Yong Meng Teo
Comments (0)
books