An Approach for Validation of Semantic Composability in Simulation Models

• Published in: 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation pp. 3 - 10
• Main Authors: Szabo, Claudia, Teo, Yong Meng
• Format: Conference Proceeding
• Language: English
• Published: Washington, DC, USA IEEE Computer Society 22.06.2009; IEEE
• Series: ACM Conferences
• Subjects: Bills of materials; component; Computational modeling; Computer science; Computer simulation; Computing methodologies > Modeling and simulation > Model development and analysis; Computing methodologies > Modeling and simulation > Model development and analysis > Model verification and validation; Computing methodologies > Modeling and simulation > Model development and analysis > Modeling methodologies; Computing methodologies > Modeling and simulation > Simulation types and techniques; Conferences; Context modeling; Drives; Safety; semantic composability; simulation; System recovery; Time measurement; validation; component; simulation; validation; semantic composability
• ISBN: 9780769537139; 0769537138
• ISSN: 1087-4097
• DOI: 10.1109/PADS.2009.14

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.