Composability Verification of Real Time System Models Using Colored Petri Nets
2013 (English)In: Proceedings - UKSim 15th International Conference on Computer Modelling and Simulation, UKSim 2013, New York: IEEE , 2013, 407-412 p.Conference paper (Refereed)
The discipline of component based modeling and simulation offers promising gains including reduction in development cost, time, and system complexity. It also promotes (re)use of modular components to build complex simulations. Many important issues in this area have been addressed, but composability verification is still considered a daunting challenge. In our observation most of the component based modeling frameworks possess weak built-in support for the composability verification, which is required to guarantee the correctness of the structural, behavioral and temporal aspects of the composition. In this paper we stage a practical approach to alleviate some of the challenges in composability verification and propose a process to verify composability of real-time system models. We emphasize on dynamic semantic level and present our approach using Colored Petri Nets and State Space analysis. We also present a Field Artillery model as an example of real-time system and explain how our approach verifies model composability.
Place, publisher, year, edition, pages
New York: IEEE , 2013. 407-412 p.
Colored petri nets, Composability, Discrete event, Field artillery, Real-time systems, Verification
IdentifiersURN: urn:nbn:se:kth:diva-124495DOI: 10.1109/UKSim.2013.49ISI: 000325091800072ScopusID: 2-s2.0-84880855786ISBN: 978-076954994-1OAI: oai:DiVA.org:kth-124495DiVA: diva2:635848
UKSim 15th International Conference on Computer Modelling and Simulation, UKSim 2013; Cambridge; United Kingdom; 10 April 2013 through 12 April 2013
QC 201311282013-07-062013-07-062013-11-28Bibliographically approved