SHF: Small: Automating Improvement of Development Environments for Cyber-Physical Systems (AIDE-CPS)

SHF：小型：自动改进网络物理系统的开发环境 (AIDE-CPS)

• 批准号: 1736323
• 负责人: Taylor Johnson
• 金额: $ 45.74万
• 依托单位: Vanderbilt University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2016
• 资助国家: 美国
• 起止时间: 2016-08-16 至 2019-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1736323&HistoricalAwards=false
• 关键词: SHF; Small; Automating; Improvement; Development

People and society depend on cyber physical systems in diverse domains from transportation systems, such as automotive and aerospace, to medical devices. Due to the safety-critical nature of these cyber-physical systems, their safe and reliable operation is essential. The reliable and correct operation of development tools used to design cyber-physical systems is also vital, since defects in development tools have the capability to culminate in defects in cyber-physical systems themselves. While extensive research efforts exist to address problems such as state-space explosion for models of cyber-physical systems, less effort has been invested in developing methods to ensure correctness of development environments for cyber-physical systems. The design and engineering process for cyber-physical systems (CPS) relies on numerous artifacts, model translation layers, programming languages, and development tools, which are often assumed to be correct but are in fact not. This project develops randomized differential testing and fuzzing methods to automatically find candidate defects in CPS development environments. The project investigates new formal methods and testing approaches to automate improvement of CPS development environments. This framework relies on three primary efforts: randomly generating CPS models, translating CPS models between different development tools, and comparing both dynamic and symbolic executions of CPS models. The framework increases confidence in the correctness of development environments which aids in realizing the societal benefits of cyber-physical systems.

人们和社会依赖于从汽车和航空航天等运输系统到医疗设备等不同领域的网络物理系统。由于这些网络物理系统的安全关键性，它们的安全可靠运行至关重要。用于设计信息物理系统的开发工具的可靠和正确操作也至关重要，因为开发工具的缺陷有可能导致信息物理系统本身的缺陷。虽然存在广泛的研究工作，以解决诸如网络物理系统模型的状态空间爆炸等问题，但在开发方法以确保网络物理系统开发环境的正确性方面投入的努力较少。信息物理系统（CPS）的设计和工程过程依赖于许多工件、模型转换层、编程语言和开发工具，这些通常被认为是正确的，但实际上并非如此。这个项目开发了随机差分测试和模糊方法，以自动发现CPS开发环境中的候选缺陷。该项目研究新的正式方法和测试方法，以自动改进CPS开发环境。这个框架依赖于三个主要的努力：随机生成CPS模型，在不同的开发工具之间转换CPS模型，并比较CPS模型的动态和符号执行。该框架增强了对开发环境正确性的信心，有助于实现网络物理系统的社会效益。