Methodologies synthesis

This deliverable deals with the modelling and analysis of interdependencies between critical infrastructures, focussing attention on two interdependent infrastructures studied in the context of CRUTIAL: the electric power infrastructure and the information infrastructures supporting management, control and maintenance functionality. The main objectives are: 1) investigate the main challenges to be addressed for the analysis and modelling of interdependencies, 2) review the modelling methodologies and tools that can be used to address these challenges and support the evaluation of the impact of interdependencies on the dependability and resilience of the service delivered to the users, and 3) present the preliminary directions investigated so far by the CRUTIAL consortium for describing and modelling interdependencies

Testing the robustness of controllers for self-adaptive systems

Self-Adaptive systems are software-intensive systems endowed with the ability to respond to a variety of changes that may occur in their environment, goals, or the system itself, by adapting their structure and behavior at run-time in an autonomous way. Controllers are complex components incorporated in self-adaptive systems, which are crucial to their function since they are in charge of adapting the target system by executing actions through effectors, based on information monitored by probes. However, although controllers are becoming critical in many application domains, so far very little has been done to assess their robustness. In this paper, we propose an approach for evaluating the robustness of controllers for self-adaptive software systems, aiming to identify faults in their design. Our proposal considers the stateful nature of the controller, and identifies a set of robustness tests, which includes the provision of mutated inputs to the interfaces between the controller and the target system (i.e., probes). The feasibility of the approach is evaluated on Rainbow, a framework for architecture-based self-adaptation, and in the context of the Znn.com case study

Implementation of a secure algorithm in WSN for a coal mine

For safety-critical systems, the required reliability (or safety) is often extremely high. Assessing the system, to gain confidence that the requirement has been achieved, is correspondingly hard, particularly when the system depends critically upon extensive software. In practice, such an assessment is often carried out rather informally, taking account of many different types of evidence—experience of previous, similar systems; evidence of the efficacy of the development process; testing; expert judgement, etc. Ideally, the assessment would allow all such evidence to be combined into a final numerical measure of reliability in a scientifically rigorous way. In this paper we address one part of this problem: we present a means whereby our confidence in a new product can be augmented beyond what we would believe merely from testing that product, by using evidence of the high dependability in operation of previous products. We present some illustrative numerical results that seem to suggest that such experience of previous products, even when these have shown very high dependability in operational use, can improve our confidence in a new product only modestly

EANO guidelines for the diagnosis and treatment of ependymal tumors

Ependymal tumors are rare CNS tumors and may occur at any age, but their proportion among primary brain tumors is highest in children and young adults. Thus, the level of evidence of diagnostic and therapeutic interventions is higher in the pediatric compared with the adult patient population.The diagnosis and disease staging is performed by craniospinal MRI. Tumor classification is achieved by histological and molecular diagnostic assessment of tissue specimens according to the World Health Organization (WHO) classification 2016. Surgery is the crucial initial treatment in both children and adults. In pediatric patients with intracranial ependymomas of WHO grades II or III, surgery is followed by local radiotherapy regardless of residual tumor volume. In adults, radiotherapy is employed in patients with anaplastic ependymoma WHO grade III, and in case of incomplete resection of WHO grade II ependymoma. Chemotherapy alone is reserved for young children <12 months and for adults with recurrent disease when further surgery and irradiation are no longer feasible. A gross total resection is the mainstay of treatment in spinal ependymomas, and radiotherapy is reserved for incompletely resected tumors. Nine subgroups of ependymal tumors across different anatomical compartments (supratentorial, posterior fossa, spinal) and patient ages have been identified with distinct genetic and epigenetic alterations, and with distinct outcomes. These findings may lead to more precise diagnostic and prognostic assessments, molecular subgroup-adapted therapies, and eventually new recommendations pending validation in prospective studies