ETD

Archivio digitale delle tesi discusse presso l'Università di Pisa

Tesi etd-07042017-001020


Tipo di tesi
Tesi di laurea magistrale
Autore
ARMENIA, SALVATORE
URN
etd-07042017-001020
Titolo
Model-Based Development of an Aircraft Environmental Control System
Dipartimento
INGEGNERIA DELL'INFORMAZIONE
Corso di studi
EMBEDDED COMPUTING SYSTEMS
Relatori
relatore Prof. Di Natale, Marco
relatore Prof. Buttazzo, Giorgio C.
Parole chiave
  • Model-Based Development
  • SysML
  • Environmental Control System
  • Papyrus
  • Avionics
  • Simulink
  • Code-generation
  • Gendoc
  • Acceleo
Data inizio appello
24/07/2017
Consultabilità
Completa
Riassunto
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