Search Results

Leader election is one of the basic building blocks of distributed systems. Multiple different distributed applications employ a leader for decision making or as a coordinator. Traditional leader election algorithms are usually based on all-to-all ...

Today, we are witnessing the increasing use of the cloud and virtualization technologies, which are a prominent way for the industry to develop mixed-criticality systems (MCSs) and reduce SWaP-C factors (size, weight, power, and cost) by flexibly ...

• Proposed novel approach using DoE to assess temporal isolation in Virtualized MCSs.
• Identified knobs for testing Xen hypervisor in a realistic railway use case.
• Demonstrated effectiveness of the approach in mitigating timing ...

The decision-making process in Industrial Wireless Sensor Networks heavily relies on the information provided by smart sensors. Ensuring the trustworthiness of these sensors is essential to prolong the lifetime of the network. Additionally, ...

Porting a scientific data analysis workflow (DAW) to a cluster infrastructure, a new software stack, or even only a new dataset with some notably different properties is often challenging. Despite the structured definition of the steps (tasks) ...

• Portability and adaptability of scientific workflows suffer from hidden assumptions.
• Validity constraints in workflow languages make hidden assumption explicit.
• Validity constraints ensure integrity and enable conformance checking ...

The prevalence of security vulnerabilities in Internet of Things (IoT) applications poses a serious threat to enterprise systems, necessitating sophisticated and reliable defense solutions to counter emerging and evolving threats. For the ...

Antifragility is one of the terms that have recently emerged with the aim of indicating a direction that should be pursued toward the objective of designing Information and Communications Technology systems that remain trustworthy despite their ...

• We present a conceptual characterization of antifragility.
• We discuss the inclusion of antifragility in the well-known dependability taxonomy.
• We derive a possible path toward the engineering of antifragile systems.

Developing embedded software applications is a challenging task, chiefly due to the limitations that are imposed by the hardware devices or platforms on which they operate, as well as due to the heterogeneous non-functional requirements that they ...

On-board Computers (OBC) are at the centre of space-faring systems. They provide computational performance to the system with high availability and dependability. However, these systems typically consist of expensive, slow, fault-tolerant hardware ...

One of the most popular models that provide computer resources today is cloud computing. Today’s dynamic and successful platforms are created to take advantage of various resources available from service providers. Ensuring the performance and ...

In the context of Network Function Virtualization (NFV), Network Services (NS) are realized by interconnecting Virtual Network Functions (VNF) using Virtual Links (VL). Service dependability is an important characteristic of NSs. Service ...

• Assessing dependability based on the application priority of IoMT.
• Graph mapping based on the patterns of the human brain’s cells.
• Predicting the faulty area through inspiration from distributing amyloid plucks.
• Phagocyte ...

The security problem and the demand for service availability create risky conditions for individuals connected to the Internet of Medical Things (IoMT) technology. They are vulnerable to passive and active attacks involving the sharing of ...

Effective quality management plays a pivotal role in ensuring the smooth operation of smart city systems, which have significant implications for safety, accessibility, affordability, and maintainability. Dependability of autonomous systems is of ...

Atomic Broadcast is an essential broadcast primitive as it ensures the consistency of distributed replicas. However, it is notoriously non-scalable. In this work, we introduce the Leaderless Hierarchical Atomic Broadcast (LHABcast) algorithm, ...

• LHABcast is a fully decentralized leaderless algorithm broadcast algorithm.
• LHABcast organizes processes on a vCube, which has several logarithmic properties.
• LHABcast uses autonomic spanning trees rooted at the sender for message ...

Assurance Cases (ACs) are an established approach in safety engineering to argue quality claims in a structured way. In the context of quality assurance for Machine Learning (ML)-based software components, ACs are also being discussed and appear ...

Background: DevOps is viewed as an alternative approach to achieving high-quality software products. Dependability is recognized as a crucial aspect of software product quality. Existing literature highlights the lack of established standards, models, or ...

Fault-tolerance techniques depend on replication to enhance availability, albeit at the cost of increased infrastructure costs. This results in a fundamental trade-off: Fault-tolerant services must satisfy given availability and performance ...

Given the complexity of modern software systems, it is no longer possible to detect every fault before deployment. Such faults can eventually lead to failures at runtime, compromising the business process and causing significant risk or losses. Online ...

In this work, we introduce ◊P-vCube, a push-based failure detector for asynchronous distributed systems. Processes running ◊P-vCube are hierarchically organized on the vCube virtual topology, which presents several logarithmic properties. As there are ...

Continuous power supply in railway systems is vital to guarantee dependable accomplishment of energy-supported critical operations. With reference to the Italian railway infrastructure, this paper focuses on the railroad signaling system, used to ...

The complexity of deploying automated vehicles (AVs) has been grossly underestimated and vehicles at high levels of automated driving (SAE level 4 and above) have so far only been deployed in very limited areas. Highly automated AVs will face ...