Marc Boyer

Marc Boyer Home page
Marc-Bureau-2017-icone.jpg
Marc Boyer
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 (réseaux de Petri, calcul réseau), autant que des études pratiques (architectures, maquette).

Je fus animateur du groupe WEED de l'AFSEC, et membre des comités de programme de la conférence ERTS², workshop WCTT et du Symposium MARC de Juillet 2012.

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), Membre CP DATE (2018), Membre CP RTNS (2018), Membre CP Workshop NetCal (2018)


Enseignements

J'enseigne principalement l'Ingénierie des protocoles (conception, spécification, cycle en V, Lotos, Petri, SDL) en 2ème année Sciences du numérique de l'ENSEEIHT.
Je fais ces enseignements avec Frédéric Boniol et Claire Pagetti.
J'interviens aussi en formation professionnelle à EUROSAE sur les réseaux embarqués: MIL-STD-1553, ARINC 429/DITS, CAN, ARINC 825, TTP, ARINC 664/AFDX, TTEthernet, SpaceWire, AVB, TSN, FlexRay...
J'ai auparavant enseigné le C, le Java, etc.


Stage et Thèses

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

Stages:

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

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]   [Timed PN]  [Verification of protocols [QoS dynamic renegociation]

Publications related to network calculus


Publications related to embedded networks

  • [MARC12] " Deterministic Execution on Many-Core Platforms application to the SCC", Bruno d'Ausbourg, Marc Boyer, Eric Noulard and Claire Pagetti, Proc of the 4th symposium of the Many-core Applications Research Community, (MARC'11b), Potsdam, Germany, December 2011. <
  • [FET05] "Interconnecting CAN busses via an Ethernet backbone", Jean-Luc Scharbarg, Marc Boyer, Christian Fraboul. Proc of the 16th IFAC International Conference on Fieldbus Systems and their Applications (FeT 2005), Puebla (Mexico), Novembre 2005
  • [ETFA05a] "TTCAN over mixed CAN/Switched Ethernet architecture"; Jean-Luc Scharbarg, Marc Boyer, Jérome Ermont, Christian Fraboul. Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Catania, IEEE Computer Press, p. 665-668, septembre 2005.
  • [ETFA05b] "CAN-Ethernet Architectures for Real-Time Applications", Jean-Luc Scharbarg, Marc Boyer, Christian Fraboul. Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Catania, IEEE Computer Press, p. 245-252, septembre 2005.

Publications related to verification of protocols


Publications related to timed Petri nets


Publications related to QoS dynamic renegociation


Talks


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!