With the growing size and complexity of software applications, research in the area of
architecture-based software reliability analysis has gained prominence. The purpose of this …

This paper presents the design and implementation of the Bluetooth local positioning
application. Positioning is based on received power levels, which are converted to distance …

For embedded systems quality requirements are equally if not even more important than
functional requirements. The foundation for the fulfillment of these quality requirements has …

Unchecked errors are especially pernicious in operating system file management code.
Transient or permanent hardware failures are inevitable, and error-management bugs at the …

In order to produce reliable software, it is important to have knowledge on how faults and
errors may affect the software. In particular, designing efficient error detection mechanisms …

This paper addresses a probabilistic approach to error propagation analysis of a
mechatronic system. These types of systems require highly abstractive models for the proper …

Service-oriented architecture (SOA) has become an increasingly popular choice for building
software application in the last years. An SOA system is an elastic structure that utilizes …

Software is rapidly increasing in size and complexity. Static analyses must be designed to
scale well if they are to be usable with realistic applications, but prior efforts have often been …

With the advent of resource-hungry applications such as scientific simulations and artificial
intelligence (AI), the need for high-performance computing (HPC) infrastructure is becoming …

Error propagation analysis is a consolidated practice to gain insights into error modes and
effects that pertain to the activation of faults in software systems. A variety of approaches …