Gilles Lasnier

Gilles Lasnier
CIELE Ingénierie · R&D

PhD, Distributed Embedded & Realtime Systems applied to Safety-Critical Systems

About

9
Publications
2,347
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
135
Citations
Additional affiliations
April 2014 - present
CIELE Ingénierie
Position
  • Head of Research & Development
Description
  • R&D Coordinator CIELE (strategy, management, fundings, industrial and academic partenerships). R&D project coordinator of ADES, the toolset for Automatic Deployment of Embedded Solutions. R&D project coordinator of the CIELE Embedded Linux.
October 2012 - November 2013
Institut Supérieur de l'Aéronautique et de l'Espace (ISAE)
Position
  • (Postdoctoral Researcher) Distributed and realtime simulation of Cyber-Physical Systems (HLA/CERTI, PtolemyII)
Description
  • 10 Avenue Édouard Belin, 31400
October 2008 - May 2012
Institut Mines-Télécom
Position
  • (PhD Thesis) Une Approche Intégrée pour la Validation et la Génération de Systèmes Critiques par Raffinement Incrémental de Modèles Architecturaux (AADL, Behavior annex, model transformation, code generation)
Description
  • 46 rue Barrault, 75013
Education
October 2012 - October 2013
Institut Supérieur de l'Aéronautique et de l'Espace (ISAE) - SupAéro - ONERA - UCB/CHESS
Field of study
  • Distributed and Realtime simulation of Cyber-Physical Systems (CPS)
October 2008 - May 2012
Institut Mines-Télécom
Field of study
  • Distributed, Embedded and Realtime Systems - safety critical systems
September 2006 - September 2008
Université Pierre et Marie Curie Paris 6 - Master Systèmes et Applicaions Répartis
Field of study
  • Distributed, Embedded and Realtime systems

Publications

Publications (9)
Conference Paper
Full-text available
This work describes a framework for distributed simulation of cyber-physical systems (CPS). Modern CPS comprise large numbers of heterogeneous components, typically designed in very different tools and languages that are not or not easily compose able. Evaluating such large systems requires tools that integrate all components in a systematic, well-...
Article
The increasing complexity of distributed realtime and embedded (DRE) systems and their implication in various domains imply new design and development methods. In safety- criticial domains such as space, aeronautical, transport or medicine, their failure could result in the failure of the mission, or in dramatic damages such as human losses. This p...
Conference Paper
Full-text available
AADL is a modeling language to design and analyze High-Integrity Distributed and Real-time systems. Embedded sub-languages published as AADL annexes extend an AADL model to enhance analysis. The behavior annex specifies the behavior of an AADL application model. Thus, an implantation of this annex allows to perform behavior analysis. In addition, a...
Article
Full-text available
Despite numerous advances, building High-Integrity Embedded systems remains a complex task. They come with strong requirements to ensure safety, schedulability or security properties; one needs to combine multiple analysis to validate each of them. Model-Based Engineering is an accepted solution to address such complexity: analytical models are der...
Conference Paper
Full-text available
AADL is an architecture description language intended for model-based engineering of high-integrity distributed systems. The AADL Behavior Annex (AADL-BA) is an extension allowing the refinement of behavioral aspects described through an AADL architectural description. When implementing Distributed Real-time Embedded system (DRE), fault tolerance c...
Conference Paper
Full-text available
AADL is an architecture description language intended for model-based engineering of high-integrity systems. The AADL Behavior Annex is an extension allowing the refinement of behavioral aspects described through AADL. When implementing Distributed Real-time Embedded system, fault tolerance concerns are integrated by applying replication patterns....
Article
Full-text available
développement d'applications critiques distribuées est un challenge difficile. Une panne du système peut causer d'impor-tants dommages commme la perte de vies humaines ou l'échec de la mission. Par conséquent, de telles applications doivent être conçues et développées avec rigueur. La réduction des erreurs produites dans les différentes étapes du p...
Conference Paper
Full-text available
Developing safety-critical distributed applications is a difficult challenge. A failure may cause important damages as loss of human life or mission’s failure. Such distributed applications must be designed and built with rigor. Reducing the tedious and error-prone development steps is required; we claim that automatic code generation is a natural...

Network

Cited By