About me

• Name: Julien Delange
• Resume: french or english
• Current Position: Software Engineer at the European Space Agency
• Thesis topic: design and implementation of safe and secure systems
• Keywords: : AADL, TASTE, code generation, Ocarina, ARINC653
• Misc: : last.fm - linkedin - flickr - carnet - on fb blog - wishlist

Short bio

I studied in Le Havre and Paris, got a Master degree at University Paris VI in 2007 and was graduated with honors. I also got a PhD in Computer Science at TELECOM ParisTech, which gave me the opportunity to start the POK project, the first libre partitioned operating system. Interested readers can find the list of related publications below. I was also involved in teaching activities (at the EPITA engineer school) where I was head of the real-time software engineering department.

I worked on several free-software ("libre") projects (Debian, Mandriva, etc.). I also created Tuxfamily, and designed its software platform (VHFFS). I also managed the Tuxfamily association. I am now involved in the Freebits project.

I now work at the European Space Agency on Software Engineering domain. I like running, hiking, reading and have lot of interests such as music, cinema or finance. I currently live in Noordwijk in the Netherlands, but I often have trips in other countries for various purposes. Do not hesitate to drop me an email if you like to have a drink, jog or just discuss !

Publications

Here is a bibtex file that contains all my publications.

Papers

• [DPK-RSP10] J. Delange, L. Pautet and Fabrice Kordon. Design, Verification and Implementation of MILS systems. In RSP2010. PDF
• [DPK-ERTSS10] J. Delange, L. Pautet and Fabrice Kordon. Modeling and Validation of ARINC653 Architectures. In ERTSS2010. PDF
• [RGDPH10] Gopal Raghav, Swaminathan Gopalswamy, J. Delange, L. Pautet and Jérôme Hugues. Model Based Code Generation for Distributed Embedded Systems. In ERTSS2010.
• [DPHV10] J. Delange, L. Pautet, Jérôme Hugues and Dionisio de Niz. A MDE-based Process for the Design, Implementation and Validation of Safety-Critical Systems. In 5th IEEE International workshop UML & AADL. PDF
• [DPPKSK09] J. Delange, L. Pautet, Alain Plantec, Mickael Kerboeuf, Frank Singhoff and Fabrice Kordon. Validate, simulate and implement ARINC653 systems using the AADL In ACM's 12th Annual International Conference on Ada and Related Technologies - SIGAda09. (received best student paper award) PDF
• [RGRDH09] Gopal Raghav, Swaminathan Gopalswamy, Karthikeyan Radhakrishnan, J. Delange and J. Hugues. Architecture Driven Generation of Distributed Embedded Software from Functional Models In Proceedings of the 2009 Ground Vehicle Systems Engineering and Technology Symposium (GVSETS). PDF
• [DGHP09] J. Delange, O. Gilles, J. Hugues and L. Pautet. Model-Based Engineering for the Development of Partitioned Architectures In AeroTech Congress & Exhibition - Avionics - Integrated Model-based System, Application and Architectures. PDF
• [DPF09] J. Delange, L. Pautet and Peter Feiler. Validating safety and security requirements for partitioned architectures. In 14th International Conference on Reliable Software Technologies - Ada Europe, June 2009. PDF
• [DPK08] J. Delange, L. Pautet and F. Kordon. Code Generation Strategies for Partitioned Systems. In 29th IEEE Real-Time Systems Symposium (RTSS'08) Work In Progress, IEEE Computer Society, December 2008. PDF
• [DHPZ08] J. Delange, J. Hugues L. Pautet, and B. Zalila. Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity Domain. In 4th European Congress ERTS, Toulouse, Paris, jan 2008. PDF.

Journal

• [COUVERTURE-AUJ10] Matteo Bordin, Cyrille Comar, Tristan Gingold, Jérôme Guitton, Olivier Hainque, Thomas Quinot, J. Delange, J. Hugues L. Pautet, and B. Zalila. Couverture: an Innovative Open Framework for Coverage Analysis of Safety Critical Applications In Ada User Journal, December 2009 issue. PDF.

Presentations

• Model-Based Engineering for the Development of Partitioned Architectures In AeroTech Congress & Exhibition - Avionics - Integrated Model-based System, Application and Architectures. PDF.
• Validating safety and security requirements for partitioned architectures. In 14th International Conference on Reliable Software Technologies - Ada Europe, June 2009.
• Conception et implémentation de systèmes sûrs et sécurisés (french version only). For the MeFoSyLoMa group. PDF.
• Code Generation Strategies for Partitioned Systems PDF In 29th IEEE Real-Time Systems Symposium (RTSS'08) Work In Progress, IEEE Computer Society, December 2008. PDF.
• Modeling Domains of Safety and Security using AADL. AADL meeting, 2008. PDF
• Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity Domain. In 4th European Congress ERTS, Toulouse, Paris, jan 2008. PDF

Posters

• Code Generation Strategies for Partitioned Systems. In 29th IEEE Real-Time Systems Symposium (RTSS'08), IEEE Computer Society, December 2008. JPEG.

Links

Teaching

• Ada Tutorial
• Ada Style Guide (Wikibooks)
• Ada Programming (Wikibooks)

Work

• The POK project
• AADL Portal at TELECOM ParisTech

Misc

• Who Killed The Software Engineer ?

About this webpage

• Hosting: Freebits
• Contact: julien at PLIZNOSPAMTHX gunnm dot org