ONERA's Personal Web Pages

Research area: formal methods for embedded communicating systems

I am interested in architectures and formal methods for embedded communicating systems. It includes theoratical works on formal models (Petri nets, network calculus) and also pratical studies (architectures, platforms).

I am member of the programme committees of ERTS² 2012 conference and WCTT workshop.

• Studies:
  • Embedded Ethernet: Ethernet in now on board, under a restrictive form (AFDX). It can be used in different embedded and/or real-time contexts. The two main hard points are:
  1. determinism guarantees,
  2. interconnexion with other buses and fieldbuses..

  Publications: [FI08],[FET05], [ETFA05a], [ETFA05b]
  Projects: ADCN+

• Formal methods:
  • Time Petri nets: A lot of timed extensions of Petri nets have been defined. It is of importance to clarify their relationships, from formal and practical point of view.
    
        Publications: [ICATPN07], [ICFEM06], [FORTE06].
  • Network calculus: Netwok calculus allos to compute guaranteed bounds (delais and buffer sizes) in communication networks. It fits the needs of real-time and embedded systems.
    Publications: [WFCS08] [IRIT-2007-21]
    

Past studies:

multimedia applications: modeling, quality of service...

Last Update: march 31th, 2009 - © ONERA 2008 - Terms of use