Sciweavers

SERA
2007
Springer

A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis

14 years 17 days ago
A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis
Robustness is an important feature required for embedded systems. This paper presents a methodology to test robustness of such systems. We investigate system behaviour aspects. We handle two formal specifications : a nominal one which describes the system behaviour in normal conditions and a degraded one which describes the behaviour in critical conditions. Both are described as Labelled Transition Systems for the untimed systems and as Timed Automata for timed systems. We extract test sequences from the nominal or from the degraded specification. We perform fault injection on these test sequences. Finally, we submit these sequences to the Implementation Under Test (IUT) and then we analyze its behaviour using adequate robustness relations. Key-words : Robustness Testing, Labelled Transition Systems, Timed Automata, Robustness relations.
Antoine Rollet, Fares Saad-Khorchef
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where SERA
Authors Antoine Rollet, Fares Saad-Khorchef
Comments (0)