GRK 1076: Trustworthy Software Systems - Construction, Certification, Application

GRK 1076：值得信赖的软件系统 - 构建、认证、应用

• 批准号: 441943
• 金额: --
• 依托单位: Carl von Ossietzky Universität Oldenburg
• 依托单位国家: 德国
• 项目类别: Research Training Groups
• 财政年份: 2005
• 资助国家: 德国
• 起止时间: 2004-12-31 至 2008-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/441943?language=en
• 关键词: GRK; 1076; Trustworthy; Software; Systems

Software increasingly influences our daily life, as we depend on a raising number of technical systems controlled by software. Additionally, the ubiquity of Internet-based applications increases our dependency on the availability of those software systems. Exemplarily consider complex embedded software control systems in the automotive domain, or IT systems for eGovernment and eHealth. Fortunately, the rise of the software industry creates jobs for academically trained professionals and generates an increasing proportion of the national creation of value. However, this increased dependency on software systems intensifies the consequences of software failures. Therefore, the successful deployment of software systems depends on the extent we can trust these systems. This relevance of trust is gaining awareness in industry. Several software vendor consortia plan to develop so-called Trusted Computing platforms. These current initiatives primarily focus on security, while trust is a much broader concept. In fact, trust is given by several properties, such as safety, correctness, reliability, availability, privacy, performance, and certification.Therefore, the graduate school will contribute to this comprehensive view on trusted software systems by bundling the Oldenburg computing science competences with those of computer law to develop new interdisciplinary scientific methods for creating trustworthy software systems and to educate highly qualified graduates who transfer into practice the required skills for constructing and certifying trustworthy software systems. From a technical point of view, the research programme of the Research Training Group builds on and advances the paradigm of component-based software engineering. The scientific methods to be developed in the Research Training Group vary according to the aspects of trust under investigation. For example, correctness is demonstrated by mathematical proofs while quantifiable quality properties, such as availability, reliability, and performance require analytical prediction models, which need additional empirical studies for calibration and validation. Generally, benefits of software engineering methods must be demonstrated empirically by case studies and controlled experiments.

软件越来越多地影响着我们的日常生活，因为我们依赖于越来越多的由软件控制的技术系统。此外，基于互联网的应用程序无处不在，增加了我们对这些软件系统的依赖。以汽车领域的复杂嵌入式软件控制系统或电子政务和电子医疗的IT系统为例。幸运的是，软件业的兴起为受过学术培训的专业人员创造了就业机会，并在国家创造的价值中占越来越大的比例。然而，这种对软件系统的依赖性的增加加剧了软件故障的后果。因此，软件系统的成功部署取决于我们可以信任这些系统的程度。这种信任的相关性正在获得业界的认识。一些软件供应商联盟计划开发所谓的可信计算平台。目前的这些举措主要侧重于安全，而信任则是一个更广泛的概念。事实上，信任是由几个属性赋予的，例如安全性、正确性、可靠性、可用性、隐私性、性能和认证。因此，研究生院将通过将奥尔登堡计算机科学能力与计算机法能力捆绑在一起，为创建可信赖的软件系统开发新的跨学科科学方法，并培养高素质的毕业生，将构建和认证可信赖的软件系统所需的技能转化为实践。从技术角度来看，研究培训小组的研究方案建立在基于组件的软件工程范例的基础上，并推动这一范例的发展。研究培训小组将开发的科学方法根据所调查的信任方面而有所不同。例如，正确性通过数学证明来证明，而可量化的质量属性，如可用性，可靠性和性能，需要分析预测模型，这需要额外的实证研究进行校准和验证。一般来说，软件工程方法的好处必须通过案例研究和控制实验来实证。