Modeling & Simulation Framework for the Inclusion of Simulation Objectives by Abstraction

Sangeeth saagar Ponnusamy, Vincent Albert, Patrice Thebault

2014

Abstract

Abstractions of experimental frame components with respect to simulation objectives are discussed with a hybrid system simulation application. Validity assessment through behavioural compatibility criteria described by the trace inclusion framework is given. The simulation objectives are associated with modelling abstractions by such a framework and described in established modeling & simulation framework. Consistent abstractions from hierarchically ordered posets for stimulant and observer models in experimental frame are discussed. A landing gear example is taken and testability through primary experimental frame component abstractions was observed for the given simulation requirements. The formal framework under development is briefly discussed at the end in the context of applicability and derivability of experimental frame and fidelity of simulation.

References

  1. Albert, Vincent, 2009, Simulation validity assessment in the context of embedded system design, Phd Thesis, LAAS-CNRS, University of Toulouse, Unpublished.
  2. Albert, V, Nketsa, A, Seguin, C, 2010, Verifying trace inclusion between an experimental frame and a model, DEVS Integrative Modeling and Simulation Symposium.
  3. Boniol, F, Wiels, V, 2014, The Landing Gear Case Study, 4th International ABZ Conference, Case study track.
  4. Cousot, Patrick, 1992, Abstract Interpretation Frameworks, Journal of Logic and Computation, volume 2, pages 511-547.
  5. Foures, D, Albert, V, Nkesta, A, 2013, Simulation validation using the compatibility between simulation model and experimental frame, Proceedings of the 2013 Summer Computer Simulation Conference, Society for Modeling & Simulation International, Vista, CA, Article 55 , 7 pages.
  6. Foures, D, Albert, V, Nkesta, A, 2012, Formal compatibility of experimental frame concept and FDDEVS model, 9th International Conference on Modeling, Optimization & Simulation, Bordeaux, France.
  7. Girard, A, Pappas, G J, 2007, Approximation Metrics for Discrete and Continuous Systems, IEEE Transactions on Automatic Control, Volume 52, Issue 5, pages 782- 798.
  8. Man-Kit-Leung, J, Mandl, T, Lee, E A, Latronico, E, Shelton, C, Tripakis, S, Lickly, B, 2009, Scalable semantic annotation using lattice based ontologies. Lecture Notes in Computer Science, Volume 5795, pp 393-407.
  9. MATLAB SIMULINK Single hydraulic cylinder simulation, SIMULINK R2014a Example, http://www.mathworks.fr/fr/help/simulink/examples/si ngle-hydraulic-cylinder-simulation.html.
  10. Traoré, M K, Muzzy, A, 2006, Capturing the dual relationship between simulation models and their context, Simulation Modelling Practice and Theory 14(2): 126-142.
  11. Zeigler, B P, 1984, Theory of Modelling and Simulation, Krieger Publishing Co., Inc., Melbourne, FL, USA.
Download


Paper Citation


in Harvard Style

Ponnusamy S., Albert V. and Thebault P. (2014). Modeling & Simulation Framework for the Inclusion of Simulation Objectives by Abstraction . In Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-758-038-3, pages 385-394. DOI: 10.5220/0005038903850394


in Bibtex Style

@conference{simultech14,
author={Sangeeth saagar Ponnusamy and Vincent Albert and Patrice Thebault},
title={Modeling & Simulation Framework for the Inclusion of Simulation Objectives by Abstraction},
booktitle={Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2014},
pages={385-394},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005038903850394},
isbn={978-989-758-038-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - Modeling & Simulation Framework for the Inclusion of Simulation Objectives by Abstraction
SN - 978-989-758-038-3
AU - Ponnusamy S.
AU - Albert V.
AU - Thebault P.
PY - 2014
SP - 385
EP - 394
DO - 10.5220/0005038903850394