Fault Propagation in Tabular Expression-Based Specifications.
Xin FengDavid Lorge ParnasT. H. TsePublished in: COMPSAC (2008)
Keyphrases
- fault diagnosis
- fault detection
- delay insensitive
- high level
- formal specification
- learning algorithm
- functional requirements
- website
- specification language
- failure modes
- wave propagation
- propagation model
- data structure
- multi agent
- case study
- artificial intelligence
- concurrent systems
- neural network
- normal operation
- fault management
- real time embedded systems