logo SBA

ETD

Digital archive of theses discussed at the University of Pisa

 

Thesis etd-07042017-001020


Thesis type
Tesi di laurea magistrale
URN
etd-07042017-001020
Thesis title
Model-Based Development of an Aircraft Environmental Control System
Department
INGEGNERIA DELL'INFORMAZIONE
Course of study
EMBEDDED COMPUTING SYSTEMS
Supervisors
.
relatore Prof. Di Natale, Marco
relatore Prof. Buttazzo, Giorgio C.
Keywords
  • Acceleo
  • Avionics
  • Code-generation
  • Environmental Control System
  • Gendoc
  • Model-Based Development
  • Papyrus
  • Simulink
  • SysML
Graduation session start date
24/07/2017
Availability
Full
Abstract (Inglese)
Abstract (Italiano)
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.
File