Architecture Discovery and Analysis of Real-time Software

该项目是NSF-FDA常驻学者(SIR)计划下的一项合作。该项目侧重于计算机辅助方法，通过对源代码中存在的结构进行反向架构，帮助分析实时网络物理系统(CP)的软件特性。这个项目的新想法是从源代码中提取和使用元素，以构建体系结构分析和设计语言(AADL)模型。这些模型被用来系统地评估新出现的属性(如安全性、可调度性、端到端延迟和安全性)，使用AADL？S能力来分析软件？S体系结构。在实践中，AADL模型必须手动构建，这是繁琐的。在这个项目中，我们寻求在AADL模型和逆向工程建筑结构之间架起一座新的桥梁，以便能够以自动化的方式构建AADL模型。使用这些模型，可以使用AADL系统地分析实时系统的实现的紧急特性。该项目的更广泛的影响是，利用该项目的贡献的基于软件的CP有望在我们的日常生活中更安全地使用。从工程角度来看，由于新的自动化支持，这项工作使组织能够在更短的时间内评估软件属性，如实时系统的安全性和安全性。此外，该项目正在开发促进或阻碍实时CPS系统安全的软件结构目录。工程师可以使用该目录在设计时构建经过正式验证的软件结构，从而改进构建和分析新CP的方式。

This project is a collaboration under the NSF-FDA Scholar-In-Residence (SIR) program. The project focuses on computer-aided methods to facilitate the analysis of software properties of real-time cyber physical systems (CPS) by reverse architecting structures present in the source code. The new idea of this project is to extract and use elements from the source code in order to build architecture analysis and design language (AADL) models. These models are used to systematically evaluate emerging properties (e.g., safety, schedulability, end-to-end latency, and security) using AADL?s capability to analyze the software?s architecture. In practice, AADL models have to be built manually, which is tedious. In this project, a new bridge between AADL models and reverse-engineered architectural structures is sought so that AADL models can be built in an automated fashion. Using these models, implementations of real-time systems can be systematically analyzed for emergent properties using AADL.The broader impact of this project is that software-based CPS that leverage the contributions of this project are expected to be safer to use in our daily lives. From an engineering standpoint, the work enables organizations to evaluate software properties such as safety and security of real-time systems in less time due to new automation support. In addition, the project is developing a catalog of software structures that facilitate or impede real-time CPS system's safety. The catalog can be used by engineers to build in formally verified software structures at design time, thereby advancing the manner in which new CPS are built and analyzed.