Gilles Lasnier - Home Page
PhD Thesis Student 2008/2011
Team S3 - Computing & Networks (INFRES)
Hello and welcome to my personal home page. I am currently doing my PhD thesis at the computer science & networks department (INFRES) of the TELECOM ParisTech French ICT engineering school, in the S3 team, member of the LTCI lab, CNRS' UMR 5141.
Laurent Pautet is my PhD thesis advisor and Jérôme Hugues is co-advisor.
Here is a copy of my CV (eng | fr).
System & software engineering, compilation, middleware, real time, distributed, embedded, aadl, component modeling, safety, security, behaviour.
e-mail: gilles (dot) lasnier (at) telecom (hyphen) paristech (dot) fr
location: room C202-3, phone +33 (0) 1 45 81 79 78, fax +33 (0) 1 45 81 31 19
snail mail: Gilles Lasnier, INFRES, 46 rue Barrault, 75634 Paris, France
Title in french:
Intégration de Politiques de Sécurité et de Sûreté de Fonctionnement pour la Modélisation, la Vérification et la Génération de Systèmes Critiques.
The Architecture Analysis and Design Language (AADL) is an architecture description language that defines system constructs such as threads, processes or processors to model real-time, safety-critical embedded systems. AADL is standardized by SAE (Society of Automotive Engineers) and was first developed in the field of avionics.
AADL provides a
potential backbone to model DRE systems, to analyse their schedulability, safety and security properties and automatically produce the executable code. It uses a component-centric model and defines the system architecture as a set of interconnected components. Modeling components consists of describing their interfaces, their implementations and their properties.
The AADL standard defines the textual, graphical, and XMI representation of the language to facilitate model interchange between tools. Furthermore, AADL is an extensible language: external languages can be used to define annexes. Besides, the standard proposes annexes to specify the detailed behavior of applications, data representation and error modelling as well as code generation directives.
A part of my PhD thesis is oriented around AADL and the Behaviour annex. I used AADL for modeling DRE systems and the Behaviour annex for expressing and verifying several aspects of the application's behavior (work in progress).
Ocarina is a tool suite written in Ada to manipulate AADL models. Ocarina proposes AADL model manipulation, syntactic and semantic analysis, generation of formal models and their verification (Petri Nets, with CPN-AMI), performs scheduling analysis (with Cheddar) and generates distributed real time applications in Ada and C languages.
I have integrated the AADL version 2.0 in Ocarina. I'm going to implement the new language features in code generators and to integrate the Behaviour annex (work in progress).
PolyORB-HI is a minimal middleware targetted DRE systems and designed by TELECOM ParisTech. PolyORB-HI acts as specific runtime for distributed high-integrity applications based on the Ada Ravenscar profile. This runtime inherits concepts from the PolyORB middleware, while using a high-integrity compliant source base. Two target languages are supported: Ada 2005 and C.
PolyORB-HI provides only those services required by the DRE system. It is constituted of two parts: the first part corresponds to services lowly customizable and used for each applications; the second part corresponds to services highly customizable automatically generated by the backend. POLYORB-HI supports construction for AADL entities describe in the AADL model and produce code for those entities. Ocarina uses PolyORB-HI for code generation.
Encadrement de travaux pratiques d'informatique temps réel (langage Ada) pour les élèves de deuxième année du Master SAR de l'UPMC, 4 heures.
Encadrement de travaux pratiques d'informatique sur les langages synchrones (langages Lustre et Esterel) pour les élèves de deuxième année du Master SAR de l'UPMC, 4 heures.
Encadrement de travaux pratiques d'informatique temps réel et distribué (langages RMI/Java, CORBA/Java, CORBA/Ada) pour les élèves de deuxième année du Master SAR de l'UPMC, 2 heures.
Encadrement de travaux pratiques d'informatique temps réel et distribué (langage Ada) pour les élèves de deuxième et troisième année de TELECOM ParisTech, 9 heures.
Encadrement de travaux pratiques d'informatique sur les systèmes d'exploitation (UNIX) pour les élèves de première année de TELECOM ParisTech, 10 heures.
Encadrement de travaux pratiques d'informatique distribué (langage DSA/Ada) pour les élèves de deuxième et troisième année de TELECOM ParisTech, 2 heures.
Encadrement de travaux dirigés d'informatique sur les architectures clients/serveurs pour les élèves de troisième année de la licence professionnelle informatique de l'UPMC, 16 heures.
Encadrement de travaux pratiques d'informatique sur les architectures clients/serveurs (langages SOCKETS/Java, RMI/Java, CORBA/Java) pour les élèves de troisième année de la licence professionnelle informatique de l'UPMC, 48 heures.
Some links for your viewing pleasure: