Real time fault injection using a modified debugging infrastructure

Dependability is a critical factor in computer systems, requiring high quality validation & verification procedures in the development stage. At the same time, digital devices are getting smaller and access to their internal signals and registers is increasingly complex, requiring innovative debugging methodologies. To address this issue, most recent microprocessors include an on-chip debug (OCD) infrastructure to facilitate common debugging operations. This paper proposes an enhanced OCD infrastructure with the objective of supporting the verification of fault-tolerant mechanisms through fault injection campaigns. This upgraded on-chip debug and fault injection (OCD-FI) infrastructure provides an efficient fault injection mechanism with improved capabilities and dynamic behavior. Preliminary results show that this solution provides flexibility in terms of fault triggering and allows high speed real-time fault injection in memory elements

A framework for self-healing radiation-tolerant implementations on reconfigurable FPGAs

To increase the amount of logic available in SRAM-based FPGAs manufacturers are using nanometric technologies to boost logic density and reduce prices. However, nanometric scales are highly vulnerable to radiation-induced faults that affect values stored in memory cells. Since the functional definition of FPGAs relies on memory cells, they become highly prone to this type of faults. Fault tolerant implementations, based on triple modular redundancy (TMR) infrastructures, help to keep the correct operation of the circuit. However, TMR is not sufficient to guarantee the safe operation of a circuit. Other issues like the effects of multi-bit upsets (MBU) or fault accumulation, have also to be addressed. Furthermore, in case of a fault occurrence the correct operation of the affected module must be restored and the current state of the circuit coherently re-established. A solution that enables the autonomous correct restoration of the functional definition of the affected module, avoiding fault accumulation, re-establishing the correct circuit state in realtime, while keeping the normal operation of the circuit, is presented in this paper.

A framework for fault tolerant real time systems based on reconfigurable FPGAs

To increase the amount of logic available to the users in SRAM-based FPGAs, manufacturers are using nanometric technologies to boost logic density and reduce costs, making its use more attractive. However, these technological improvements also make FPGAs particularly vulnerable to configuration memory bit-flips caused by power fluctuations, strong electromagnetic fields and radiation. This issue is particularly sensitive because of the increasing amount of configuration memory cells needed to define their functionality. A short survey of the most recent publications is presented to support the options assumed during the definition of a framework for implementing circuits immune to bit-flips induction mechanisms in memory cells, based on a customized redundant infrastructure and on a detection-and-fix controller.

P-SOCRATES: A parallel software framework for time-critical many-core systems

Article in Press, Corrected Proof

Parallel Software framework for time-critical many-core systems

The recent technological advancements and market trends are causing an interesting phenomenon towards the convergence of High-Performance Computing (HPC) and Embedded Computing (EC) domains. On one side, new kinds of HPC applications are being required by markets needing huge amounts of information to be processed within a bounded amount of time. On the other side, EC systems are increasingly concerned with providing higher performance in real-time, challenging the performance capabilities of current architectures. The advent of next-generation many-core embedded platforms has the chance of intercepting this converging need for predictable high-performance, allowing HPC and EC applications to be executed on efficient and powerful heterogeneous architectures integrating general-purpose processors with many-core computing fabrics. To this end, it is of paramount importance to develop new techniques for exploiting the massively parallel computation capabilities of such platforms in a predictable way. P-SOCRATES will tackle this important challenge by merging leading research groups from the HPC and EC communities. The time-criticality and parallelisation challenges common to both areas will be addressed by proposing an integrated framework for executing workload-intensive applications with real-time requirements on top of next-generation commercial-off-the-shelf (COTS) platforms based on many-core accelerated architectures. The project will investigate new HPC techniques that fulfil real-time requirements. The main sources of indeterminism will be identified, proposing efficient mapping and scheduling algorithms, along with the associated timing and schedulability analysis, to guarantee the real-time and performance requirements of the applications.

An automated framework for the management of P2P traffic in ISP infrastructures

Peer-to-Peer (P2P) is nowadays a widely used paradigm underpinning the deployment of several Internet services and applications. However, the management of P2P traffic aggregates is not an easy task for Internet Service Providers (ISPs). In this perspective, and considering an expectable proliferation in the use of such ap- plications, future networks require the development of smart mechanisms fostering an easier coexistence between P2P applications and ISP infrastructures. This paper aims to contribute for such research efforts presenting a framework incorporating useful mechanisms to be activated by network administrators, being also able to operate as an automated management tool dealing with P2P traffic aggregates.

Flow updating: fault-tolerant aggregation for dynamic networks

Documento submetido para revisão pelos pares. A publicar em Journal of Parallel and Distributed Computing. ISSN 0743-7315

Media(ted) discourse and society: rethinking the framework of critical discourse analysis

The analysis of journalistic discourse and its social embeddedness has known significant advances in the last two decades, especially due to the emergence and development of Critical Discourse Analysis. However, three important aspects remain under-researched: the time plane in discourse analysis, the discursive strategies of social actors, and the extra- and supra-textual effects of mediated discourse. Firstly, understanding the biography of public matters requires a longitudinal examination of mediated texts and their social contexts but most forms of analysis of journalistic discourse do not account for the time sequence of texts and its implications. Secondly, as the media representation of social issues is, to a large extent, a function of the discursive construction of events, problems and positions by social actors, the discursive strategies that they employ in a variety of arenas and channels ‘‘before’’ and ‘‘after’’ journalistic texts need to be examined. Thirdly, the fact that many of the modes of operation of discourse are extra- or supra-textual calls for a consideration of various social processes ‘‘outside’’ the text. This paper aims to produce a theoretical and methodological contribution to the integration of these issues in discourse analysis by proposing a framework that combines a textual dimension with a contextual one

Conservation of a threatened European tree frog (Hyla arborea) metapopulation

Summary: Amphibians are among the most vulnerable animals of the world. One third of all species are currently threatened with extinction. Habitat loss is the major menace to pond- and stream-breeding species in the old world. In highly urbanized landscape like the Swiss Plateau, most species suffer from habitat reduction and fragmentation. Among all indigenous species, the European tree frog (Hyla arborea L., 1758) is one of the most endangered. It experienced an alarming decline during the last century and its regional long-term persistence is not guaranteed. We developed a monitoring framework based on calling male counts which included multiple visits to each wetland during the reproduction period in order to precisely determine its distribution on the Lemanic coast. Our results indicate that visiting populations 3 limes under suitable climatic conditions (temperature >20°C) provides reliable presence/absence data. Based on our monitoring data, we analyzed the species requirements regarding its breeding habitat. It appeared that anthropogenic activities had paradoxical effects on the species. On one hand, urbanization, traffic and intensive agriculture had a strong detrimental effect on tree frog distribution. On the other hand, large tree frog populations were frequently associated with gravel pits and military training grounds. Our results allowed us to create a habitat suitability map taking into account detrimental landscape elements around ponds (>1100m away from urban areas and >500m away from first class roads). In parallel, we developed a metapopulation model of the European tree frog in order to identify the critical threats to the long term persistence of the species. Our results indicated that suitable pond density is at the low end of the species requirements. Pond creation must therefore be considered an essential complementary approach to pond conservation and restoration. Our model also provided a mapping solution permitting the location of the must suitable area for pond creation from a metapopulation perspective. As many other amphibians, the European tree frog is not only exposed to an aquatic habitat (breeding and larval period), but also to a terrestrial stage (summer and overwintering habitats). Unfortunately, animals in their terrestrial phase are less conspicuous and, as a consequence, their terrestrial needs are relatively unknown. Using a recent tracking method (the Harmonic Direction Finder), we followed post-breeding frogs and identified favored terrestrial habitats, thus providing another practical conservation tool. We conclude that only the combination of multiple spatially explicit approaches (landscape-scale habitat suitability, metapopulation dynamics and terrestrial needs) is likely to provide wildlife managers with effective tools for the conservation of highly endangered amphibians. Résumé: Les amphibiens font partie des animaux les plus vulnérables du monde. Un tiers des espèces est actuellement menacé d'extinction. Dans l'ancien monde, la disparition des habitats constitue la principale menace pour les grenouilles, crapauds, tritons et salamandres. Dans les paysages fortement urbanisés comme le Plateau Suisse, la plupart des espèces souffrent d'une réduction et d'une fragmentation de leurs habitats. Parmi toutes les espèces indigènes, la rainette verte (Hyla arborea L., 1758) est l'une des plus menacée. Sa distribution a régressé de manière alarmante durant le siècle passé et sa survie régionale à long terme n'est pas assurée. Nous avons développé une méthode de suivi des populations se basant sur le comptage des mâles chanteurs durant la période de reproduction. Cette méthode requiert plusieurs visites à chaque plan d'eau de manière à déterminer précisément la distribution de l'espèce. Nos résultats démontrent que 3 visites par population dans des conditions climatiques favorable (température >20°C) permettent d'obtenir des données de présence/ absence valables. Sur la base de nos comptages sur la Côte lémanique, nous avons analysé les exigences de l'espèce concernant ses sites de reproduction. Il est apparu que les activités humaines avaient un effet paradoxal sur l'espèce. D'une part, l'urbanisation, le trafic routier et l'intensification de l'agriculture ont un effet fortement préjudiciable, tandis que d'autre part les plus grandes populations sont souvent associées à des gravières et autres places d'armes. Nos résultats ont permis de créer une carte de qualité d'habitat prenant en compte les éléments paysagers préjudiciables à la rainette (situé à plus de 1100m de zones urbaines et à plus de 500m de routes de première classe). En parallèle, nous avons développé un modèle métapopulationnel (incluant l'ensemble des populations) de manière à identifier les menaces prépondérantes sur la survie à long terme de l'espèce. Nos résultats ont permis de déterminer que la densité actuelle de plans d'eau adéquats est à la limite inférieure des exigences de l'espèce. La création d'étangs doit donc être considérée comme une approche indispensable et complémentaire à la protection et à la restauration des sites existants. Notre modèle a également fourni des résultats cartographiables permettant l'identification des sites les plus appropriés dans une perspective métapopulationnelle. Comme de nombreux autres amphibiens, la rainette verte est exposée à un habitat aquatique (reproduction et développement larvaire) ainsi qu'à un habitat terrestre (été et hiver). Les animaux étant particulièrement cryptiques dans cette seconde phase, leurs besoins terrestres sont relativement mal connus. Nous avons donc développé une nouvelle méthode de télémétrie basée sur le goniomètre harmonique. Cette méthode nous a permis de suivre des rainettes dans leurs migrations jusqu'à leurs habitats d'été et d'établir ainsi des recommandations pratiques pour la conservation de la rainette. Nous concluons que la combinaison de multiples approches spatialement explicites (qualité d'habitat, dynamique de métapopulation et habitats terrestres) est seule à même de produire des outils efficaces pour la conservation des espèces menacées d'amphibiens.

INFO2009 Framework for Critical Friends Interaction

Guidance document detailing the suggested process for the critical friend team interaction

A novel XML document structure comparison framework based-on sub-tree commonalities and label semantics

XML similarity evaluation has become a central issue in the database and information communities, its applications ranging over document clustering, version control, data integration and ranked retrieval. Various algorithms for comparing hierarchically structured data, XML documents in particular, have been proposed in the literature. Most of them make use of techniques for finding the edit distance between tree structures, XML documents being commonly modeled as Ordered Labeled Trees. Yet, a thorough investigation of current approaches led us to identify several similarity aspects, i.e., sub-tree related structural and semantic similarities, which are not sufficiently addressed while comparing XML documents. In this paper, we provide an integrated and fine-grained comparison framework to deal with both structural and semantic similarities in XML documents (detecting the occurrences and repetitions of structurally and semantically similar sub-trees), and to allow the end-user to adjust the comparison process according to her requirements. Our framework consists of four main modules for (i) discovering the structural commonalities between sub-trees, (ii) identifying sub-tree semantic resemblances, (iii) computing tree-based edit operations costs, and (iv) computing tree edit distance. Experimental results demonstrate higher comparison accuracy with respect to alternative methods, while timing experiments reflect the impact of semantic similarity on overall system performance.

Critical evaluation of diameter increment modelling in the Great Lakes region

Simulations of forest stand dynamics in a modelling framework including Forest Vegetation Simulator (FVS) are diameter driven, thus the diameter or basal area increment model needs a special attention. This dissertation critically evaluates diameter or basal area increment models and modelling approaches in the context of the Great Lakes region of the United States and Canada. A set of related studies are presented that critically evaluate the sub-model for change in individual tree basal diameter used in the Forest Vegetation Simulator (FVS), a dominant forestry model in the Great Lakes region. Various historical implementations of the STEMS (Stand and Tree Evaluation and Modeling System) family of diameter increment models, including the current public release of the Lake States variant of FVS (LS-FVS), were tested for the 30 most common tree species using data from the Michigan Forest Inventory and Analysis (FIA) program. The results showed that current public release of the LS-FVS diameter increment model over-predicts 10-year diameter increment by 17% on average. Also the study affirms that a simple adjustment factor as a function of a single predictor, dbh (diameter at breast height) used in the past versions, provides an inadequate correction of model prediction bias. In order to re-engineer the basal diameter increment model, the historical, conceptual and philosophical differences among the individual tree increment model families and their modelling approaches were analyzed and discussed. Two underlying conceptual approaches toward diameter or basal area increment modelling have been often used: the potential-modifier (POTMOD) and composite (COMP) approaches, which are exemplified by the STEMS/TWIGS and Prognosis models, respectively. It is argued that both approaches essentially use a similar base function and neither is conceptually different from a biological perspective, even though they look different in their model forms. No matter what modelling approach is used, the base function is the foundation of an increment model. Two base functions – gamma and Box-Lucas – were identified as candidate base functions for forestry applications. The results of a comparative analysis of empirical fits showed that quality of fit is essentially similar, and both are sufficiently detailed and flexible for forestry applications. The choice of either base function in order to model diameter or basal area increment is dependent upon personal preference; however, the gamma base function may be preferred over the Box-Lucas, as it fits the periodic increment data in both a linear and nonlinear composite model form. Finally, the utility of site index as a predictor variable has been criticized, as it has been widely used in models for complex, mixed species forest stands though not well suited for this purpose. An alternative to site index in an increment model was explored, using site index and a combination of climate variables and Forest Ecosystem Classification (FEC) ecosites and data from the Province of Ontario, Canada. The results showed that a combination of climate and FEC ecosites variables can replace site index in the diameter increment model.

A mathematical framework for new fault detection schemes in nonlinear stochastic continuous-time dynamical systems

n this work, a mathematical unifying framework for designing new fault detection schemes in nonlinear stochastic continuous-time dynamical systems is developed. These schemes are based on a stochastic process, called the residual, which reflects the system behavior and whose changes are to be detected. A quickest detection scheme for the residual is proposed, which is based on the computed likelihood ratios for time-varying statistical changes in the Ornstein–Uhlenbeck process. Several expressions are provided, depending on a priori knowledge of the fault, which can be employed in a proposed CUSUM-type approximated scheme. This general setting gathers different existing fault detection schemes within a unifying framework, and allows for the definition of new ones. A comparative simulation example illustrates the behavior of the proposed schemes.