Recherche

 Thèses

 C. Michel, Contribution to the analysis, validation and development of Embedded Systems, ISAE-SUPAERO, co-supervised with P. Siron from 2016 to 2017, Toulouse, France, planned PhD defense on December 2019.

 H. Deschamps, Scheduling of a cyber-physical system simulation, ISAE-SUPAERO, co-supervised with P. Siron, Toulouse, France, July 2019.

 L. Pereira de Rezende, Possibilistic Workflow Net applied to the Management Systems of Flexible Business Process, co-supervised with S. Julia, Brésil, June 2017.

 C. Jacob, Uncertainty Management for Boolean Complex Systems :
Application to Preventive Maintenance of Aircrafts, co-supervised with Didier Dubois at IRIT/CNRS, Toulouse, France, February 2014.

 R. Adeline, Toward a validation process for model based safety analyses of multi-physical systems, co-supervised with Christel Seguin/ONERA, Toulouse, France, March 2011.

 Eliane Pozzebon, A multiagent Architecture for Group Learning using Intelligent Tutoring Systems, Université de Toulouse 1/UFSC-Brésil, co-supervised with G. Bittencourt, September 2008.

 Luciana Bolan Frigo, An Authoring Model for Adaptive Intelligent Tutoring Systems, Université de Toulouse 1/UFSC-Brésil, co-supervised with G. Bittencourt, January 2007.

 Omar Tahir, A High Level Petri net semantics for UML Dynamic Diagrams, Université de Toulouse 1 co-supervised with C. Sibertin-Blanc, December 2006.

 Projets

Ptolemy-HLA Framework :
The Ptolemy-HLA distributed co-simulation framework leverages two open source tools, Ptolemy II and HLA/CERTI, for the simulation of Cyber-Physical Systems (CPS). This framework enables dealing with three important issues : 1) Distribution of a simulation, 2) Interoperability of tools, allowing reusability and interfacing with other simulators or real devices/systems ; 3) Heterogeneous simulations (discrete events, continuous time).
This framework extends Ptolemy both, by coordinating the time advance of various Ptolemy instances, and by allowing data communication between them with the help of HLA management services.
These additions enable the creation of HLA federates (i.e., simulators) in a Federation (i.e., a distributed simulation) in an easy way, since the user does not need to be an HLA specialist in order to design a Federate. The paper presents the new components added to Ptolemy, some semantic issues, an application example and performance analysis.

More information here :
https://wiki.eecs.berkeley.edu/icyphy-hla/Main/HomePage