Eclipse Trustable Software Framework (TSF)

The Eclipse Trustable Software Framework (TSF) is designed for evaluation of software where factors such as safety, security, performance, availability and reliability are considered critical. Broadly we assert that any consideration of trust must be based on evidence. So for software to be considered "trustable" we look for evidence of: - Provenance: where it comes from, who produced it, and what claims they make about it - Construction: how to construct, install and run it. Also, how to be sure that we constructed, installed and ran it correctly - Change: how to update it, and be confident that it will not break or regress - Expectations: what it is expected to do, and what it must not do - Results: what it actually does, compared to our expectations - Confidence: our confidence in the software, based on all of the above