CSR: Small: Dynamically Customizable Safety-Critical Embedded Systems

许多现代消费产品（例如智能手机）的主要功能在很大程度上由在其上运行的软件定义。 这样的功能通常是可定制的，并且通常是动态的，因为它们可以在设备的寿命期间经由软件更新来修改。 该项目将扩展执行这种动态定制的安全关键系统的能力，从而使人们能够定制安全关键嵌入式系统，并在需要时扩展其功能。将动态可定制性扩展到安全关键系统的主要挑战来自于需要确保持续的正确性，功能和时间，在更新一个或多个组件时对系统的所有组件进行更新。 该项目旨在满足这一需求相结合的正式方法，这是特别适合于处理功能的正确性，与实时调度理论，主要是处理时间的正确性。因此，该项目的主要智力贡献是综合考虑形式方法和调度理论，以开发安全有效地实现动态可定制性的方法。允许安全关键系统的动态可定制性的框架的工业适用性潜在地是巨大的，这个项目的发现将使之成为可能。 将在项目网站上提供执行算法结果的软件;为该项目制作的所有软件都将是开放源码的。 所获得的结果将纳入技术出版物、调查文件和观点文章。将为项目所在机构的相关课程编写教材，并与其他地方感兴趣的教师分享。 出版物，开源软件和本研究产生的教学材料将提供给公众在网站上的URL https://sites.wustl.edu/dcsces/，也将保留在一个Subversion（SVN）存储库在圣路易斯华盛顿大学，无论是在项目的持续时间和至少5年后完成。 复制本研究结果所需的数字文物也将被分配数字对象标识符（DOI），并在华盛顿大学的开放奖学金门户网站https://openscholarship.wustl.edu/存档，以及在www.example.com项目网站上沿着其DOI。该奖项反映了NSF的法定使命，并被认为值得通过使用基金会的智力价值和更广泛的影响审查标准进行评估来支持。https://sites.wustl.edu/dcsces/

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.