Reasoning about model accuracy
Artificial Intelligence
A taxonomy of model abstraction techniques
WSC '95 Proceedings of the 27th conference on Winter simulation
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Planning for verification, validation, and accreditation of modeling and simulation applications
Proceedings of the 32nd conference on Winter simulation
Proceedings of the 32nd conference on Winter simulation
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
Theory of Modelling and Simulation
Theory of Modelling and Simulation
Theory of Modeling and Simulation
Theory of Modeling and Simulation
Abstract behavior types: a foundation model for components and their composition
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Verification and validation of simulation models
WSC '05 Proceedings of the 37th conference on Winter simulation
Analyzing static and temporal properties of simulation models
Proceedings of the 38th conference on Winter simulation
Signature Matching Applied to Simulation/Frame Duality
ICONS '09 Proceedings of the 2009 Fourth International Conference on Systems
Towards an application of model-based codesign: an autonomous, intelligent cruise controller
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
| Hi-index | 0.00 |
The concept of experimental frame is employed to define circumstances under which a model is simulated and observed. Verifying the applicability of an experimental frame to a model is a key step to ensure that the intended purpose of a simulation can be achieved. We assume that the specification of an experimental frame and a model are two software components in the formal sense. This paper suggests a component-based approach to build the right simulation used for system models verification and validation. We use Input/Output automata for components' behaviour specification. Behavioural signature is employed to specify the experimental frame and model capabilities. Then we formally define applicability conditions with matching rules to verify the trace inclusion between an experimental frame and a model. This approach is illustrated with an application study of an intelligent cruise controller.