|
Published Articles >> Table of Contents >> Abstract
2003 International Conference on Dependable Systems and Networks (DSN'03)
p. 95
Building SWIFI Tools from Temporal Logic Specifications
Manuel Rodriguez, LAAS-CNRS
Jean-Charles Fabre, LAAS-CNRS
Jean Arlat, LAAS-CNRS
Full Article Text:
  
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DSN.2003.1209921
Send link to a friend
| Abstract |
|
This paper presents an approach for building SoftWare-Implemented Fault Injection (SWIFI) tools for real-time systems starting from temporal logic specifications. Temporal logic formulas are provided describing the behavior of the main SWIFI mechanisms, both for the injection of faults and for the observation of the target system. Besides conventional fault injectors (i.e., that flip bits in memory and in system calls’ parameters), we have also considered fault injectors based on the notion of saboteur. Concerning the observation mechanisms, we have defined on-line software probes aimed at observing not only the failure modes of the system under test, but also the real-time behavior of both the application and the underlying operating system. The specifications of all such mechanisms are then translated into programs that are executed on-line by a virtual machine. This approach was applied to the development of MAFALDA-RT, a SWIFI tool for real-time systems. A case study exemplifies how the proposed approach allows for the SWIFI mechanisms to be defined and applied.
|
 Additional Information
|
Citation:
Manuel Rodriguez, Jean-Charles Fabre, Jean Arlat,
"Building SWIFI Tools from Temporal Logic Specifications,"
dsn,
p. 95,
2003 International Conference on Dependable Systems and Networks (DSN'03),
2003
|
|
