CRII: SHF: Leveraging Synthesis for Dynamic Design Space Analysis

CRII：SHF：利用综合进行动态设计空间分析

• 批准号: 1755890
• 负责人: Hamid Bagheri
• 金额: $ 17.5万
• 依托单位: University of Nebraska-Lincoln
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2018
• 资助国家: 美国
• 起止时间: 2018-02-01 至 2021-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1755890&HistoricalAwards=false
• 关键词: CRII; SHF; Leveraging; Synthesis; Dynamic

Designing large, complex systems that demand certain functional and quality of service (QoS) objectives remains a significant engineering problem. Design space exploration and tradeoff analysis can play a pivotal role by revealing designs that human designers might miss, illuminating sensible and nonsensical tradeoffs, and helping decision-makers to balance tradeoffs that design decisions impose on diverse stakeholders. Despite its importance, systematic tradeoff design space analysis is perhaps one of the most elusive activities in the design of complex systems, as the cost, effort, and discipline needed to conduct tradespace analysis can be extremely high. This research devises a suite of fully automated techniques to foster systematic analysis of design tradeoff spaces of software systems. By making tradespace analysis of complex software designs less expensive to conduct and more scalable, this project enables the vibrant software industry to improve the quality of its products.The research project contains both analytical and empirical components. The analytical approaches involve developing models and algorithms that can discover design alternatives via automatically synthesizing spaces of design solutions from designers' high-level inputs, comparatively analyze such design spaces via automatically subjecting each design alternative to the execution of diverse evaluation operations, and facilitate support for design space evolution through leveraging a variety of optimization mechanisms. The empirical evaluation component contains conducting experiments in multiple steps: controlled experiments by means of test beds and experiments in the context of real-world systems. The project advances the state-of-the-art by making synthesis-driven software design more scalable and cost effective. The principles resulting from this research will help expand our understanding of the application domains and settings in which synthesis-based approach to design tradeoff space analysis can be practically used.

设计需要特定功能和服务质量 (QoS) 目标的大型复杂系统仍然是一个重要的工程问题。设计空间探索和权衡分析可以发挥关键作用，揭示人类设计师可能会错过的设计，阐明合理和荒谬的权衡，并帮助决策者平衡设计决策强加给不同利益相关者的权衡。尽管系统权衡设计空间分析很重要，但它可能是复杂系统设计中最难以捉摸的活动之一，因为进行权衡空间分析所需的成本、精力和纪律可能非常高。 这项研究设计了一套全自动技术来促进对软件系统设计权衡空间的系统分析。通过降低复杂软件设计的交易空间分析的执行成本并提高其可扩展性，该项目使充满活力的软件行业能够提高其产品的质量。该研究项目包含分析和实证部分。分析方法涉及开发模型和算法，这些模型和算法可以通过自动合成来自设计师高级输入的设计解决方案空间来发现设计替代方案，通过自动使每个设计替代方案执行不同的评估操作来比较分析此类设计空间，并促进支持通过利用各种优化机制来实现设计空间的演变。实证评估部分包含分多个步骤进行实验：通过测试台进行的受控实验以及在现实世界系统中进行的实验。该项目通过使综合驱动的软件设计更具可扩展性和成本效益来推进最先进的技术。这项研究得出的原理将有助于扩大我们对应用领域和设置的理解，在这些应用领域和设置中可以实际使用基于综合的设计权衡空间分析方法。

项目成果

Scalable analysis of interaction threats in IoT systems

物联网系统中交互威胁的可扩展分析

• DOI: 10.1145/3395363.3397347
• 发表时间: 2020-07-13
• 期刊: Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis
• 作者: Mohannad J. Alhanahnah;Clay Stevens;H. Bagheri
• 通讯作者: H. Bagheri

Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic

白金级：在关系逻辑的有界分析中重用约束解决方案

• DOI: 10.1007/978-3-030-45234-6_2
• 发表时间: 2020-03-13
• 期刊: Fundamental Approaches to Software Engineering
• 作者: Zheng G;Bagheri H;Rothermel G;Wang J
• 通讯作者: Wang J

Reducing run-time adaptation space via analysis of possible utility bounds

通过分析可能的效用界限来减少运行时适应空间

• DOI: 10.1145/3377811.3380365
• 发表时间: 2020-06
• 期刊: ICSE '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering
• 作者: Stevens, Clay;Bagheri, Hamid
• 通讯作者: Bagheri, Hamid

Modeling and testing a family of surgical robots: an experience report

手术机器人系列的建模和测试：经验报告

• DOI: 10.1145/3236024.3275534
• 发表时间: 2018-11
• 期刊: the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’18
• 作者: Mansoor, Niloofar;Saddler, Jonathan A.;Silva, Bruno;Bagheri, Hamid;Cohen, Myra B.;Farritor, Shane
• 通讯作者: Farritor, Shane

Efficient, Evolutionary Security Analysis of Interacting Android Apps

交互 Android 应用程序的高效、渐进式安全分析

• DOI: 10.1109/icsme.2018.00044
• 发表时间: 2018-09
• 期刊: International Conference on Software Maintenance and Evolution (ICSME 2018
• 作者: Bagheri, Hamid;Wang, Jianghao;Aerts, Jarod;Malek, Sam
• 通讯作者: Malek, Sam