CSR: Small: Dynamically Customizable Safety-Critical Embedded Systems

CSR：小型：动态可定制的安全关键型嵌入式系统

基本信息

批准号：
1814739
负责人：
Sanjoy Baruah
金额：
$ 50.18万
依托单位：
Washington University
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
2018
资助国家：
美国
起止时间：
2018-09-01 至 2022-08-31
项目状态：
已结题

来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=1814739&HistoricalAwards=false
关键词：
CSR Small Dynamically Customizable Safety

项目摘要

Major functionalities of many modern consumer products, such as smartphones are largely defined by the software that runs upon them. Such functionalities are typically customizable, and are often dynamic in the sense that they may be modified via software updates over the lifetime of the device. This project will extend the ability to perform such dynamic customization to safety-critical systems as well, thereby enabling one to customize safety-critical embedded systems and to extend their functionalities as and when a need arises for doing so.The main challenge in extending dynamic customizability to safety-critical systems arises from the need to ensure the continued correctness, both functional and temporal, of all components of a system upon updating one or more components. This project seeks to meet this need by combining formal methods, which are particularly well-suited to dealing with functional correctness, with real-time scheduling theory, which primarily deals with timing correctness. The major intellectual contribution of this project is thus integrated consideration of formal methods and scheduling theory to develop methodologies for enabling dynamic customizability in a safe and effective manner.The benefits of dynamic customizability have been made evident by its success in consumer products; the industrial applicability of a framework allowing dynamic customizability of safety-critical systems is potentially enormous, and the findings of this project will enable this. Software implementing algorithmic findings will be made available on the project web-site; all software produced for this project will be open-source. Results obtained will be incorporated into technical publications, survey papers, and perspectives articles. Teaching materials will be developed for relevant courses at the project home institution, and shared with interested instructors elsewhere. Publications, open-source software, and teaching materials produced by this research will be made available to the public on the web at URL https://sites.wustl.edu/dcsces/ and also will be retained in an Subversion (SVN) repository at Washington University in St. Louis, both for the duration of the project and for at least 5 years following its completion. Digital artifacts needed to reproduce results of this research also will be assigned Digital Object Identifiers (DOIs) and archived in Washington University's Open Scholarship web portal at https://openscholarship.wustl.edu/ as well as being provided on the https://sites.wustl.edu/dcsces/ project website along with their DOIs.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.

许多现代消费产品（例如智能手机）的主要功能在很大程度上由运行的软件定义。这些功能通常是可自定义的，并且通常是动态的，因为它们可以在设备的生命周期内通过软件更新进行修改。该项目还将扩展对安全至关重要系统执行此类动态自定义的能力，从而使一个项目可以自定义安全临界嵌入式系统并扩展其功能，并在需要进行时，将动态定制性扩展到持续的complosements和systems compentents of Systems的需求中，将动态定制性扩展到安全性系统上的主要挑战。该项目试图通过结合形式方法来满足这种需求，正式方法特别适合处理功能正确性，以及实时调度理论，该理论主要涉及时间正确性。因此，该项目的主要智力贡献是对形式方法和调度理论的整合，以开发以安全有效的方式启用动态可定制性的方法。动态可自定义性的好处已通过其在消费产品方面的成功而显而易见。允许安全至关重要系统的动态可自定义性的框架的工业适用性可能是巨大的，该项目的发现将使这一点。实施算法发现的软件将在项目网站上提供；该项目生产的所有软件将是开源的。获得的结果将纳入技术出版物，调查论文和观点文章中。教学材料将在项目家庭机构的相关课程中开发，并与其他地方有兴趣的讲师共享。该研究生产的出版物，开源软件和教材将在网络上向公众提供，网址为https://sites.wustl.edu/dcsces/，并将在圣路易斯的华盛顿大学（SVN）库存库中保留在圣路易斯的subversion（SVN）库中，均在该项目的持续时间内，至少在5年之后完成。重现这项研究结果所需的数字文物还将分配数字对象标识符（DOIS），并在华盛顿大学的开放奖学金Web门户网站上存档，网址为https://openscholarship.wustl.edu/，并在https://sites.wustl.wustl.eedu/dcsces/sprotight of Droiss.provectors.provectors.provectors.do.wostl.eedu/dcsces/drow do project.f.认为值得通过基金会的智力优点和更广泛影响的评论标准来评估值得支持。