Marc Boyer

Marc Boyer Home page
Marc-Bureau-2017-icone.jpg
Marc Boyer (HDR)
ONERA / DTIS
2, av Edouard Belin
31055 TOULOUSE Cedex 4
Tel: (33) 5.62.25.26.36
Comment venir

ORCID: ORCID iD iconorcid.org/0000-0003-0344-6991

Homonymie: Attention, il existe un autre Marc Boyer, Marc Gabriel Boyer, qui a fait sa thèse à l'ONERA, maître de conférences à l'IUT A de Toulouse et membre de l'UMR 825 INSERM/UPS.

 


 

Thèmes et activité de recherche: méthodes formelles pour les systèmes embarqués communiquants

Je m'intéresse aux architectures et méthodes formelles pour les systèmes embarqués communiquants. Cela inclue des travaux théoriques sur les modèles d'analyse (en calcul réseau), autant que des études sur les réseaux eux-mêmes (AFDX et TSN principalement).

Occasionnellement, je contribue à Wikipedia quand je suis trop contrarié par ce que j'y lis.


Comités de programme, animation scientifique

Animateur du groupe WEED de l'AFSEC (2009-2011), Comité scientifique ERTS (2012, 2014, 2016), Co-chair Workshop WCTT (2010,2011), Membre CP ERTS (2018, 2022), Membre CP ECRTS (2022), Membre CP ETFA/VES (2021, 2022), Membre CP DATE (2018), Membre CP RTNS (2018,2019, 2021, 2022), Membre CP WFCS (2020) Membre CP Workshop NetCal (2018), Membre PC WoNeCa (2022), Membre CP ISORC (2022)


Enseignements

J'ai auparavant enseigné le C, le Java, etc.


Stage et Thèses

Je propose actuellement plusieurs stages et thèses.
Thèse:

Stage:

Les stages peuvent aussi donner lieu à des stages courts (4-6 semaines) pour des étudiants L2-L3. Voir tous les stages du département.

Thèses en cours

  • Pierre-Julien Chaine, Adéquation de Time Sensitive Networking aux exigencies spatiales
  • Damien Guidolin, Evaluation de performance pire-case de niveau système en Network Calculus

Thèses soutenues

Marc Boyer - Mini Bio

Mini-Bio

Publications and talks
Warning
For copyright reasons, some papers are not freely downloadable.
Nevetheless, because I am the author, I can always send you a private copy.
So, email me if needed.

Publications

[Network calculus]  [Embedded Networks]

Publications related to network calculus


Publications related to embedded networks



Talks


Old publications and talks (1998-2009)
Warning
For copyright reasons, some papers are not freely downloadable.
Nevetheless, because I am the author, I can always send you a private copy.
So, email me if needed.

Old Publications

[Timed PN]  [Verification of protocols [QoS dynamic renegociation]

Publications related to verification of protocols


Publications related to timed Petri nets


Publications related to QoS dynamic renegociation


Talks


  • RHDM02: Modélisation d'architectures multimédias
    Transparents présentés lors de l'école d'été Réseaux Haut-Débits et Multimédia (RHDM02). Cette présentation fait le point, en 2002, des problèmes de modélisation d'application multimédia, et présente une piste de solution. Cela correspond au dernier chapitre de ma thèse (Slides).
  • Phd Thesis (2001)
    As the thesis itself is written in french, its presentation also is.

    J'ai soutenu ma thèse (le 2 juillet 2001). Vous pouvez télécharger le résumé, ou le texte complet. -- Slides

    Vous pouvez aussi consulter ma fiche sur MathDoc.

Tools and code

NC-maude

NC-maude have been developped to allow to play with Network Calculus. Current version is 1.9.5. You will need the Maude tool to use it.

You can have a look here to get my feedback on the use of rewriting language in this project.


C++ Code : CheckedNumeric

CheckedNumeric<T> is a C++ class that behaves like a numerical type, but with a checking of overflow and underflow, and throwing of an exception when the results is out of bounds.
Code example:

CheckedNumeric<unsigned int>
x,y;
x=y=0;
x++;
cout<<++x; // Outputs 2
x=y-1; //
Throw a CheckedNumeric<unsigned int>::numeric_overflow
exception
 

You can download the sources.


C Code : The Basic Preprocessed Library

The Basic Preprocessed Library: this is an attempt of having a set of container and algorithms (like the STL in C++) type-safe and efficient in C, using the preprocessor.
You can browse the documentation: a short user manual and developper manual, and download the sources.
Any feedbacks are welcome!