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 …

Since the first identification of physical causes for soft errors in memory circuits, fault
injection (FI) has grown into a standard methodology to assess the fault resilience of …

We present a novel approach to the analysis of the reliability of a component-based system
that takes into account an important architectural attribute, namely the error propagation …

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

As software becomes more pervasive and complex, it's increasingly important to ensure that
a system will be safe even in the presence of residual software faults (or bugs). Software …

This paper presents a novel approach to the reliability modeling and analysis of a
component-based system that allows dealing with multiple failure modes and studying the …

The reuse of software components is a common practice in commercial applications and
increasingly appearing in safety critical systems as driven also by cost considerations. This …

While cyber–physical system sciences are developing methods for studying reliability that
span domains such as mechanics, electronics and control, there remains a lack of methods …

An operating system (OS) constitutes a fundamental software (SW) component of a
computing system. The robustness of its operations, or lack thereof, strongly influences the …

软件错误注入测试(software fault injection testing, 简称SFIT) 技术经过近30 年的发展,
一直是软件测试领域最活跃的研究内容之一. 作为一种非传统的测试技术, 在提高软件质量 …