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 faults. Such behaviors, due to their complex triggering patterns, typically escape the testing phase. Effective on-line monitoring is the only way to detect them and to promptly react in order to avoid more serious consequences. In this paper, we propose an error detection framework to cope with software failures, which combines multiple sources of data gathered both at application-level and OS-level. The framework is evaluated through a fault injection campaign on a complex system from the Air Tra...
International audienceSingle Event Upset (SEU) phenomena is becoming a major concern in applications...
Nowadays it‘s becomming more and more difficult to write programs that behave correctly in the prese...
A dependable software system must contain two dependability components: (i) error detection mechanis...
Software systems employed in critical scenarios are increasingly large and complex. The usage of man...
Many critical services are nowadays provided by large and complex software systems. However the incr...
Many critical services are nowadays provided by large and complex software systems. However, the inc...
Revealing anomalies at the operating system (OS) level to support online diagnosis activities of com...
Error data collected at runtime play a key role for dependability analysis and improvement of softwa...
This paper proposes an approach to software faults diagnosis in complex fault tolerant systems, enco...
Error propagation analysis is a consolidated practice to gain insights into error modes and effects ...
This paper introduces SymPLFIED, a program-level framework which allows specification of arbitrary e...
On-line failure detection is an essential means to control and assess the dependability of complex a...
The next generation of critical systems, namely complex Critical Infrastructures (LCCIs), require ef...
This thesis proposes adaptable error detection technique for improving the availability of embedded ...
This thesis proposes adaptable error detection technique for improving the availability of embedded ...
International audienceSingle Event Upset (SEU) phenomena is becoming a major concern in applications...
Nowadays it‘s becomming more and more difficult to write programs that behave correctly in the prese...
A dependable software system must contain two dependability components: (i) error detection mechanis...
Software systems employed in critical scenarios are increasingly large and complex. The usage of man...
Many critical services are nowadays provided by large and complex software systems. However the incr...
Many critical services are nowadays provided by large and complex software systems. However, the inc...
Revealing anomalies at the operating system (OS) level to support online diagnosis activities of com...
Error data collected at runtime play a key role for dependability analysis and improvement of softwa...
This paper proposes an approach to software faults diagnosis in complex fault tolerant systems, enco...
Error propagation analysis is a consolidated practice to gain insights into error modes and effects ...
This paper introduces SymPLFIED, a program-level framework which allows specification of arbitrary e...
On-line failure detection is an essential means to control and assess the dependability of complex a...
The next generation of critical systems, namely complex Critical Infrastructures (LCCIs), require ef...
This thesis proposes adaptable error detection technique for improving the availability of embedded ...
This thesis proposes adaptable error detection technique for improving the availability of embedded ...
International audienceSingle Event Upset (SEU) phenomena is becoming a major concern in applications...
Nowadays it‘s becomming more and more difficult to write programs that behave correctly in the prese...
A dependable software system must contain two dependability components: (i) error detection mechanis...