Please use this identifier to cite or link to this item: https://doi.org/10.1109/PADS.2011.5936769
Title: An analysis of the cost of validating semantic composability
Authors: Szabo, C.
Teo, Y.M. 
Issue Date: 2011
Source: Szabo, C.,Teo, Y.M. (2011). An analysis of the cost of validating semantic composability. Proceedings - Workshop on Principles of Advanced and Distributed Simulation, PADS. ScholarBank@NUS Repository. https://doi.org/10.1109/PADS.2011.5936769
Abstract: Validation of semantic composability is a non-trivial problem and a key step in component-based modeling and simulation. Recent work in semantic composability validation promise to reduce verification, validation, and accreditation efforts. However, the underlying cost of current validation approaches can undermine the promised benefits, and the trade-off between validation accuracy and validation cost is not well understood. In this paper we present, to the best of our knowledge, the first quantitative study on the cost of validating semantic composability. Firstly, validation approaches are categorized into techniques that validate general model properties, and techniques that validate model execution. Secondly, we focus on two key factors that influence validation cost, namely, simulation problem characteristics and the validation approach adopted. Our study covers four representative validation approaches, CD++ DEVS, Z-based DEVS, Petty and Weisel formal validation, and deny-validity, and for simplicity, we use computation time as a measure of validation cost. Based on a queueing network model with 1,000 components, the cost of validating general model properties accounts for 55% of total validation time, with the remaining 45% incurred by model execution validation. With respect to composition structure, a 10% increase in the fork and join component interconnections increases validation cost by more than half. In model execution validation, the time-based deny-validity approach is seven times more expensive than the timeless Petty and Weisel formalism. © 2011 IEEE.
Source Title: Proceedings - Workshop on Principles of Advanced and Distributed Simulation, PADS
URI: http://scholarbank.nus.edu.sg/handle/10635/42101
ISBN: 9781457713668
DOI: 10.1109/PADS.2011.5936769
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

54
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.