Simulation validation using the compatibility between simulation model and experimental frame

Authors:
Damien Foures;Vincent Albert;Alexandre Nketsa
Affiliations:
CNRS, LAAS, Toulouse, France and Univ de Toulouse, UPS, Toulouse, France;CNRS, LAAS, Toulouse, France and Univ de Toulouse, UPS, Toulouse, France;CNRS, LAAS, Toulouse, France and Univ de Toulouse, UPS, Toulouse, France
Venue:
Proceedings of the 2013 Summer Computer Simulation Conference
Year:
2013

Citing 7
Cited 0

Object-oriented software metrics: a practical guide

Object-oriented software metrics: a practical guide
Qualitative reasoning: modeling and simulation with incomplete knowledge

Qualitative reasoning: modeling and simulation with incomplete knowledge
Theory of Modelling and Simulation

Theory of Modelling and Simulation
A Metrics Suite for Object Oriented Design

IEEE Transactions on Software Engineering
Evaluating the Impact of Object-Oriented Design on Software Quality

METRICS '96 Proceedings of the 3rd International Symposium on Software Metrics: From Measurement to Empirical Results
Automated identification of LTL patterns in natural language requirements

ISSRE'09 Proceedings of the 20th IEEE international conference on software reliability engineering
Safraless procedures for timed specifications

FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This work illustrates the possibilities associated with the concept of experimental frame in the domain of simulation. The experimental frame noted "EF" is used to define the environment in which a model will evolve. EF and model are extracted from specifications of the system understudy. Formal language has been utilized for designing EF & model such that model checking techniques can be employed. We have chosen "I/O automata", applying the frame to the model implies incompatibilities with parts of the model. In this contribution we detect these incompatibilities to measure it. Our method will allow a set of metrics evaluate the validity of simulations according to goals of simulation user-defined.