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

CSR：小型：可认证混合关键系统的正式基础

• 批准号: 1016954
• 负责人: Sanjoy Baruah
• 金额: $ 49.99万
• 依托单位: University of North Carolina at Chapel Hill
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2010
• 资助国家: 美国
• 起止时间: 2010-08-01 至 2014-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1016954&HistoricalAwards=false
• 关键词: CSR; Small; Formal; Foundations; Certifiable

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.

这项研究解决了嵌入式系统中两个重要趋势的融合引起的问题。第一，许多关键安全申请受认证要求的约束。第二，在单个计算平台上支持多种功能（通常具有不同批判性）的综合体系结构的趋势越来越大。随着这些系统变得越来越复杂，获得所需的认证变得更具挑战性。 该项目调查了以下论文：以其当前形式调度理论不适合设计受到多重认证要求的这种混合批判性（MC）系统的设计；在此类系统中有效的资源使用需要开发从根本上进行新的调度技术。调查本论文所采用的方法是首先用当前方法确定主要的弱点，这使认证变得麻烦。 一旦理解了这些弱点，就提出了用于代表MC系统的新模型，并得出了用于量化构建这些系统技术有效性的指标。然后进行了对可认证系统中资源分配和调度问题的系统研究，旨在提供数量上优越的资源分配方法。该项目的结果将使嵌入式安全临界系统设计人员能够提供比当前可能更有效地使用平台资源的系统，并以明显较低的成本通过优先确保证书。 技术转移将通过正在进行的和新的工业合作来实现，并继续参与旨在改善认证过程的行业计划。 结果将通过出版物，演示文稿和教程以及通过Internet进行分发来传播。