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
April 2014 - present
- Head of Research & Development
- 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
- (Postdoctoral Researcher) Distributed and realtime simulation of Cyber-Physical Systems (HLA/CERTI, PtolemyII)
- 10 Avenue Édouard Belin, 31400
October 2008 - May 2012
- (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)
- 46 rue Barrault, 75013
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)
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
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-...
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...
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...
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...
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...
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....
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...
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...