• Acceleo
• Avionics
• Code-generation
• Environmental Control System
• Gendoc
• Model-Based Development
• Papyrus
• Simulink
• SysML

Model-Based Development (MBD) is a consolidated approach that is providing different
strategies to effectively manage the development of increasingly complex systems. This
work aims to exploit the Model-Based Development approach to analyse and document the
key aspects of an aircraft Environmental Control System. The usage of models to drive
the development process allows the definition of the system architecture and the formally specification of the components within the system taken into account. Specifically, the system architecture and the components models are defined by using the standardised modelling languages SysML. Moreover, this document aims to highlight how the models can be used in the next steps of the development process to generate runnable code for the creation of a Simulink library and to enable the generation of the documentation.