EWDC

The use of PMUs (Phasor Measurement Units) for measurement and control of the power grids over wide areas is becoming fundamental to improve power system reliability. Synchrophasors, that enable a synchronized evaluation of the phasor through GPS radio ...

This paper addresses the reliability modeling of an aircraft mission. It presents an assessment approach that one can use for the initial assignment of aircraft missions and possible adjustment and adaptation in case of unplanned events during the ...

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 ...

Ad hoc networks are self-configuring multi-hop wireless networks whose routing protocols are extremely sensitive to the occurrence of accidental and malicious faults. However, the behaviour exhibited by such protocols varies from one to another. This ...

Comparing the security of web applications is very hard and, although there are many proposals of security metrics in the literature, no consensual quantitative security metric has been proposed so far. In this paper we study the use of trust-based ...

The most critical steps in the risk assessment of a system are the discovery of attacks against the system as well as the computation of the probabilities that attacks are successful and their impacts. We present a framework to support these steps ...

In the last few years, glass cockpits are being replaced by interactive cockpits to provide a much higher level of integration. Due to their event driven nature, interactive systems offer more display and control features but also more unpredictable ...

RFID systems are complex heterogeneous systems, consisting of hardware and software components. These systems are more and more used in many types of applications, some of which are critical and need fault-tolerance mechanisms. However, most existing ...

This paper presents an adaptive, CPU-aware, fault detection and recovery approach which dynamically modifies the number of replicas in the system. This technique utilizes available unused resources as redundancy. It is transparent for users and does not ...

Software systems employed in critical scenarios are increasingly large and complex. The usage of many heterogeneous components causes complex interdependences, and introduces sources of non-determinism, that often lead to the activation of subtle ...

Large enterprises are nowadays complex interconnected software systems spanning over several domains. This new dimension makes difficult for enterprises the task of enabling efficient security defenses. This paper addresses the problem of detecting ...

To respond to the growing needs of evolution and adaptation coming from the modern open connected world, applications must continuously monitor their own execution and the surrounding context. The events to be observed, belonging to guaranteed ...

These days, embedded systems such as robotics and car navigation systems are composed of a variety of software components. These systems frequently suffer environmental damage and require changes. Improving the adaptation cycles in the development phase ...

Network servers can be tested for correctness by resorting to a specification of the implemented protocol. However, producing a protocol specification can be a time consuming task. In addition, protocols are constantly evolving with new functionality ...

Aspect-oriented software development (AOSD) is a technique that helps software evolution by separating different concerns in different aspects and advices. Unfortunately, it still suffers from well-known composition issues, in particular from runtime ...

This paper introduces a "k-bounded set object", namely a shared object with limited memory that allows processes to add and remove values as well as take a snapshot of its content. The interest of the k-bounded set lies in the fact that it can be used ...

Field Programmable Gate Arrays (FPGAs), are being increasingly used in custom systems requiring fast time-to-market delivery due to their flexibility; being reprogrammable in the field is a real value for long unattended operation and whenever on-site ...

It is well known that systems built with resilient components are not necessarily resilient systems. Nevertheless, when studying the resilience of work systems characterised by continuous inter-operations among humans and devices, analysts generally ...

Due to the continuous penetration of computer systems into our daily lives, their dependability is critical to the users. Particularly, ubiquitous embedded systems, such as elderly care and medication management, need to provide a high degree of ...