Please use this identifier to cite or link to this item:
https://doi.org/10.1109/PADS.2011.5936769
DC Field | Value | |
---|---|---|
dc.title | An analysis of the cost of validating semantic composability | |
dc.contributor.author | Szabo, C. | |
dc.contributor.author | Teo, Y.M. | |
dc.date.accessioned | 2013-07-04T08:43:23Z | |
dc.date.available | 2013-07-04T08:43:23Z | |
dc.date.issued | 2011 | |
dc.identifier.citation | 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. <a href="https://doi.org/10.1109/PADS.2011.5936769" target="_blank">https://doi.org/10.1109/PADS.2011.5936769</a> | |
dc.identifier.isbn | 9781457713668 | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/42101 | |
dc.description.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. | |
dc.description.uri | http://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1109/PADS.2011.5936769 | |
dc.source | Scopus | |
dc.type | Conference Paper | |
dc.contributor.department | COMPUTER SCIENCE | |
dc.description.doi | 10.1109/PADS.2011.5936769 | |
dc.description.sourcetitle | Proceedings - Workshop on Principles of Advanced and Distributed Simulation, PADS | |
dc.identifier.isiut | NOT_IN_WOS | |
Appears in Collections: | Staff Publications |
Show simple item record
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.