Architecture Analysis And Design Language
The Architecture Analysis and Design Language (AADL) is an architecture language to define the structure of your software architecture with its deployment and configuration aspects. I have been a member of the AADL committee since 2008 and I authored the ARINC653 annex.
Eclipse-based Fault-Tree Analysis
The Eclipse-Based Fault-Tree Analysis (EMFTA) is a tool to visualize a fault-tree in the Eclipse Modeling Environment. The tool is available on the SEI github repository.
Open Source AADL Tool Environment
The Open Source AADL Tool Environment (OSATE) is an open-source tool for modeling systems using the AADL. I am one of the main maintainer of the tool.
- POK: a real-time operating system that is compliant with the ARINC653 standard. I developed the Operating System during my PhD thesis and I am no longer maintaining it. A fork has been released under GPL3 at ISPRAS with some improvements.
- RTEMS: a small real-time operating system used in many domains such as aerospace. I have contributed to RTEMS during my job at the European Space Agency.
- TASTE: a toolchain to develop and auto-implement aerospace applications from the European Space Agency. I have been a co-maintainer of the tool during my job at the European Space Agency.
- Tuxfamily: Tuxfamily (aka TF) provides hosting services for free-software projects free hosting for free people!). I have been the chairman of this french non-profit for several years.
- VHFFS: the hosting platform for Tuxfamily. I have designed and written it from scratch to (re-)open Tuxfamily services.
- Debian: I have been a contributor for Debian and was an applicant to be a Debian developer but just quit because even completing the application