权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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

项目成果

期刊论文数量（8）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

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

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

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

Detecting Vulnerable Android Inter-App Communication in Dynamically Loaded Code

DOI：
10.1109/infocom.2019.8737637
发表时间：
2019-04
期刊：
IEEE INFOCOM 2019 - IEEE Conference on Computer Communications
影响因子：
0
作者：
Mohannad J. Alhanahnah;Qiben Yan;H. Bagheri;Hao Zhou;Yutaka Tsutano;W. Srisa-an;Xiapu Luo
通讯作者：
Mohannad J. Alhanahnah;Qiben Yan;H. Bagheri;Hao Zhou;Yutaka Tsutano;W. Srisa-an;Xiapu Luo

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
影响因子：
0
作者：
Zheng G;Bagheri H;Rothermel G;Wang J
通讯作者：
Wang J

An evolutionary approach for analyzing Alloy specifications

分析合金规格的进化方法

DOI：
10.1145/3238147.3240468
发表时间：
2018
期刊：
Proceedings of the 2018 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE ’18
影响因子：
0
作者：
Wang, Jianghao;Bagheri, Hamid;Cohen, Myra B.
通讯作者：
Cohen, Myra B.

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

DOI：
10.1145/3236024.3275534
发表时间：
2018-10
期刊：
Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
影响因子：
0
作者：
Niloofar Mansoor;Jonathan A. Saddler;Bruno Vieira Resende e Silva;H. Bagheri;Myra B. Cohen;S. Farritor
通讯作者：
Niloofar Mansoor;Jonathan A. Saddler;Bruno Vieira Resende e Silva;H. Bagheri;Myra B. Cohen;S. Farritor