Collaborative Research: CCRI: Planning-C: A Community for Configurability Open Research and Development (ACCORD)
Collaborative Research: CCRI: Planning-C: A Community for Configurability Open Research and Development (ACCORD)
批准号:
2234909
负责人:
Paul Gazzillo
金额:
$4.99万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2023
资助国家:
美国
项目状态:
已结题
起止时间:
2023-06-01 至 2024-11-30
中文摘要
今天的大多数软件都是可配置的,这意味着它可以根据不同的用户目的进行定制。虽然可配置性使软件变得灵活,但它可以在开发的所有阶段对软件的可靠性、正确性、可用性、性能和安全性产生影响。因此,大量的研究人员正在研究如何在计算机科学的多个子学科中探索、采样、预测和推理可配置系统。这项协作规划提案将来自爱荷华州立大学和中佛罗里达大学的研究人员聚集在一起,为集体研究协作-可配置性开放研究和开发社区(ACCORD)奠定基础,该社区将有助于集中关于可配置性的研究,并创建共享的方法、工具和解决方案。该提案包括调查研究社区的活动,创建跨不同子学科的意识,并通过研讨会和外展的互动记录共同的目标和需求。此外,活动将开发一个公共框架、一组工具和词汇表,包括体现一致性本质的范例构件。最终的ACCORD基础设施将提供跨不同社区工作的软件工具、模型和解决方案,以及仅通过搜索文献无法获得的教程和元数据信息。针对不同类型可配置系统的基准将突出功能、安全和性能挑战。课堂中将使用有关可配置性和初步一致性人工制品的概念。研究生和本科生都将参与设计和人工制品的原型制作,并将帮助建立对现有可配置性研究的调查。将为不同的分科举办工作坊。来自爱荷华州立大学第一年荣誉本科生项目和中佛罗里达大学K-12露营连接项目的学生将参与与该项目相关的活动。该计划将包括对非CISE学科的推广,例如生物信息学社区的研究人员,他们可以从ACCORD的最终发展中受益。该项目的网站可以在https://faculty.sites.iastate.edu/mcohen/accord.上找到它将在这笔赠款的有效期内保留。所有重要的文物都将使用永久数字对象识别符(DOI)存档。这一奖项反映了NSF的法定使命,并通过使用基金会的智力优势和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
Most software today is configurable, meaning it can be customized for different user purposes. While configurability makes software flexible, it can have an impact on software reliability, correctness, usability, performance, and security across all stages of development. Hence, a large community of researchers are studying ways to explore, sample, predict and reason about configurable systems in multiple sub-disciplines of computer science. This collaborative planning proposal brings together researchers from Iowa State University and the University of Central Florida to lay the groundwork for a collective research collaborative, A Community for Configurability Open Research and Development (ACCORD), that will help to centralize research on configurability and to create shared approaches, tools and solutions.The proposal includes activities to survey the research community, create awareness across different sub-disciplines, and document common goals and needs via interaction through workshops and outreach. In addition, activities will develop a common framework, set of tools, and vocabulary, including exemplar artifacts that embody the nature of ACCORD. The final ACCORD infrastructure will provide software tools, models, and solutions that work across different communities, along with tutorials and meta-data information that is not obtainable by only searching the literature. Benchmarks for different types of configurable systems will highlight functional, security and performance challenges.Concepts on configurability and preliminary ACCORD artifacts will be used in the classroom. Both graduate and undergraduate students will be involved in the prototyping of designs and artifacts and will help to build a survey of existing research in configurability. Workshops will be held for different sub-disciplines. Students from the Iowa State first-year honors undergraduate program and the University of Central Florida K-12 Camp Connect will be involved in activities related to this project. The planning will include outreach to non-CISE disciplines, e.g. researchers in the Bioinformatics community, who can benefit from the eventual development of ACCORD.The project website can be found at: https://faculty.sites.iastate.edu/mcohen/accord. It will be retained past the lifetime of this grant. All significant artifacts will be archived with a permanent digital object identifier (DOI).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.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
CAREER: Inferring and Securing Software Configurations through Automated Reasoning
-
批准号:1941816
-
项目类别:Continuing Grant
-
资助金额:$41.85万
-
财政年份:2020
-
负责人:Paul Gazzillo
-
依托单位:
SHF: Small: Collaborative Research: Static Analysis Infrastructure for Variability-Aware Bug Detection and Translation of Highly-Configurable Software Systems
-
批准号:1816614
-
项目类别:Standard Grant
-
资助金额:$22.91万
-
财政年份:2018
-
负责人:Paul Gazzillo
-
依托单位:
SHF: Small: Collaborative Research: Static Analysis Infrastructure for Variability-Aware Bug Detection and Translation of Highly-Configurable Software Systems
-
批准号:1840934
-
项目类别:Standard Grant
-
资助金额:$22.91万
-
财政年份:2018
-
负责人:Paul Gazzillo
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Research on Quantum Field Theory without a Lagrangian Description
-
批准号:24ZR1403900
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:SATOSHI NAWATA
-
依托单位:
Cell Research
-
批准号:31224802
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:程磊
-
依托单位:
Cell Research
-
批准号:31024804
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:程磊
-
依托单位:
Cell Research (细胞研究)
-
批准号:30824808
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2008
-
负责人:张爱兰
-
依托单位:
Research on the Rapid Growth Mechanism of KDP Crystal
-
批准号:10774081
-
项目类别:面上项目
-
资助金额:45.0万元
-
批准年份:2007
-
负责人:滕冰
-
依托单位: