CSR: Small: Formal Foundations of Certifiable Mixed-criticality Systems

这项研究解决了嵌入式系统中两个重要趋势的融合所产生的问题。第一，许多安全关键型应用程序都受到认证要求的约束。第二，在单一计算平台上支持多个功能（通常具有不同的关键性）的集成架构的趋势日益增长。随着这些系统变得越来越复杂，获得所需的认证变得越来越具有挑战性。 该项目调查以下论文：调度理论在其目前的形式是不适合设计的混合关键性（MC）系统，受到多个认证要求，在这样的系统中，有效的资源利用需要开发从根本上新的调度技术。在调查这篇论文所采用的方法是首先确定与目前的方法，使认证繁琐的主要弱点。 一旦这些弱点被理解，提出了新的模型，代表MC系统，和量化的技术，用于构建这些系统的有效性的度量。系统的资源分配和调度问题，在可认证的系统进行研究，旨在提供定量的上级资源分配methodology.The成果，这个项目将使嵌入式安全关键系统设计人员提供的系统，使更有效地利用平台资源比目前可能的，并通过认证，在一个显着降低成本。 技术转让将通过正在进行的和新的工业合作以及继续参与旨在改进认证过程的工业倡议来实现。 结果将通过出版物、演示和教程以及在互联网上分发软件进行传播。

This research addresses issues arising from the convergence of two important trends in embedded systems. One, many safety-critical applications are subject to certification requirements. Two, there is an increasing trend towards integrated architectures that support multiple functionalities, often of different criticalities, upon a single computing platform. As such systems become increasingly more complex, obtaining required certifications becomes more challenging. This project investigates the following thesis: Scheduling theory in its current form is unsuited to the design of such mixed-criticality (MC) systems that are subject to multiple certification requirements; efficient resource use in such systems requires the development of fundamentally new scheduling techniques. The methodology adopted in investigating this thesis is to first identify major weaknesses with current approaches, that render certification cumbersome. Once these weaknesses are understood, new models are proposed for representing MC systems, and metrics derived for quantifying the effectiveness of techniques for building these systems. A systematic study of resource allocation and scheduling issues in certifiable systems is then conducted, aimed at providing quantitatively superior resource allocation methodologies.The outcomes of this project will enable embedded safety-critical systems designers to provide systems that make far more efficient use of platform resources than is currently possible, and that pass certification at a significantly lower cost. Technology transfer will be achieved via ongoing and new industrial collaborations, and by continued participation in industry initiatives aimed at improving the certification process. Results will be disseminated via publications, presentations and tutorials, and distribution of software over the internet.