Department of Mathematics, Computer Science, Control of the ISAE
Logo ISAE
DMIA

Systems modeling and Simulation

last modified 16 November 2009

All the versions of this article: [français] [English]

Partnerships

Industrial, governmental and academic partnerships

  • CNES,
  • Thalès Avionics,
  • DGA,
  • IRIT,
  • Supmeca Toulon,
  • University of Dresden (A),
  • Beihang University (China).

Permanent staff: J. Cardoso, C. Garion, R. Leconte, P. de Saqui-Sannes, P. Siron

PhD students: G. Cadet, J.-B. Chaudron, L. Lingyu

Contact: pierre.siron@isae.fr, phone: 33 (0)5 61 33 80 98


This topic includes specific modeling and simulation research of the DMIA department’s MARS group. This work involves preliminary transversal studies, since modeling and simulation are basic tools for every engineer or researcher. The goals are:

  • to define and evaluate new modeling formalisms, specification and validation of various systems, from numerical to human systems and to take into account various requirements,
  • to implement and evaluate new techniques of scientific computing on multiprocessor architectures,
  • to find, implement and evaluate new techniques of event-driven distributed simulation for the study of complex systems.

Dynamic complex systems modeling has been studied with formal logics and we have focused on situation calculus. A study on organization modeling began in late 2008 with focus on deontic logics and regulatory completeness. We have monitoried the new versions of two parallel programming libraries, PVM and MPI and are evaluating them on our experimental clusters with new network technology (Infini Band).

The development of open-source and free CERTI software continues. This involves a Run Time Infrastructure (RTI) for event-driven distributed simulations with the well-known HLA (high level architecture) standard. Thanks to the availability of this software, we have carried out new studies on the feasibility of distributed simulations in real time. For example, we have found a simulation architecture and a method to simulate satellite flight in-formation. The goal is to design a distributed simulation platform that meets hard real time requirements and that will be useful for hybrid simulations of embedded systems (required hardware constraint in the loop).

Mentions légales | Plan d’accès | Site Map | Follow-up of the site's activity RSS 2.0 |