Affiliation:
1. Carl-von-Ossietzky University of Oldenburg, Oldenburg, Germany
Abstract
Basic concepts and terminology for trustworthy software systems are discussed. Our discussion of definitions for terms in the domain of trustworthy software systems is based on former achievements in dependable, trustworthy and survivable systems. We base our discussion on the established literature and on approved standards. These concepts are discussed in the context of our graduate school TrustSoft on trustworthy software systems. In TrustSoft, we consider trustworthiness of software systems as determined by correctness, safety, quality of service (performance, reliability, availability), security, and privacy. Particular means to achieve trustworthiness of component-based software systems - as investigated in TrustSoft - are formal verification, quality prediction and certification; complemented by fault diagnosis and fault tolerance for increased robustness.
Publisher
Association for Computing Machinery (ACM)
Reference64 articles.
1. ATIS T1A1. Performance and Signal Processing. American National Standards Institute ATIS Committee T1A1 2001. ATIS T1A1. Performance and Signal Processing. American National Standards Institute ATIS Committee T1A1 2001.
2. Basic concepts and taxonomy of dependable and secure computing
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献