Developing a distributed electronic health-record store for India

The DIGHT project is addressing the problem of building a scalable and highly available information store for the Electronic Health Records (EHRs) of the over one billion citizens of India

How can the poor benefit from the growing markets for high value agricultural products?

This paper aims to identify critical areas for trade, marketing, capital market development and regulatory reforms that can facilitate the integration of small-scale farmers (small-scale farmers) in domestic, regional and global markets for high-value agricultural (HVA) products in particular high value crops, livestock, fish and non timber forest products in a sustainable manner and to increase and diversify the incomes of small-scale farmers in the long-run. The paper places particular emphasis on the issues that may need to be addressed through research and development undertaken by the international, regional and national research communities.high-value agricultural commodities; agri-food marketing; agricultural research and development

Development and certification of mixed-criticality embedded systems based on probabilistic timing analysis

An increasing variety of emerging systems relentlessly replaces or augments the functionality of mechanical subsystems with embedded electronics. For quantity, complexity, and use, the safety of such subsystems is an increasingly important matter. Accordingly, those systems are subject to safety certification to demonstrate system's safety by rigorous development processes and hardware/software constraints. The massive augment in embedded processors' complexity renders the arduous certification task significantly harder to achieve. The focus of this thesis is to address the certification challenges in multicore architectures: despite their potential to integrate several applications on a single platform, their inherent complexity imperils their timing predictability and certification. Recently, the Measurement-Based Probabilistic Timing Analysis (MBPTA) technique emerged as an alternative to deal with hardware/software complexity. The innovation that MBPTA brings about is, however, a major step from current certification procedures and standards. The particular contributions of this Thesis include: (i) the definition of certification arguments for mixed-criticality integration upon multicore processors. In particular we propose a set of safety mechanisms and procedures as required to comply with functional safety standards. For timing predictability, (ii) we present a quantitative approach to assess the likelihood of execution-time exceedance events with respect to the risk reduction requirements on safety standards. To this end, we build upon the MBPTA approach and we present the design of a safety-related source of randomization (SoR), that plays a key role in the platform-level randomization needed by MBPTA. And (iii) we evaluate current certification guidance with respect to emerging high performance design trends like caches. Overall, this Thesis pushes the certification limits in the use of multicore and MBPTA technology in Critical Real-Time Embedded Systems (CRTES) and paves the way towards their adoption in industry.Una creciente variedad de sistemas emergentes reemplazan o aumentan la funcionalidad de subsistemas mecánicos con componentes electrónicos embebidos. El aumento en la cantidad y complejidad de dichos subsistemas electrónicos así como su cometido, hacen de su seguridad una cuestión de creciente importancia. Tanto es así que la comercialización de estos sistemas críticos está sujeta a rigurosos procesos de certificación donde se garantiza la seguridad del sistema mediante estrictas restricciones en el proceso de desarrollo y diseño de su hardware y software. Esta tesis trata de abordar los nuevos retos y dificultades dadas por la introducción de procesadores multi-núcleo en dichos sistemas críticos: aunque su mayor rendimiento despierta el interés de la industria para integrar múltiples aplicaciones en una sola plataforma, suponen una mayor complejidad. Su arquitectura desafía su análisis temporal mediante los métodos tradicionales y, asimismo, su certificación es cada vez más compleja y costosa. Con el fin de lidiar con estas limitaciones, recientemente se ha desarrollado una novedosa técnica de análisis temporal probabilístico basado en medidas (MBPTA). La innovación de esta técnica, sin embargo, supone un gran cambio cultural respecto a los estándares y procedimientos tradicionales de certificación. En esta línea, las contribuciones de esta tesis están agrupadas en tres ejes principales: (i) definición de argumentos de seguridad para la certificación de aplicaciones de criticidad-mixta sobre plataformas multi-núcleo. Se definen, en particular, mecanismos de seguridad, técnicas de diagnóstico y reacción de faltas acorde con el estándar IEC 61508 sobre una arquitectura multi-núcleo de referencia. Respecto al análisis temporal, (ii) presentamos la cuantificación de la probabilidad de exceder un límite temporal y su relación con los requisitos de reducción de riesgos derivados de los estándares de seguridad funcional. Con este fin, nos basamos en la técnica MBPTA y presentamos el diseño de una fuente de números aleatorios segura; un componente clave para conseguir las propiedades aleatorias requeridas por MBPTA a nivel de plataforma. Por último, (iii) extrapolamos las guías actuales para la certificación de arquitecturas multi-núcleo a una solución comercial de 8 núcleos y las evaluamos con respecto a las tendencias emergentes de diseño de alto rendimiento (caches). Con estas contribuciones, esta tesis trata de abordar los retos que el uso de procesadores multi-núcleo y MBPTA implican en el proceso de certificación de sistemas críticos de tiempo real y facilita, de esta forma, su adopción por la industria.Postprint (published version

Chain-wide learning for inclusive agrifood market development : a guide to multi-stakeholder processes for linking small-scale producers to modern markets

This guide provides a set of concepts and analytical tools for finding ways to better link small-scale producers to the modern markets associated with today’s largescale supermarket retail and wholesale operations. It is has been developed through iterative testing with partners in several organisations and countries. The guide is a product of the Regoverning Markets Programme, a multi-agency programme to generate strategic information and anticipatory policy advice on small-scale producers in these fast changing markets

Analysis of Several Productive Development Policies in Uruguay

This paper reviews and assesses some of the Productive Development Policies currently being implemented in Uruguay. Three horizontal and three vertical policies are considered in light of the market and public failures they attempt to address and minimize. Horizontal policies comprise Innovation, Industrial Promotion and Directives for Industrial and Technological Development. Vertical policies include the analysis of Forestry Law, Meat Traceability and the Sustainable Production Project in the agricultural sector.Public economics, Regulation and industrial policy, Industrial policy

Software timing analysis for complex hardware with survivability and risk analysis

The increasing automation of safety-critical real-time systems, such as those in cars and planes, leads, to more complex and performance-demanding on-board software and the subsequent adoption of multicores and accelerators. This causes software's execution time dispersion to increase due to variable-latency resources such as caches, NoCs, advanced memory controllers and the like. Statistical analysis has been proposed to model the Worst-Case Execution Time (WCET) of software running such complex systems by providing reliable probabilistic WCET (pWCET) estimates. However, statistical models used so far, which are based on risk analysis, are overly pessimistic by construction. In this paper we prove that statistical survivability and risk analyses are equivalent in terms of tail analysis and, building upon survivability analysis theory, we show that Weibull tail models can be used to estimate pWCET distributions reliably and tightly. In particular, our methodology proves the correctness-by-construction of the approach, and our evaluation provides evidence about the tightness of the pWCET estimates obtained, which allow decreasing them reliably by 40% for a railway case study w.r.t. state-of-the-art exponential tails.This work is a collaboration between Argonne National Laboratory and the Barcelona Supercomputing Center within the Joint Laboratory for Extreme-Scale Computing. This research is supported by the U.S. Department of Energy, Office of Science, Office of Advanced Scientific Computing Research, under contract number DE-AC02- 06CH11357, program manager Laura Biven, and by the Spanish Government (SEV2015-0493), by the Spanish Ministry of Science and Innovation (contract TIN2015-65316-P), by Generalitat de Catalunya (contract 2014-SGR-1051).Peer ReviewedPostprint (author's final draft

Knowledge is Power? A market orientation approach to the global value chain analysis of aquaculture: Two cases linking Southeast Asia and the EU

This thesis adds the market orientation approach to a global value chain analysis of four farmed seafood value chains from two Asian countries to the EU. The overall aim of the research is to critically evaluate whether, and to what extent, access to market information is the key to unlocking the potential of developing countries to create greater value: whether knowledge is power. The objectives of the thesis are therefore to explore the process of generating market information in seafood value chains from Asia to the EU; understand under what conditions market information is, is not or is only partially disseminated; and, evaluate the role of market information in responses by chain agents that create value. In order to achieve these objectives, fieldwork was conducted along the length of shrimp (Penaeus monodon) and prawn (Macrobrachium rosenbergii) from Bangladesh, and shrimp (Penaeus vannamei) and tilapia (Oreochromis niloticus) from Thailand to the EU. The EU is the world’s largest single market for imported fish and fishery products. France, Germany and the UK were selected for fieldwork as they are primary importers of the species from the selected countries. The research found that although increased knowledge is necessary, it is not a sufficient condition for increased value creation. Instead, the research advances existing understanding of seafood value chains by revealing that successful integration of developing country producers into global markets is partly dependent on governance and industry development in the exporting country. Weaknesses in these structures and relationships undermine supplier power by reducing access to market information, lessening incentives for sharing information, and restricting response capabilities. A number of methods for overcoming these constraints were found in the chains examined, focusing on direct links between market and value chain agents. Importantly, the research found that integration is also dependent on the willingness of those with a market presence in importing countries to share knowledge and power. Critically, the research has led to the conclusion that the possession of market information is one way for value chain agents, particularly those downstream, to guard knowledge and power for themselves. A better understanding of seafood markets and an improved analysis of aquaculture value chains from Asian countries to the EU revealed through the research will facilitate public and private responses that focus on the competitive advantage of the whole chain as a means to more sustainable development. This may well promote new chain configurations that place a premium on stronger and more collaborative linkages, increasing coordination between weak and strong suppliers and contribute to private sector development assistance. Only when knowledge is shared and suppliers gain power, will the market orientation of seafood value chains be improved, if not optimised