List of requirements on formalisms and selection of appropriate tools

This deliverable reports on the activities for the set-up of the modelling environments for the evaluation activities of WP5. To this objective, it reports on the identified modelling peculiarities of the electric power infrastructure and the information infrastructures and of their interdependencies, recalls the tools that have been considered and concentrates on the tools that are, and will be, used in the project: DrawNET, DEEM and EPSys which have been developed before and during the project by the partners, and M\uf6bius and PRISM, developed respectively at the University of Illinois at Urbana Champaign and at the University of Birmingham (and recently at the University of Oxford)

Giorgio Fiocco: a jolly good fellow and his research

In celebrating the 70th birthday of Giorgio Fiocco we recall that his scientifi c production includes some pioneering work in a number of fi elds where he set important milestones. In particular, several of his papers represent the fi rst published evidence in certain fi elds and triggered such a large fl ow of research, new developments and new paper production that the original source is almost forgotten. Here the topics where his contribution was of pioneering importance are briefl y recalled and his original works cited

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

Xcd - Modular, Realizable Software Architectures

Connector-Centric Design (Xcd) is centred around a new formal architectural description language, focusing mainly on complex connectors. Inspired by Wright and BIP, Xcd aims to cleanly separate in a modular manner the high-level functional, interaction, and control system behaviours. This can aid in both increasing the understandability of architectural specifications and the reusability of components and connectors themselves. Through the independent specification of control behaviours, Xcd allows designers to experiment more easily with different design decisions early on, without having to modify the functional behaviour specifications (components) or the interaction ones(connectors). At the same time Xcd attempts to ease the architectural specification by following (and extending) a Design-by-Contract approach, which is more familiar to software developers than process algebras like CSP or languages like BIP that are closer to synchronous/hardware specification languages. Xcd extends Design-by-Contract (i) by separating component contracts into functional and interaction sub-contracts, and (ii) by allowing service consumers to specify their own contractual clauses. Xcd connector specifications are completely decentralized, foregoing Wright’s connector glue, to ensure their realizability by construction

Has VZV epidemiology changed in Italy? Results of a seroprevalence study

The aim of the study was to evaluate if and how varicella prevalence has changed in Italy. In particular a seroprevalence study was performed, comparing it to similar surveys conducted in pre-immunization era. During 2013–2014, sera obtained from blood samples taken for diagnostic purposes or routine investigations were collected in collaboration with at least one laboratory/center for each region, following the approval of the Ethics Committee. Data were stratified by sex and age. All samples were processed in a national reference laboratory by an immunoassay with high sensitivity and specificity. Statutory notifications, national hospital discharge database and mortality data related to VZV infection were analyzed as well. A total of 3707 sera were collected and tested. In the studied period both incidence and hospitalization rates decreased and about 5 deaths per year have been registered. The seroprevalence decreased in the first year of life in subjects passively protected by their mother, followed by an increase in the following age classes. The overall antibody prevalence was 84%. The comparison with surveys conducted with the same methodology in 1996–1997 and 2003–2004 showed significant differences in age groups 1–19 y. The study confirms that in Italy VZV infection typically occurs in children. The impact of varicella on Italian population is changing. The comparison between studies performed in different periods shows a significant increase of seropositivity in age class 1–4 years, expression of vaccine interventions already adopted in some regions

Small cargo proteins and large aggregates can traverse the Golgi by a common mechanism without leaving the lumen of cisternae

Procollagen (PC)-I aggregates transit through the Golgi complex without leaving the lumen of Golgi cisternae. Based on this evidence, we have proposed that PC-I is transported across the Golgi stacks by the cisternal maturation process. However, most secretory cargoes are small, freely diffusing proteins, thus raising the issue whether they move by a transport mechanism different than that used by PC-I. To address this question we have developed procedures to compare the transport of a small protein, the G protein of the vesicular stomatitis virus (VSVG), with that of the much larger PC-I aggregates in the same cell. Transport was followed using a combination of video and EM, providing high resolution in time and space. Our results reveal that PC-I aggregates and VSVG move synchronously through the Golgi at indistinguishable rapid rates. Additionally, not only PC-I aggregates (as confirmed by ultrarapid cryofixation), but also VSVG, can traverse the stack without leaving the cisternal lumen and without entering Golgi vesicles in functionally relevant amounts. Our findings indicate that a common mechanism independent of anterograde dissociative carriers is responsible for the traffic of small and large secretory cargo across the Golgi stack

A geo-chemo-mechanical study of a highly polluted marine system (Taranto, Italy) for the enhancement of the conceptual site model

The paper presents the results of the analysis of the geo-chemo-mechanical data gathered through an innovative multidisciplinary investigation campaign in the Mar Piccolo basin, a heavily polluted marine bay aside the town of Taranto (Southern Italy). The basin is part of an area declared at high environmental risk by the Italian government. The cutting-edge approach to the environmental characterization of the site was promoted by the Special Commissioner for urgent measures of reclamation, environmental improvements and redevelopment of Taranto and involved experts from several research fields, who cooperated to gather a new insight into the origin, distribution, mobility and fate of the contaminants within the basin. The investigation campaign was designed to implement advanced research methodologies and testing strategies. Differently from traditional investigation campaigns, aimed solely at the assessment of the contamination state within sediments lying in the top layers, the new campaign provided an interpretation of the geo-chemo-mechanical properties and state of the sediments forming the deposit at the seafloor. The integrated, multidisciplinary and holistic approach, that considered geotechnical engineering, electrical and electronical engineering, geological, sedimentological, mineralogical, hydraulic engineering, hydrological, chemical, geochemical, biological fields, supported a comprehensive understanding of the influence of the contamination on the hydro-mechanical properties of the sediments, which need to be accounted for in the selection and design of the risk mitigation measures. The findings of the research represent the input ingredients of the conceptual model of the site, premise to model the evolutionary contamination scenarios within the basin, of guidance for the environmental risk management. The study testifies the importance of the cooperative approach among researchers of different fields to fulfil the interpretation of complex polluted eco-systems