Marc Boyer

Marc Boyer Home page
Marc Boyer
2, av Edouard Belin
31055 TOULOUSE Cedex 4
Tel: (33)


Research area: formal methods for communicating embedded systems

I am working on architectures and formal methods for communicating embedded systems: from theoretical studies on models (Petri nets, network calculus) to practical aspects (architecture, prototype)

Scientific committee ERTS (2012, 2014, 2016), Co-chair Workshop WCTT (2010,2011), Member PC ERTS (2018), Member PC DATE (2018), Member PC RTNS (2018, 2019), Member PC Workshop NetCal (2018)

I also sometime contributes to Wikipedia when I am too upset by what is written.

Open positions

There is one open PhD positions. Note that the subject in written in french, but you can of course contact me for details.


I teach mainly protocol engineering (specification, V cycle, SDL) in the Telecommunications and Networks department at ENSEEIHT.

I also teach embedded networks at EUROSAE: MIL-STD-1553, ARINC 429/DITS, CAN, ARINC 825, TTP, ARINC 664/AFDX, TTEthernet, SpaceWire, FlexRay...

PhD students

Publications and talks
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.


[Network calculus]  [Embedded Networks]   [Timed PN]  [Verification of protocols [QoS dynamic renegociation]

Publications related to network calculus

Publications related to embedded networks

  • [HAL20] Formal specification of satellite on-board networks requirements Pierre-Julien Chaine, Marc Boyer, Claire Pagetti, Franck Wartel Technical Report <hal-02926971>
  • [RTNS19] Impact on credit freeze before gate closing in CBS and GCL integration into TSN Marc Boyer, Hugo Daigmorte in Proc. of the 27th International Conference on Real-Time Networks and Systems (RTNS 2019) November 6-8, 2019, Toulouse, France (to appear)
  • [JRWRTC19a] TSN Support for Quality of Service in Space Pierre-Julien Chaine, Marc Boyer, Claire Pagetti and Franck, Wartel in Proc. of the 13th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2019) November, 2019, Toulouse, France (to appear)
  • [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


Tools and code


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;
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!