Modeling & simulation framework for the inclusion of simulation objectives by abstraction

Sangeeth Saagar Ponnusamy (1) , Vincent Albert (1) , Patrice Thebault (2)

1 LAAS-ISI - Équipe Ingénierie Système et Intégration
2 Airbus Operation S.A.S.

ions 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.

Mots clés: Simulation; Hybrid Systems; Abstraction; Compatibility; Experimental Frame; Formal Matching; Bisimulation; Galois connection; Ontology

Domaines: Informatique [cs]

Sangeeth Saagar Ponnusamy, Vincent Albert, Patrice Thebault. Modeling & simulation framework for the inclusion of simulation objectives by abstraction. International Conference on Simulation and Modeling Methodologies, Technologies and Applications ( SIMULTECH 2014), Aug 2014, Vienne, Austria. pp.385-394. ⟨hal-01912545⟩