Definition, realization and evaluation of a software reference architecture for use in space applications

A recent initiative of the European Space Agency (ESA) aims at the definition and adoption of a software reference architecture for use in on-board software of future space missions. Our PhD project placed in the context of that effort. At the outset of our work we gathered all the industrial needs relevant to ESA and all the main European space stakeholders and we were able to consolidate a set of technical high-level requirements for the fulfillment of them. The conclusion we reached from that phase confirmed that the adoption of a software reference architecture was indeed the best solution for the fulfillment of the high-level requirements. The software reference architecture we set on building rests on four constituents: (i) a component model, to design the software as a composition of individually verifiable and reusable software units; (ii) a computational model, to ensure that the architectural description of the software is statically analyzable; (iii) a programming model, to ensure that the implementation of the design entities conforms with the semantics, the assumptions and the constraints of the computational model; (iv) a conforming execution platform, to actively preserve at run time the properties asserted by static analysis. The nature, feasibility and fitness of constituents (ii), (iii) and (iv), were already proved by the author in an international project that preceded the commencement of the PhD work. The core of the PhD project was therefore centered on the design and prototype implementation of constituent (i), a component model. Our proposed component model is centered on: (i) rigorous separation of concerns, achieved with the support for design views and by careful allocation of concerns to the dedicated software entities; (ii) the support for specification and model-based analysis of extra-functional properties; (iii) the inclusion space-specific concerns.

Reciproche influenze tra geomorfologia e popolamento antico presso le piane di foce dei fiumi tirrenici. Il caso del Fiume Garigliano

La Piana di foce del Garigliano (al confine tra Lazio e Campania) è caratterizzata, fino ad epoche recenti, dalla presenza di aree palustri e umide. Lo studio in corso cerca di ricostruire l’evoluzione dell’ambiente costiero mettendolo in relazione alla presenza dell’uomo, alla gestione del territorio, alle vicende storiche e alle variazioni climatiche utilizzando molteplici metodologie tipiche della geoarcheologia. Si tratta di un approccio multidisciplinare che cerca di mettere insieme analisi tipiche dell’archeologia, della topografia antica, della geomorfologia, della geologia e della paleobotanica. Fino all’età del Ferro l’unica traccia di popolamento viene da Monte d’Argento, uno sperone roccioso isolato lungo la costa, posto al limite occidentale di un ambiente sottostante che sembra una palude chiusa e isolata da apporti sedimentari esterni. Con il passaggio all’età del ferro si verifica un mutamento ambientale con la fine della grande palude e la formazione di una piccola laguna parzialmente comunicante con il mare. L’arrivo dei romani alla fine del III secolo a.C. segna la scomparsa dei grandi centri degli Aurunci e la deduzione di tre colonie (Sessa Aurunca, Sinuessa, Minturno). Le attività di sistemazione territoriale non riguardarono però le aree umide costiere, che non vennero bonificate o utilizzate per scopi agricoli, ma mantennero la loro natura di piccoli laghi costieri. Quest’epoca è dunque caratterizzata da una diffusione capillare di insediamenti, basati su piccole fattorie o installazioni legate allo sfruttamento agricolo. Poche sono le aree archeologiche che hanno restituito materiali successivi al II-III secolo d.C. La città resta comunque abitata fino al VI-VII secolo, quando l’instabilità politica e l’impaludamento dovettero rendere la zona non troppo sicura favorendo uno spostamento verso le zone collinari. Un insediamento medievale è attestato solo a Monte d’Argento e una frequentazione saracena dell’inizio del IX secolo è riportata dalle fonti letterarie, ma non vi è ancora nessuna documentazione archeologica.

Lo spazio senso-motorio come rappresentazione dei comportamenti intersoggettivi. Una nuova ipotesi sperimentale dalla filosofia alle neuroscienze

La ricerca ha preso le mosse da tre ipotesi fondamentali: 1) Esiste un legame tra processi cognitivi di basso ed alto livello; 2) Lo spazio senso-motorio è una percezione soggettiva; 3) Lo spazio senso-motorio varia in funzione delle diverse modalità di interazione sociale. La tesi sostiene che lo spazio senso-motorio si lascia modulare dalla semplice co-presenza di un altro agente umano e da interazioni cooperative e non cooperative. I capitoli I, II, III, hanno lo scopo di scomporre e spiegare il significato della prima, seconda e terza ipotesi; giungendo a formulare la tesi centrale che sarà poi dimostrata sperimentalmente nel capitolo IV. Il capitolo V introduce future linee di ricerca nell’ambito dell’etica proponendo una nuova ipotesi sul legame che potrebbe sussistere tra la percezione dello spazio durante l’interazione sociale e i giudizi morali. Il lavoro svolto chiama ad operare insieme diverse discipline che concorrono a formare le scienze cognitive: la storia della filosofia, la filosofia della mente contemporanea, la neuropsicologia sperimentale ed alcuni temi della psicologia sociale.

La determinazione dell'esistenza: Nietzsche e Spinoza

La tesi indaga i temi fondamentali, i limiti e le implicazioni della relazione tra le filosofie di Nietzsche e di Spinoza, sia analizzando storiograficamente il ruolo di Spinoza nei testi di Nietzsche (I parte), sia sviluppando una proposta teoretica a partire dai due autori (II, III e IV parte). L’indagine storiografica procede presentando le riflessioni che Nietzsche dedica a Spinoza secondo un criterio tematico-cronologico. Durante l’esposizione sono discusse le fonti utilizzate da Nietzsche e il significato che le menzioni di Spinoza ricoprono nell’economia generale del pensiero nietzschiano. La seconda parte della ricerca indaga le ragioni per le quali la connessione tra Nietzsche e Spinoza può risultare teoreticamente convincente, in particolare a partire dall’istanza propriamente critica della loro riflessione, che si manifesta come domanda “empia” sul mondo delle credenze condivise. In particolare, è la nozione di “causa” a fungere da rifugio per la credenza metafisica nel soggetto anche all’interno dell’universo deterministico in cui opera la scienza. Come va invece pensato un determinismo che sia filosoficamente coerente? Le ultime due parti di questa ricerca sviluppano alcune ipotesi in proposito, considerando singolarmente le filosofie di Spinoza e di Nietzsche.