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

The GENCOD project : Automated generation of Hardware code for safety critical applications on FPGA targets

International audienceGENCOD is a research project for solutions to automated generation of safe code for Field Programmable Gate Arrays (FPGA) targets. The paper will describe typical ASIC/FPGA workflow, and current implementation for airborne electronic hardware design. Major stakes in certification for airborne electronic hardware will be discussed. The next part will detail the project, the proposed workflow and the associated tools. We will present the current experimentations. Finally, the conclusion will expose advantages and drawbacks of such approach

Vers une méthode d aide à la décision pour l intégration d innovations dès la conception préliminaire des architectures de systèmes complexes

L objectif de ce travail de recherche est de proposer une méthode d aide à l intégration d innovations dès la conception préliminaire des systèmes complexes. Cette étape de la conception a en effet de forts impacts sur le reste de cycle de vie du produit. En se focalisant sur l aide à la génération d architectures de système complexe, cette méthode utilise un réseau Bayésien combiné à un problème de satisfaction de contraintes (CSP) pour générer et évaluer automatiquement des architectures de systèmes complexes. Le modèle de réseau Bayésien proposé est utilisé pour représenter le problème de conception de l architecture en termes de variables de décision, de contraintes et de performances. Un algorithme parcourt le graphe ainsi défini afin de générer les solutions d architecture qui sont considérées comme faisables et qui présentent un niveau de confiance acceptable. Ce niveau de confiance estime l incertitude associée à chaque architecture générée. Les performances des architectures sont aussi calculées grâce au réseau bayésien. Une fois les architectures générées, un modèle de problème de satisfaction de contraintes permet d optimiser le placement des composants au vu des contraintes de placement et des objectifs d optimisation préalablement définis par les concepteurs. Un logiciel a été développé pour faciliter la modélisation du problème et la visualisation des solutions. Deux cas industriels ont permis de tester la méthode et de nombreuses solutions d architecture ont été générées. Afin de tester la faisabilité de l étape de sélection d architectures dans un cadre industriel, un atelier de sélection d architectures a été organisé afin d être par la suite analysé. Il a impliqué quatre concepteurs de Thales et portait sur un des cas industriels précédents. Cette dernière étude a souligné des difficultés dans la définition des critères de sélection des architectures et propose des recommandations pour un futur support à la sélection d architecture système.The aim of this research work is to propose a method allowing innovation integration in early design stages and supporting architecture design of complex systems that have significant implications for the rest of overall system life-cycle. Focusing on system architectures generation support, this method proposes to use Bayesian networks combined with Constraint Satisfaction Problem (CSP) techniques in order to semi-automatically generate and evaluate complex systems architectures. Bayesian network model is used to represent the design problem in terms of decision variables, constraints and performances. Furthermore, an architecture generation algorithm is proposed to generate feasible solutions and to cluster them with regard to a given confidence level threshold. This confidence level is representing the estimation of the uncertainty on the overall system. Estimation of architecture performances are also calculated within the Bayesian network. Once the system architectures are generated, a CSP model optimises the component placement regarding placement constraints and optimisation objectives defined by designers. Software has been developed for the purpose of problem modelling and solutions visualisation. Two industrial implementations yielded in a generation of a high number of architecture solutions. In order to test the feasibility of architecture selection in an industrial environment, a study was conducted integrating four system designers. This study underlined the difficulties in defining architecture selection criteria and provides recommendations for the future system architecture selection support.CHATENAY MALABRY-Ecole centrale (920192301) / SudocSudocFranceF

Project Final Report Final Publishable Summary Report

This document is the final publishable summary report, part of the CONNECT final report

System elements required to guarantee the reliability, availability and integrity of decision-making information in a complex airborne autonomous system

Current air traffic management systems are centred on piloted aircraft, in which all the main decisions are made by humans. In the world of autonomous vehicles, there will be a driving need for decisions to be made by the system rather than by humans due to the benefits of more automation such as reducing the likelihood of human error, handling more air traffic in national airspace safely, providing prior warnings of potential conflicts etc. The system will have to decide on courses of action that will have highly safety critical consequences. One way to ensure these decisions are robust is to guarantee that the information being used for the decision is valid and of very high integrity. [Continues.

Viewpoints : What can agile methods bring to high-integrity software development?

Considering the issues and opportunities raised by Agile practices in the development of high-integrity software

Viewpoints : What can agile methods bring to high-integrity software development?

Considering the issues and opportunities raised by Agile practices in the development of high-integrity software

European Reference Network for Critical Infrastructure Protection: ERNCIP Handbook 2017 edition Version 1.0

The ERNCIP network has been established to improve the protection of critical infrastructures in the EU. The European Reference Network for Critical Infrastructure Protection (ERNCIP) therefore works in close cooperation with all types of CIP stakeholders, focusing particularly on the technical protective security solutions. This handbook aims to assist the dissemination of the activities and results of ERNCIP. It is intended that the document will be updated and issued by the ERNCIP Office in spring each year. The information provided will be up to date as of the end of the previous calendar year, i.e. in this case as at 31 December 2016. The report summarises the achievements of all the ERNCIP Thematic Groups, providing a convenient way to access information on any specific theme of interest covered by ERNCIP. The report also describes current thematic group activities, to allow subject-matter experts and critical infrastructure operators to identify ongoing areas of research they might be interested in assisting. This report is publicly available via the ERNCIP web site, and is distributed to all ERNCIP Group of EU CIP Experts for onward dissemination within their Member State.JRC.E.2-Technology Innovation in Securit