Marc Boyer


English version

Mini-Bio

Publications
and talks



Tools
and code



LaTeX
psfrag addons

 


Marc Boyer width="133" />

Marc Boyer -- Ingénieur de recherche

ONERA / DTIM

2, avenue E. Belin

31055 Toulouse Cedex

Tel: (+33) 5-62-25-26-36

Secrétariat: (+33) 5-62-25-25-92

Courriel: Prenom.Nom@onera.fr

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 href="https://en.wikipedia.org/wiki/User:MarcBoyerONERA">contribue à Wikipedia quand je suis trop contrarié par ce que j'y lis.


Ouverture de poste: chercheur logiciels temps réel /
embarqués (CDI)

Un poste de chercheur plein temps, CDI, est ouvert à l'ONERA, sur la
thématique des systèmes et logiciels temps-réels embarqués, avec un
spectre assez large.

Plus de détails peuvent être trouvés dans
la fiche
de poste
(english version).
Quelques informations complémentaires:

  • Le titre "Ingénieur de recherche" est lié à une nomenclature
    interne ONERA, différente de celle des universités ou organismes de
    recherche (CNRS, INRIA...). En pratique, le poste correspond à un
    poste de chercheur plein temps.
  • Les candidats juniors comme senior sont les bienvenus.
  • Il est conseillé de se renseigner sur les détails du poste, en
    contactant le responsable de l'équipe d'accueil,

    Frédéric Boniol ou moi même.
  • Le poste est ouvert à des non-francophones.

Enseignements

J'enseigne principalement l'Ingénierie des protocoles (conception,
spécification, cycle en V, Lotos, Petri, SDL) en 2ème année href="http://www.enseeiht.fr/fr/formation/telecom_et_reseaux.html">Télécommunications et Réseaux de l'ENSEEIHT.

Je fais ces enseignements avec Frédéric Boniol et href="http://www.onera.fr/staff/claire-pagetti/">Claire
Pagetti.


J'interviens aussi en formation professionnelle à href="http://www.eurosae.com/">EUROSAE sur les réseaux
embarqués: MIL-STD-1553, ARINC 429/DITS, CAN, ARINC 825, TTP,
ARINC 664/AFDX, TTEthernet, SpaceWire, FlexRay...


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


Stages

Je propose actuellement plusieurs 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.

,

Mini-Bio

,

Publications and talks of Marc Boyer

 

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


,


NC-maude

C++ : Overflow tests

BPL: a C partial clone of the STL

 


NC-maude

NC-maude have been developped to allow to play with Network Calculus. Current version is 1.9.6. 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 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 x,y;
x=y=0;
x++;
cout<<++x;  // Outputs 2
x=y-1;      // Throw a CheckedNumeric::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!

,

psfrag add-ons


Pdfrack: a hack to get psfrag and pdflatex working together

I am a happy user of the psfrag LaTeX package. Nervertheless, I sometimes need to use pdflatex to produce pdf documents (less and less now than the dvips drivers handles hyperlinks).

But, since psfrag uses some special Postscript features, it is incompatible with pdflatex which directly generates the pdf document from the LaTeX source. And, there is no pdffrag package :-(

Then, I have developped for my personnal use a hack that uses latex + dvips + some ps to pdf filter, to generates one pdf figure for each ps figure, with the psfrag replacements.

More details can be found in the README, or the documentation

Download:

Other solutions

  • dvips + ps2pdf + hyperref: Did you really need pdflatex ? Sometimes, you only want to what the "cool" hyperlinks in your pdf. In this case, just use \usepackage{hyperref} in your code and use dvips and ps2pdf.
  • pst-pdf, pd4pdf

    See also these two packages (ps4pdf is deprecated and replaced by pst-pdf). which also seem to try to generate Pdf figure from Postscript code, in a more transparent way that mine (they call some script directly from latex compilation: my solution left external use). You can get it from CTAN.
  • DrawAt

    Matthijs Douze (another member from ENSEEIHT) has developped DrawAt, a solution for MacOS X only.
  • unpsfrag

    Félix Valado Pomarinho has developped a perl script: unpsfrag
  • fragmaster

    Tilman Vogel developped fragmaster, another perl-oriented solution.
  • pstoedit and [X]fig

    With [X]fig, you can already make a figure and, setting the special flag to a text zone, you already can put on your figures some LaTeX code, and export in the combined mode either in postcript or pdf.

    In the combined Postscript/LaTeX, if your file is named figure.fig, it creates a figure.pstex file which is the postcript version of your fig figure without the special-tagged texts, and a figure.pstex_t file which juste include the figure.pstex (with the \includegraphics command) and adds the LaTeX text at the right place.

    In the combined Pdf/LaTeX, this is the same except that figure.pstex is named figure.pdf and figure.pstex_t is named figure.pdf_t and includes figure.pdf.



    If you like to avoid the graphic interface, this ca be done in command line with fig2dev.
    	  fig2dev -L  pstex_t figure.fig figure.pstex_t
    	  fig2dev -L  pstex figure.fig figure.pstex
            

    If you do not have a fig figure, you can transform a postcript file into a fig one with pstoedit (try pstoedit -dis -f fig example.eps > example.fig ).

  • figfrag

    With figfrag, you can use the psfrag feature in your fig picture and create a standalone eps figure with the psfrag replacements.

diafrag

Little script to have the cool psfrag feature with dia.

Marc Boyer - Mini Bio

Mini-Bio