Agency: Cordis | Branch: FP7 | Program: CP | Phase: ICT-2011.6.1 | Award Amount: 4.90M | Year: 2012
Stability and cost-efficient operation of Power distribution grids are the main targets of novel information-rich demand, voltage, and generation control, while at the same time aiming to reduce costs for the grid infrastructure. However, adding intelligence to the power grid requires communication and computation infrastructure, with consequent requirements for additional investments. To be cost efficient, it is therefore essential to enable intelligent power grid operation leveraging existing communication infrastructures.\nGoal of SmartC2Net is to develop, implement, and validate robust solutions that enable smart grid operation on top of heterogeneous off-the-shelf communication infrastructures with varying properties. The resulting innovative middleware functions are: (1) adaptive network and grid monitoring, (2) strategies to control communication network configurations and QoS settings, and (3) extended information models and adaptive information management procedures. These middleware functions create awareness of the communication network properties and their impact on information quality, which is subsequently exploited by innovative flexible power control algorithms of SmartC2Net.\nThe effectiveness of project results will be validated in representative use-cases of the active operation of Distributed Energy Resources connected to medium and low voltage distribution networks. These use-cases are investigated in three complementary lab prototypes.\nThe SmartC2Net results will clearly show that intelligent distribution grid operation can be realized in a robust manner over existing communication infrastructures even despite the presence of accidental faults and malicious attacks.\nA consortium of seven partners (two large companies, one SME, two research centres and two universities) from five European countries provides the required expertise combination in the three central disciplines: communication technologies, control methods, and energy technology.
Agency: Cordis | Branch: FP7 | Program: CP-FP | Phase: SST.2008.4.1.2. | Award Amount: 3.94M | Year: 2010
The objective of the ALARP project is therefore to study, design and develop an innovative more efficient Automatic Track Warning System (ATWS) to improve the safety of railway trackside workers. ALARP ATWS will able to selectively inform the trackside workers about approaching trains on the track, maintenance events on power lines and/or safety equipment in the concerned tracks that may put at risk workers safety (e.g. being hit by a train or by an electric shock) emergencies on tracks and tunnels nearby the workers (e.g. fires in a tunnel, toxic smoke, etc.), escape routes in case of emergencies; keep track of the status and localisation of the workers (and especially those at risk, not responding) and of the operating conditions of devices; The proposed ALARP concept) will be based on the following main components: the track-side train presence alert device (TPAD), able to sense an approaching train on the interested track without interfering with the signalling system; a set of distributed, low-cost, wearable, context-aware, robust, trustable and highly reliable, wireless Mobile Terminals (MTs) to inform the workers about possible approaching trains and/or other events that could put at risk their safety.
Agency: Cordis | Branch: FP7 | Program: JTI-CP-ARTEMIS | Phase: SP1-JTI-ARTEMIS-2011-5;SP1-JTI-ARTEMIS-2011-1 | Award Amount: 15.29M | Year: 2012
European industry has a great potential to achieve a leading position in the growing global market of safety-relevant embedded systems, provided it is able to devise efficient and industrial-strength methods and processes for their development and certification. nSafeCer targets increased efficiency and reduced time-to-market by composable safety certification of safety-relevant embedded systems. A primary objective is to provide support for system safety arguments based on arguments and properties of system components, as well as to provide support for generation of corresponding evidence in a similar compositional way. By efficient reuse during certification and stronger links between certification and development, a higher degree of component reuse is envisioned. Improved quality and reduced risk during verification, qualification and certification, will increase European industry competitiveness and pave the way for a cross-domain market for components qualified for certification. The main industrial domains targeted in nSafeCer are aerospace, automotive, construction equipment and railway. Other domains such as health care and cross-domain aspects will also be considered. nSafeCer builds on the 2 year ARTEMIS pilot project pSafeCer launched in April 2011. Sharing the same overall goals, the concepts developed in pSafeCer are in nSafeCer advanced into tangible industrial implementations of project-ready, unified and seamlessly integrated solutions, and demonstrators of the proof of concepts. Certification guidelines and training examples for various other domains will also be developed. In addition to the deepening of the pSafeCer knowledge, nSafeCer adds scientific objectives, including support for product-lines and cross-domain certification and reuse. nSafeCer brings together leading companies and SMEs across Europe (including technology, tool, and competence providers, as well as certification and standardisation experts), which together with selected academic institutions are capable and motivated to realize the nSafeCer goals, specifically addressing ARTEMIS subprograms ASP1 and ASP5. The TA v2.1 was accepted by the ARTEMIS-JU PO on 7/3/2012. Withdraw of Latvian partner LDz resulted in new TA v2.2. The TA v2.2 was accepted by ARTEMIS-JU PO on 22/3/2012 Withdraw of French partner Delphi resulted in new TA v2.3 (numbering in TAv2.3 still includes DElPHI as partner number 15 but with zero effort and funding) In NEF Delphi is removed and MDS is partner 15, AdaCore partner 16 and so forth. The revised version 2.3 is accepted by the JU PO on 11/7/2012. Delphi withdraw was accepted by nSafeCer General Assembly on 12/7/2012.
Agency: Cordis | Branch: FP7 | Program: CP | Phase: ICT-2013.3.4 | Award Amount: 3.41M | Year: 2013
The objective of this research proposal is to bring time awareness and evolution into the design of System-of-Systems (SoS), to establish a sound conceptual model, a generic architectural framework and a design methodology, supported by some prototype tools, for the modeling, development and evolution of time-sensitive SoSes with possible emergent behaviors. Special emphasis is placed on evolution, emergence, dependability (e.g. safety, availability) and security, considering embedded devices and the cloud as the execution platform. The concept of evolution will be addressed from two complementary perspectives, considering both long-term evolution and short-term unexpected changes (e.g., failures) in the constituent systems. The project starts with a study of fielded industrial SoSs, where the handling of time and the evolution aspects will be in the center of the analysis, in the domains of disaster management, transport, and smart grid applications. The following development of the conceptual model, the architectural framework, the design methodology and some extensions to UML-based tools will form the core of the project work. In place of the traditional guarantees that were the target for more closed and static systems, the architectural framework will be based on the concept of guaranteed best adaptation under the given constraints, sometimes just monitoring how the environment evolves, and influencing how the SoS takes mitigating actions. The viability of the framework will be validated on a case study of a CPS, a small smart grid application, where guaranteed responsiveness, evolution, dependability and security are essential requirements. The research is based on the in-depth experience of some of the key researchers of the consortium in the fields of architecture design, real-time systems, dependability, security and the development of large systems-of-systems in such diverse domains as disaster management, the transport sector, and energy distribution.
Bovenzi A.,University of Naples Federico II |
Brancati F.,Resiltech S.R.L. |
Russo S.,University of Naples Federico II |
Bondavalli A.,University of Florence
IEEE Transactions on Dependable and Secure Computing | Year: 2015
Revealing anomalies at the operating system (OS) level to support online diagnosis activities of complex software systems is a promising approach when traditional detection mechanisms (e.g., based on event logs, probes and heartbeats) are inadequate or cannot be applied. In this paper we propose aconfigurable detection framework to reveal anomalies in the OS behavior, related to system misbehaviors. The detector is based on online statistical analysestechniques, and it is designed for systems that operate under variable andnon-stationary conditions. The framework is evaluated to detect the activation of software faults in a complex distributed system for Air Traffic Management (ATM). Results of experiments with two different OSs, namely Linux Red Hat EL5 and Windows Server 2008, show that the detector is effective for mission-critical systems. The framework can be configured to select the monitored indicators so as to tune the level of intrusivity. A sensitivity analysis of the detector parameters iscarried out to show their impact on the performance and to give to practitioners guidelines for its field tuning. © 2015 IEEE.
Ficco M.,The Second University of Naples |
Daidone A.,Resiltech srl |
Coppolino L.,Parthenope University of Naples |
Romano L.,Parthenope University of Naples |
Bondavalli A.,University of Florence
ACM International Conference Proceeding Series | Year: 2011
Supervisory Control and Data Acquisition (SCADA) systems control and monitor industrial and critical infrastructure functions, including gas, water, electricity, and railway. Despite a huge effort from research communities and industries have been made in addressing the dependability of SCADA systems, the diagnosis of SCADA malfunctions is still a challenging issue today. This paper proposes a Simple Event Correlator engine for diagnosis of malfunctions in SCADA systems based on a rule-based event correlation approach. In particular, it is used to detect and filter "relevant" symptoms useful for fault diagnosis in a SCADA infrastructure. Copyright © 2011 ACM.
Nostro N.,University of Florence |
Ceccarelli A.,University of Florence |
Bondavalli A.,University of Florence |
Brancati F.,Resiltech S.r.l.
ACM International Conference Proceeding Series | Year: 2013
Security is a major challenge for today's companies, especially ICT ones which manages large scale cyber-critical systems. Amongst the multitude of attacks and threats to which a system is potentially exposed, there are insiders attackers i.e., users with legitimate access which abuse or misuse of their power, thus leading to unexpected security violation (e.g., acquire and disseminate sensitive information). These attacks are very difficult to detect and mitigate due to the nature of the attackers, which often are company's employees motivated by socio-economical reasons, and to the fact that attackers operate within their granted restrictions: it is a consequence that insiders attackers constitute an actual threat for ICT organizations. In this paper we present our ongoing work towards a methodology and supporting libraries and tools for insider threats assessment and mitigation. The ultimate objective is to quantitatively evaluate the possibility that a user will perform an attack, the severity of potential violations, the costs, and finally select the countermeasures. The methodology also includes a maintenance phase during which the assessment is updated on the basis of system evolution. The paper discusses future works towards the completion of our methodology.
Agency: Cordis | Branch: H2020 | Program: RIA | Phase: DRS-11-2015 | Award Amount: 7.30M | Year: 2016
Starting from previous research experiences and tangible outcomes, STORM proposes a set of novel predictive models and improved non-invasive and non-destructive methods of survey and diagnosis, for effective prediction of environmental changes and for revealing threats and conditions that could damage cultural heritage sites. Moreover, STORM will determine how different vulnerable materials, structures and buildings are affected by different extreme weather events together with risks associated to climatic conditions or natural hazards, offering improved, effective adaptation and mitigation strategies, systems and technologies. An integrated system featuring novel sensors (intra fluorescent and wireless acoustic sensors), legacy systems, state of the art platforms (including LiDAR and UAVs), as well as crowdsourcing techniques will be implemented, offering applications and services over an open cloud infrastructure. An important result of STORM will be a cooperation platform for collaboratively collecting and enhancing knowledge, processes and methodologies on sustainable and effective safeguarding and management of European Cultural Heritage. The system will be capable of performing risk assessment on natural hazards taking into account environmental and anthropogenic risks, and of using Complex Events processing. Results will be tested in relevant case studies in five different countries: Italy, Greece, UK, Portugal and Turkey. The sites and consortium have been carefully selected so as to adequately represent the rich European Cultural Heritage, while associate partners that can assist with liaisons and links to other stakeholders and European sites are also included. The project will be carried out by a multidisciplinary team providing all competences needed to assure the implementation of a functional and effective solution to support all the actors involved in the management and preservation of Cultural Heritage sites.
Agency: Cordis | Branch: FP7 | Program: MC-IAPP | Phase: FP7-PEOPLE-2012-IAPP | Award Amount: 2.21M | Year: 2013
The project aims at taking a step forward in the growing field of development, verification and validation and certification of critical systems. The project focuses on the more difficult/important points of (safety, efficiency, business, ) of critical system development, verification and validation and certification process. The scientific objectives of the project are study both the scientific and industrial state of the art methodologies for system development and the impact of their usage on the verification and validation and certification of critical systems. Moreover the project aims at developing strategies and techniques supported by automatic or semi-automatic tools and methods for these type of activities, whose cost-quality achievements are well-predictable in order to tie costs of application of techniques to the RAMS attributes level achieved by the product being tested. The project will draw-up guidelines to support engineers during the planning of the verification & validation phases. According to the nature of an PEOPLE-IAPP project, the researchers involved will have the opportunity to move from their company and university to partners offices in a different country in order to share their expertise and absorb new knowledge in the field of the Certification of HW and SW Systems, develop new competences and integrate their new know-how back to their home companies and universities. This synergic approach will define novel approaches and methods bringing together scientific and industrial knowledge that is currently fragmented and resides in different organizations and researchers.
Gallina B.,Mälardalen University |
Szatmari Z.,Resiltech Srl
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Year: 2015
Safety standards impose requirements on the process used to develop safety-critical systems. For certification purposes, manufacturers have to properly interpret and meet these requirements, which exhibit commonalities and variabilities. However, since different terms are used to state them, the comparative work aimed at manually identifying and managing these commonalities and variabilities is hard, time-consuming, and costly. In this paper, we propose to solve this problem by creating ontology-based models of safety standards and automate the comparative work. Then, we show how the result of this comparative study can be exploited to semi-automate the generation of safety-oriented process line models. To illustrate our solution, we apply it to portions of ISO 26262 and EN 50126. Finally, we draw our conclusions and future work. © Springer International Publishing Switzerland 2015.