Towards model driven software development for Arduino platforms: a DSL and automatic code generation

La tesi ha lo scopo di esplorare la produzione di sistemi software per Embedded Systems mediante l'utilizzo di tecniche relative al mondo del Model Driven Software Development. La fase più importante dello sviluppo sarà la definizione di un Meta-Modello che caratterizza i concetti fondamentali relativi agli embedded systems. Tale modello cercherà di astrarre dalla particolare piattaforma utilizzata ed individuare quali astrazioni caratterizzano il mondo degli embedded systems in generale. Tale meta-modello sarà quindi di tipo platform-independent. Per la generazione automatica di codice è stata adottata una piattaforma di riferimento, cioè Arduino. Arduino è un sistema embedded che si sta sempre più affermando perché coniuga un buon livello di performance ed un prezzo relativamente basso. Tale piattaforma permette lo sviluppo di sistemi special purpose che utilizzano sensori ed attuatori di vario genere, facilmente connessi ai pin messi a disposizione. Il meta-modello definito è un'istanza del meta-metamodello MOF, definito formalmente dall'organizzazione OMG. Questo permette allo sviluppatore di pensare ad un sistema sotto forma di modello, istanza del meta-modello definito. Un meta-modello può essere considerato anche come la sintassi astratta di un linguaggio, quindi può essere definito da un insieme di regole EBNF. La tecnologia utilizzata per la definizione del meta-modello è stata Xtext: un framework che permette la scrittura di regole EBNF e che genera automaticamente il modello Ecore associato al meta-modello definito. Ecore è l'implementazione di EMOF in ambiente Eclipse. Xtext genera inoltre dei plugin che permettono di avere un editor guidato dalla sintassi, definita nel meta-modello. La generazione automatica di codice è stata realizzata usando il linguaggio Xtend2. Tale linguaggio permette di esplorare l'Abstract Syntax Tree generato dalla traduzione del modello in Ecore e di generare tutti i file di codice necessari. Il codice generato fornisce praticamente tutta la schematic part dell'applicazione, mentre lascia all'application designer lo sviluppo della business logic. Dopo la definizione del meta-modello di un sistema embedded, il livello di astrazione è stato spostato più in alto, andando verso la definizione della parte di meta-modello relativa all'interazione di un sistema embedded con altri sistemi. Ci si è quindi spostati verso un ottica di Sistema, inteso come insieme di sistemi concentrati che interagiscono. Tale difinizione viene fatta dal punto di vista del sistema concentrato di cui si sta definendo il modello. Nella tesi viene inoltre introdotto un caso di studio che, anche se abbastanza semplice, fornisce un esempio ed un tutorial allo sviluppo di applicazioni mediante l'uso del meta-modello. Ci permette inoltre di notare come il compito dell'application designer diventi piuttosto semplice ed immediato, sempre se basato su una buona analisi del problema. I risultati ottenuti sono stati di buona qualità ed il meta-modello viene tradotto in codice che funziona correttamente.

Life cycle assessment of biodiesel production from micro-algae: a case study in Denmark

Le sperimentazioni riguardanti la produzione di biodiesel da alghe sono state condotte solo in laboratorio o in impianti pilota e il processo produttivo non è ancora stato sviluppato su scala industriale. L’obiettivo di questo lavoro di tesi è stato quello di valutare la potenziale sostenibilità ambientale ed energetica della produzione industriale di biodiesel da microalghe nella realtà danese ipotizzando la coltivazione in fotobioreattori. La tesi ha analizzato le diverse tecnologie attualmente in sperimentazione cercando di metterne in evidenza punti di forza e punti di debolezza. La metodologia applicata in questa tesi per valutare la sostenibilità ambientale ed energetica dei processi analizzati è LCA strumento che permette di effettuare la valutazione sull’intero ciclo di vita di un prodotto o di un processo. L’unità funzionale scelta è 1 MJ di biodiesel. I confini del sistema analizzato comprendono: coltivazione, raccolta, essicazione, estrazione dell’olio, transesterificazione, digestione anaerobica della biomassa residuale e uso del glicerolo ottenuto come sottoprodotto della transesterificazione. Diverse categorie d’impatto sono state analizzate. In questo caso studio, sono stati ipotizzati 24 diversi scenari differenziati in base alle modalità di coltivazione, di raccolta della biomassa, di estrazione dell’olio algale. 1. la produzione di biodiesel da microalghe coltivate in fotobioreattori non appare ancora conveniente né dal punto di vista energetico né da quello ambientale. 2. l’uso di CO2 di scarto e di acque reflue per la coltivazione, fra l’altro non ancora tecnicamente realizzabili, migliorerebbero le prestazioni energetiche ed ambientali del biodiesel da microalghe 3. la valorizzazione di prodotti secondari svolge un ruolo importante nel processo e nel suo sviluppo su larga scala Si conclude ricordando che il progetto di tesi è stato svolto in collaborazione con la Danish Technical University of Denmark (DTU) svolgendo presso tale università un periodo di tirocinio per tesi di sei mesi

Generazione di ontologie da rappresentazioni grafiche

La produzione ontologica è un processo fondamentale per la crescita del Web Semantico in quanto le ontologie rappresentano i vocabolari formali con cui strutturare il Web of Data. Le notazioni grafiche ontologiche costituiscono il mezzo ideale per progettare ontologie OWL sensate e ben strutturate. Tuttavia la successiva fase di generazione ontologica richiede all'utente un fastidioso cambio sia di prospettiva sia di strumentazione. Questa tesi propone dunque GraMOS, Graffoo to Manchester OWL Syntax, un motore di trasformazione da modelli Graffoo a ontologie formali in grado di fondere le due fasi di progettazione e generazione ontologica.

Deadlock analysis of asynchronous sequential processes

In this thesis we present ad study an object-oriented language, characterized by two different types of objects, passive and active objects, of which we define the operational syntax and semantics. For this language we also define the type system, that will be used for the type checking and for the extraction of behavioral types, which are an abstract description of the behavior of the methods, used in deadlock analysis. Programs can manifest deadlock due to the errors of the programmer. To statically identify possible unintended behaviors we studied and implemented a technique for the analysis of deadlock based on behavioral types.

Il sottotitolaggio per i film festival: due esperienze pratiche

This dissertation aims to examine the field of film festival subtitling by means of the analysis of two subtitling experiences. These experiences will be approached both on a methodological and on a practical level in order to analyse how subtitlers put theory into practice. This approach will also help underline the existing differences in work methodology as far as different work experiences are concerned. The subtitling experiences examined in this dissertation are part of my internships as a subtitler in two Italian film festivals, namely “Umbria Film Festival” and “900 Fest”. In this dissertation, I chose to focus on the subtitling of two of the audiovisual products I translated. These products are a German documentary titled Befreier und Befreite and a Danish fiction film titled Stille Hjerte. This dissertation is divided into five chapters. Chapter 1 describes audiovisual translation at its most theoretical level, focusing on subtitling criteria and strategies. Chapter 2 examines the concept of film translation, focusing on the distinctive features of documentary translation as a specific genre. This chapter also presents the concept of film festival and provides information concerning the translation policies of festivals. Chapter 3 presents the festivals I worked for and details my internship experiences. Chapter 4 focuses on the German documentary and proposes a number of solutions to its main translation problems. Chapter 5 focuses on the Danish film and offers solutions to its translation problems. At the end of the dissertation, I will provide some comments on my internship experiences as well as on the practice of film festival subtitling.

Habibi. Proposta di traduzione di un romanzo young adult

This dissertation intends to present and analyse the translation from English into Italian of the first twenty-five chapters of Habibi, a teenager and young adult’s novel written by the Palestinian-American author Naomi Shihab Nye. It has been necessary to present the theoretical approach to the literary translation studies, in order to focus the attention on the translation problems and provide suitable solutions and strategies. The first chapter gives an historical perspective on children’s literature from the end of the Nineteenth century till today, distinguishing the Italian and the American contexts. The description of the evolution process of this literary genre, which developed to satisfy the needs of the educational system, is its central issue. At the end of the chapter, we outline the main traits characterizing children’s literature and the image of the ideal reader. The second chapter provides an overview on Palestinian literature, especially on the features of the contemporary novel and the Diaspora literature. Afterwards, we present the author Naomi Shihab Nye and the book Habibi. In the third chapter we analyze the novel, focusing the attention on the rhythm of the narration, on the linguistic registers and the textual peculiarities found during the reading stage, according to the features of the children’s literature. The fourth chapter consists of the translation of the first twenty-five chapters of the novel. The fifth chapter begins with a section about the translation theory, the literary translation studies, focusing on the translation of children’s literature. Finally, there is the translation analysis. Here we present the strategies and the choices of the translation process, along with some practical examples with reference to theoretical studies. Special attention is paid to culture-specific items, lexicon and syntax.The source text can be found in appendix.

User centered retrofit: The case of kadk campus, Copenhagen, (dk)

The following research thesis is about a retrofit project made in Denmark, Copenhagen, and carried out on one of the buildings belonging to the Royal Danish Academy. The key assumption and base of the entire research process is that, up to now, the standard procedure in retrofit cases like this provides as comparative method between de facto and design, the use of Energy Simulation software. These programs generally divide the space into different thermal zones, assigning to each of them different levels of employment, activities, set-point temperatures set for cooling and heating analysis and so on, but always providing average and constant values, usually taken in the middle point of the single thermal zone. Therefore, the project and its research path stems from the attempt to investigate the potentialities of this kind of designing for retrofit process, as previously anticipated not antithetical but complementary to that classic energy-based retrofit, thus passing from the building scale, and all its thermal zones, to the users' scale, related to humans and microclimates. The main software used in this process is Autodesk Simulation CFD. The idea behind the project is that in certain situations, for example, it will not be necessary to add throughout insulation layers (previously parameterized and optimized with Design Builder), and that even in Winter conditions, due maybe to the users' activities, the increased level of clothing (clo) and the heat produced by equipments, thermal comfort could be achieved also in areas characterized by considerably lower MRT. After the analysis of the State of Art and its simulations, the project has still been supported by the tool itself, the CFD Software, in an iterative process aimed at achieving visible improvements in terms of MRT, on spaces with different needs and characteristics, both in Winter and Summer regimes.