| [HDFT07b] |
Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Sébastien Faucou and Yvon Trinquet.
Adequacy between AUTOSAR OS specification and real-time scheduling theory.
In 2nd IEEE Symposium on Industrial Embedded Systems, Special session on Automotive Embedded Systems (SIES'2007), Jul. 2007, Lisbon, Portugal. Copyright IEEE Industrial Electronic Society
|
| [HDFT07a] |
Pierre-Emmanuel Hladik, Anne-Marie Déplanche, Sébastien Faucou and Yvon Trinquet.
Schedulability analysis of OSEK/VDX applications.
In 15th International Conference on Real-Time and Networked Systems (RTNS'2007), Mar. 2007, Nancy, France.
|
| [BBFT06] |
Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou and Yvon Trinquet.
Trampoline: an OpenSource Implementation of the OSEK/VDX RTOS Specification.
In 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2006), Sept. 2006, Prague, Czech Republic.
Copyright IEEE Industrial Electronic Society
|
| [FDT04] |
Sébastien Faucou, Anne-Marie Déplanche and Yvon Trinquet.
An ADL centric approach for the formal design of real-time systems.
In Architecture Description Language Workshop at IFIP World Computer Congress (WADL'04), pages 67-82, Aug. 2004, Toulouse, France.
Volume 176 of IFIP series. Copyright Springer
|
| [HF04] |
Henri Habrias and Sébastien Faucou.
Linking paradigms, semi-formal and formal notations.
Ìn Teaching Formal Methods CologNET/FME Symposium (TFM'04), pages 166-184, Sept. 2004, Ghent, Belgium.
Volume 3294 of Lecture Notes in Computer Science. Copyright Springer
|
| [FDB00b] |
Sébastien Faucou, Anne-Marie Déplanche and Jean-Pierre Beauvais.
Heuristic techniques for allocating ans scheduling communicating periodic tasks in distributed real-time systems.
In 2000 IEEE International Workshop on Factory Communication Systems (WFCS2000), pages 257-266, Porto, Portugal.
Copyright IEEE Industrial Electronic Society
|
| [BDFS07] |
Matthias Brun, Jérôme Delatour, Sébastien Faucou and Guillaume Savaton.
Retour d'expérience sur l'utilisation déclarative d'un langage de transformation pour la génération de code : de AADL vers OSEK/VDX OS.
In 3ème journées sur l'Ingénierie Dirigée par les Modèles (IDM'07), Mar. 2007, Toulouse, France.
|
| [DTSF05] |
Jérôme Delatour, Frédéric Thomas, Guillaume Savaton and Sébastien Faucou.
Modèle de plate-forme pour l'embarqué : première expérimentation sur les noyaux temps réel.
In Ingénierie Dirigée par les Modèles (IDM'05), Paris, France, 2005.
|
| [FT01] |
Sébastien Faucou and Yvon Trinquet.
Exécutif temps réel embarqué pour l'automobile : le standard OSEK/VDX. Application a un support d'exécution pour le langage CLARA.
In Real Time Systems 2001 (RTS'01), pages 275-291, Paris, France. Copyright Teknea
|
| [FDB00a] |
Sébastien Faucou, Anne-Marie Déplanche and Jean-Pierre Beauvais.
Calcul de placements pour un système temps réel distribué (best paper award).
In Real Time Systems 2000 (RTS'00), pages 66-77, Paris, France. Copyright Teknea
|
| [HF03] |
Henri Habrias and Sébastien Faucou.
Some reflexions on the teaching of formal methods.
In Teaching Formal Methods (TFM'03), Oxford, U.K., 2003.
|
| [FDT02] |
Sébastien Faucou, Anne-Marie Déplanche and Yvon Trinquet.
Timing fault removal for safety-critical real-time embedded systems.
In 10th ACM SIGOPS European Workshop (EW'02), Saint-Émilion, France, 2002.
|
| [FDT01] |
Sébastien Faucou, Anne-Marie Déplanche and Yvon Trinquet.
Operative architecture design and modelling for the validation of real-time applications
In 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'01), Juan-les-Pins, France, 2001.
|