About myself...

Philippe Thierry
Kernel Engineer/Real-time and hardened Embedded systems in a french IT industy
PhD student - LiSSI/UPEC - France
cv: french version - english version

If you have question on the bellowing content, mail me on info [at] reseau-libre [.] net

List of published papers

Relaxing Mixed-Criticality Scheduling Strictness for Task Sets Scheduled with FP (2012)
authors: F. Santy, L. George, P. Thierry, J. Goossens
publication: ECRTS'12

Toward the integration of GRSecurity in embedded Android operating system (2011)
authors: P. Thierry, S. Leroy
publication: Embedded Linux Conference-Europe (Prague) (Linux Fondation link)

Real-time scheduling analysis for ARINC-based virtualized systems (2011)
authors: P. Thierry, L. George, J-F Hermant
publication: MAPSP'11

Toward a predictable and secure data cache algorithm: a cross-layer approach (2011)
authors: P. Thierry, L. George, J-F Hermant, F. Germain, D. Ragot, J-M Lacroix
publication: ISPS'11 (IEEE Xplore link)
complete version:

List of published courses

Introducing the Linux kernel architecture (2010)
authors: P. Thierry
license: This course is under Creative Commons license (see the license description)
other: This course is also available in french:
this course is oriented on the general linux module development.

Les outils gnu pour la production: formation initiale aux outils de production et études de cas réels (2010)
authors: P. Thierry
Thanks: S. Leroy & J-M. Lacroix
license: This course is under Creative Commons license (see the license description)
this document is written in french.

Hardening GNU/Linux environment for critical embedded systems (2010/2012)
authors: P. Thierry
license: This manual is under Creative Commons license (see the license description)
this document is still being written, some content is missing. Last Update: Sept 06 2012

Other

The libcommon project

I currently work on the libcommon project, proposing a certifiable implementation of a service oriented library in C, with strong requirements on the software architecture and the development process.
The goal is to implement usual needed APIs for base services implementations (i.e. telecom daemons, base security services and watchdog, etc) on a complete POSIX base.
The libcommon project has a current automatic test coverage of 98.1%.
 
In this project, I am in charge of the documentation management and validation (requirements, design and process definition and validation, man pages and various manuals).

The WCET Calculator project

I'm currently working on an automated tool which empricicaly calculate the WCET of unmastered binaries under Linux. The goal is to get back a primary real-time profile of a given task in order to integrate it in Linux-based soft Real-Time environment (e.g. Xenomai soft mode, Litmus^RT).
This tool also generates an informative profile in term of execution cost variation.
The tool webpage is the following : http://www.reseau-libre.net/wcetcalculator.html

The USBWall project

Through a partnership with the ECE/LACSC research laboratory, I'm working on an Open-Source project named USBWall. The aim of this project is to add directly in the Linux kernel a USB mass-storage filtering module managing periphericals access rights.
This project targets information systems based on GNU/Linux workstation, to which it is possible to define a complete security policy for the usb mass-storage device access rights.
This project is composed of a Linux kernel filtering module, a userspace abstraction library for module configuration, and for now a simple application testing the module capacities. All sources and documentations are accessible on github:
USBWall module repository
USBWall module abstraction library
USBWall module test applications