Cache-aware development of high integrity real-time systems

Cost, performance and availability considerations are forcing even the most conservative high-integrity embedded real-time systems industry to migrate from simple hardware processors to ones equipped with caches and other acceleration features. This migration disrupts the practices and solutions that industry had developed and consolidated over the years to perform timing analysis. Industry that are confident with the efficiency/effectiveness of their verification and validation processes for old-generation processors, do not have sufficient insight on the effects of the migration to cache-equipped processors. Caches are perceived as an additional source of complexity, which has potential for shattering the guarantees of cost- and schedule-constrained qualification of their systems. The current industrial approach to timing analysis is ill-equipped to cope with the variability incurred by caches. Conversely, the application of advanced WCET analysis techniques on real-world industrial software, developed without analysability in mind, is hardly feasible. We propose a development approach aimed at minimising the cache jitters, as well as at enabling the application of advanced WCET analysis techniques to industrial systems. Our approach builds on:(i) identification of those software constructs that may impede or complicate timing analysis in industrial-scale systems; (ii) elaboration of practical means, under the model-driven engineering (MDE) paradigm, to enforce the automated generation of software that is analyzable by construction; (iii) implementation of a layout optimisation method to remove cache jitters stemming from the software layout in memory, with the intent of facilitating incremental software development, which is of high strategic interest to industry. The integration of those constituents in a structured approach to timing analysis achieves two interesting properties: the resulting software is analysable from the earliest releases onwards - as opposed to becoming so only when the system is final - and more easily amenable to advanced timing analysis by construction, regardless of the system scale and complexity.

Essays on Regional Development and Internationalisation

This collection of essays examines various aspects of regional development and the issues of internationalization. The first essay investigates the implications of the impressive growth of China from a rural-urban perspective and addresses the topic of convergence in China by employing a non-parametrical approach to study the distribution dynamics of per capita income at province, rural and urban levels. To better understand the degree of inequality characterizing China and the long-term predictions of convergence or divergence of its different territorial aggregations, the second essay formulates a composite indicator of Regional Development (RDI) to benchmark development at province and sub-province level. The RDI goes beyond the uni-dimensional concept of development, generally proxied by the GDP per capita, and gives attention to the rural-urban dimension. The third essay “Internationalization and Trade Specialization in Italy. The role of China in the international intra-firm trade of the Italian regions” - deals with another aspect of regional economic development: the progressive de-industrialisation and de-localization of the local production. This essay looks at the trade specialization of selected Italian regions (those regions specialized in manufacturing) and the fragmentation of the local production on a global scale. China represents in this context an important stakeholder and the paper documents the importance of this country in the regional intra-firm trade.

Development of methodologies for fish freshness assessment using metabonomics applications.

This study focuses on the use of metabonomics applications in measuring fish freshness in various biological species and in evaluating how they are stored. This metabonomic approach is innovative and is based upon molecular profiling through nuclear magnetic resonance (NMR). On one hand, the aim is to ascertain if a type of fish has maintained, within certain limits, its sensory and nutritional characteristics after being caught; and on the second, the research observes the alterations in the product’s composition. The spectroscopic data obtained through experimental nuclear magnetic resonance, 1H-NMR, of the molecular profiles of the fish extracts are compared with those obtained on the same samples through analytical and conventional methods now in practice. These second methods are used to obtain chemical indices of freshness through biochemical and microbial degradation of the proteic nitrogen compounds and not (trimethylamine, N-(CH3)3, nucleotides, amino acids, etc.). At a later time, a principal components analysis (PCA) and a linear discriminant analysis (PLS-DA) are performed through a metabonomic approach to condense the temporal evolution of freshness into a single parameter. In particular, the first principal component (PC1) under both storage conditions (4 °C and 0 °C) represents the component together with the molecular composition of the samples (through 1H-NMR spectrum) evolving during storage with a very high variance. The results of this study give scientific evidence supporting the objective elements evaluating the freshness of fish products showing those which can be labeled “fresh fish.”

Development and characterization of micromachined devices for separation techniques

Nowadays microfluidic is becoming an important technology in many chemical and biological processes and analysis applications. The potential to replace large-scale conventional laboratory instrumentation with miniaturized and self-contained systems, (called lab-on-a-chip (LOC) or point-of-care-testing (POCT)), offers a variety of advantages such as low reagent consumption, faster analysis speeds, and the capability of operating in a massively parallel scale in order to achieve high-throughput. Micro-electro-mechanical-systems (MEMS) technologies enable both the fabrication of miniaturized system and the possibility of developing compact and portable systems. The work described in this dissertation is towards the development of micromachined separation devices for both high-speed gas chromatography (HSGC) and gravitational field-flow fractionation (GrFFF) using MEMS technologies. Concerning the HSGC, a complete platform of three MEMS-based GC core components (injector, separation column and detector) is designed, fabricated and characterized. The microinjector consists of a set of pneumatically driven microvalves, based on a polymeric actuating membrane. Experimental results demonstrate that the microinjector is able to guarantee low dead volumes, fast actuation time, a wide operating temperature range and high chemical inertness. The microcolumn consists of an all-silicon microcolumn having a nearly circular cross-section channel. The extensive characterization has produced separation performances very close to the theoretical ideal expectations. A thermal conductivity detector (TCD) is chosen as most proper detector to be miniaturized since the volume reduction of the detector chamber results in increased mass and reduced dead volumes. The microTDC shows a good sensitivity and a very wide dynamic range. Finally a feasibility study for miniaturizing a channel suited for GrFFF is performed. The proposed GrFFF microchannel is at early stage of development, but represents a first step for the realization of a highly portable and potentially low-cost POCT device for biomedical applications.

Aspetti di sostenibilità in agricoltura a diverse scale spaziali e temporali. Valutazioni ambientali, economiche ed energetiche.

La Tesi analizza le relazioni tra i processi di sviluppo agricolo e l’uso delle risorse naturali, in particolare di quelle energetiche, a livello internazionale (paesi in via di sviluppo e sviluppati), nazionale (Italia), regionale (Emilia Romagna) e aziendale, con lo scopo di valutare l’eco-efficienza dei processi di sviluppo agricolo, la sua evoluzione nel tempo e le principali dinamiche in relazione anche ai problemi di dipendenza dalle risorse fossili, della sicurezza alimentare, della sostituzione tra superfici agricole dedicate all’alimentazione umana ed animale. Per i due casi studio a livello macroeconomico è stata adottata la metodologia denominata “SUMMA” SUstainability Multi-method, multi-scale Assessment (Ulgiati et al., 2006), che integra una serie di categorie d’impatto dell’analisi del ciclo di vita, LCA, valutazioni costi-benefici e la prospettiva di analisi globale della contabilità emergetica. L’analisi su larga scala è stata ulteriormente arricchita da un caso studio sulla scala locale, di una fattoria produttrice di latte e di energia elettrica rinnovabile (fotovoltaico e biogas). Lo studio condotto mediante LCA e valutazione contingente ha valutato gli effetti ambientali, economici e sociali di scenari di riduzione della dipendenza dalle fonti fossili. I casi studio a livello macroeconomico dimostrano che, nonostante le politiche di supporto all’aumento di efficienza e a forme di produzione “verdi”, l’agricoltura a livello globale continua ad evolvere con un aumento della sua dipendenza dalle fonti energetiche fossili. I primi effetti delle politiche agricole comunitarie verso una maggiore sostenibilità sembrano tuttavia intravedersi per i Paesi Europei. Nel complesso la energy footprint si mantiene alta poiché la meccanizzazione continua dei processi agricoli deve necessariamente attingere da fonti energetiche sostitutive al lavoro umano. Le terre agricole diminuiscono nei paesi europei analizzati e in Italia aumentando i rischi d’insicurezza alimentare giacché la popolazione nazionale sta invece aumentando.

Entrepreneurship influential factors in development of rural tourism as diversified rural activity in Republic of Macedonia

Rural tourism is relatively new product in the process of diversification of the rural economy in Republic of Macedonia. This study used desk research and life story interviews of rural tourism entrepreneurs as qualitative research method to identify prevalent success influential factors. Further quantitative analysis was applied in order to measure the strength of influence of identified success factors. The primary data for the quantitative research was gathered using telephone questionnaire composed of 37 questions with 5-points Likert scale. The data was analyzed using Partial Least Squares Structural Equation Modeling (PLS-SEM) by SmartPLS 3.1.6. Results indicated that human capital, social capital, entrepreneurial personality and external business environment are predominant influential success factors. However, human capital has non-significant direct effect on success (p 0.493) nonetheless the effect was indirect with high level of partial mediation through entrepreneurial personality as mediator (VAF 73%). Personality of the entrepreneur, social capital and business environment have direct positive affect on entrepreneurial success (p 0.001, 0.003 and 0.045 respectably). Personality also mediates the positive effect of social capital on entrepreneurial success (VAF 28%). Opposite to the theory the data showed no interaction between social and human capital on the entrepreneurial success. This research suggests that rural tourism accommodation entrepreneurs could be more successful if there is increased support in development of social capital in form of conservation of cultural heritage and natural attractions. Priority should be finding the form to encourage and support the establishment of formal and informal associations of entrepreneurs in order to improve the conditions for management and marketing of the sector. Special support of family businesses in the early stages of the operation would have a particularly positive impact on the success of rural tourism. Local infrastructure, access to financial instruments, destination marketing and entrepreneurial personality have positive effect on success.

Development of an innovative pyrolysis plant for the production of secondary raw materials

This project was born with the aim of developing an environmentally and financially sustainable process to dispose of end-life tires. In this perspective was devised an innovative static bed batch pilot reactor where pyrolysis can be carried out on the whole tires in order to recover energy and materials and simultaneously save the energy costs of their shredding. The innovative plant is also able to guarantee a high safety of the process thanks to the presence of a hydraulic guard. The pilot plant was used to pyrolyze new and end-life tires at temperatures from 400 to 600°C with step of 50°C in presence of steam. The main objective of this research was to evaluate the influence of the maximum process temperature on yields and chemical-physics properties of pyrolysis products. In addition, in view of a scale-up of the plant in continuous mode, the influence of the nature of several different tires as well as the effects of the aging on the final products were studied. The same pilot plant was also used to carry out pyrolysis on polymeric matrix composites in order to obtain chemical feedstocks from the resin degradation together with the recovery of the reinforcement in the form of fibers. Carbon fibers reinforced composites ad fiberglass was treated in the 450-600°C range and the products was fully characterized. A second oxidative step was performed on the pyrolysis solid residue in order to obtain the fibers in a suitable condition for a subsequent re-impregnation in order to close the composite Life Cycle in a cradle-to-cradle approach. These investigations have demonstrated that steel wires, char, carbon and glass fibers recovered in the prototypal plant as solid residues can be a viable alternative to pristine materials, making use of them to obtain new products with a commercial added value.

Verso il consumo sostenibile: i prodotti biologici nelle abitudini alimentari degli italiani

Scegliere di consumare in modo sostenibile significa passare ad un nuovo modello di consumo. Tale modello richiede una maggiore consapevolezza e responsabilità da parte dei consumatori, unite all'adozione di nuovi stili di vita e di scelte d’acquisto, che permettano il raggiungimento di elevati livelli di benessere nel rispetto dell'ambiente. Un notevole sforzo è stato compiuto recentemente dai policy maker per incoraggiare il consumo sostenibile quali implementazioni dello sviluppo sostenibile. Ancora lunga, tuttavia, è la strada da percorrere per raggiungere pienamente questo obiettivo. Tra i prodotti sostenibili, il biologico si è rivelato di gran lunga il più rappresentativo: le statistiche di questo mercato mostrano, infatti, tendenze positive, sebbene il consumo risulti ancora eterogeneo e contenuto rispetto al consumo di alimenti convenzionali. Ciò mostra che il comportamento dei consumatori non è ancora abbastanza reattivo alle suddette politiche. Il presente studio si propone di contribuire alla ricerca sul consumo sostenibile approfondendo i fattori che incoraggiano o impediscono il consumo di prodotti alimentari biologici in Italia. Adottando un nuovo approccio si cerca di capire come i diversi segmenti di diete alimentari affrontino gli alimenti biologici in termini di consumi e di atteggiamenti. Un'analisi multivariata a più fasi è stata condotta su un campione di 3.004 consumatori. Un’analisi delle componenti principali non lineare è stata applicata alle variabili ordinali che misurano il consumo di ventuno categorie di alimenti. Successivamente è stata applicata la cluster analysis che ha dato luogo a quattro segmenti di abitudini alimentari. I prodotti biologici sono diventati parte delle abitudini alimentari in Italia in quasi un terzo della popolazione. Il consumo sembra essersi affermato soprattutto nel segmento con abitudini alimentari sane. Una scarsa attenzione ad una dieta sana, gli stili di vita, il reddito, l'accessibilità, la mancanza di consapevolezza condizionano le abitudini alimentari a scapito di un consumo più sostenibile.