Applications of TSF
The Eclipse Trustable Software Framework (TSF) is an objective-based framework, which can be applied in a number of ways. Aspects of the Tenets may satisfied by the existing processes or practices applied a project, while others may need these to be extended, or identify new processes that could be added.
This section documents some specific applications of the framework, both as a generic template to be applied to projects, and as an illustration of how the TSF assertions can be extended.
- RAFIA is a process model for critical software projects, which applies the TT-EXPECTATIONS and TT-RESULTS Tenets.
- STPA is a methodology that can be applied as part of RAFIA's Risk Analysis process to satisfy the objectives of TA-MISBEHAVIOURS.
- Managing statements is a process description for applying the Trustable methodology to ensure independence and robustness in Statements tracked with TSF, satisfying aspects of TA-METHODOLOGIES.