A compositional simulation framework for Abstract State Machine models of Discrete Event Systems
Abstract
References
Index Terms
- A compositional simulation framework for Abstract State Machine models of Discrete Event Systems
Recommendations
Compositional Simulation of Abstract State Machines for Safety Critical Systems
Formal Aspects of Component SoftwareAbstractModel-based simulation is nowadays an accepted practice for reliable prototyping of system behavior. To keep requirements complexity under control, system components are specified by separate models, validated and verified in isolation from the ...
AsmetaSMV: a way to link high-level ASM models to low-level NuSMV specifications
ABZ'10: Proceedings of the Second international conference on Abstract State Machines, Alloy, B and ZThis paper presents AsmetaSMV, a model checker for Abstract State Machines (ASMs). It has been developed with the aim of enriching the ASMETA (ASM mETAmodeling) toolset – a set of tools for ASMs – with the capabilities of the model checker NuSMV to ...
An abstract state machine semantics for discrete event simulation
WSC '17: Proceedings of the 2017 Winter Simulation ConferenceWe define an operational (transition system) semantics for the two most basic forms of Discrete Event Simulation (DES): event-based simulation (without objects) and object-event simulation. We show that under our operational semantics, DES models ...
Comments
Information & Contributors
Information
Published In
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 118Total Downloads
- Downloads (Last 12 months)118
- Downloads (Last 6 weeks)38
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in