WAP: What activates a bug? A refinement of the Laprie terminology model

Dependability modeling and analysis relies on the usage of an unambiguous terminology model, in order to avoid misunderstandings and wrong interpretations. In both academia and industry, the most widely accepted approach is the fault-error-failure model, originally created by Avižienis and Laprie. Using this model for describing software faults and errors can help to establish a common vocabulary, but may lead to ambiguities, since the original `fault activation´ term relates both to fault-enabling states and the execution of incorrect code. Our proposal encourages a more detailed description of fault activation conditions, while keeping the widely accepted basic vocabulary.