EAGER: SHF: A Community Case Environment for Empowering Transformative Requirements Engineering Research

EAGER：SHF：支持变革性需求工程研究的社区案例环境

• 批准号: 1741781
• 负责人: Jane Huang
• 金额: $ 8.5万
• 依托单位: University of Notre Dame
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2017
• 资助国家: 美国
• 起止时间: 2017-06-01 至 2019-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1741781&HistoricalAwards=false
• 关键词: EAGER; SHF; Community; Case; Environment

Requirements Engineering (RE) is the part of the field of Software Engineering that is concerned with "getting the right system" (requirements satisfaction) as well as "getting the system right" (correctness). For Cyberphysical Systems (CPS), system requirements play a big role in specifying and achieving functionality, runtime adaptation, design-time evolution of requirements, environmental assumptions, safety assurance cases, and the like. In order to bring RE to CPS, the research community is in need of shared infrastructure and case studies to pursue its research agenda. The proposed project is to create a realistic environment for supporting research in software evolution, safety assurance of product-lines, runtime-adaptation, requirements modeling, safety-assurance, and related research. The environment will be called "Dronology" an Unmanned Autonomous Vehicle (UAV) system for supporting search and rescue. Significant effort will be invested in engaging a community of RE researchers so that Dronology meets their current and future research needs. The work involves a combination of research, infrastructure development, and educational factors. It will deliver a fully-working system with an initial set of features to enable safe, coordinated flight of both virtual and physical UAVs in potentially populated areas. In addition, an extensive set of supporting artifacts will be developed that include requirements, domain descriptions, architecture documents, variability points, and safety assurance cases. Open research questions will be identified and analyzed, and then reflected in the composition of Dronology artifacts. The project will enable this community of users to also participate in contributing artifacts and code. The PI and several other members of the RE community plan to teach courses using Dronology and to cooperatively develop curriculum and share experiences. UAV/drones are an attractive, hands-on application area to engage students in RE.

需求工程 (RE) 是软件工程领域的一部分，涉及“获得正确的系统”（需求满足）以及“获得正确的系统”（正确性）。 对于网络物理系统（CPS）来说，系统需求在指定和实现功能、运行时适应、需求的设计时演变、环境假设、安全保证案例等方面发挥着重要作用。为了将 RE 引入 CPS，研究界需要共享基础设施和案例研究来推进其研究议程。 拟议的项目旨在创建一个现实的环境，以支持软件演化、产品线安全保证、运行时适应、需求建模、安全保证和相关研究方面的研究。 该环境将被称为“Dronology”，是一种支持搜索和救援的无人驾驶飞行器（UAV）系统。 我们将投入大量精力来吸引 RE 研究人员社区的参与，以便 Dronology 满足他们当前和未来的研究需求。这项工作涉及研究、基础设施开发和教育因素的结合。它将提供一个功能齐全的系统，具有一组初始功能，使虚拟和物理无人机能够在潜在人口稠密的地区安全、协调地飞行。此外，还将开发一系列广泛的支持工件，包括需求、领域描述、架构文档、可变点和安全保证案例。开放的研究问题将被识别和分析，然后反映在 Dronology 工件的构成中。 该项目将使该用户社区也能够参与贡献工件和代码。 PI 和 RE 社区的其他几位成员计划使用 Dronology 教授课程，并合作开发课程和分享经验。无人机是吸引学生参与 RE 的一个有吸引力的实践应用领域。

项目成果

Towards a Model-Integrated Runtime Monitoring Infrastructure for Cyber-Physical Systems

面向网络物理系统的模型集成运行时监控基础设施

• DOI: 10.1109/icse-nier52604.2021.00028
• 发表时间: 2021
• 期刊: International Conference on Software Engineering: New Ideas and Emerging Results
• 作者: Vierhauser, Michael;Marah, Hussein;Garmendia, Antonio;Cleland-Huang, Jane;Wimmer, Manuel
• 通讯作者: Wimmer, Manuel

Discovering, Analyzing, and Managing Safety Stories in Agile Projects

发现、分析和管理敏捷项目中的安全故事

• 发表时间: 2018
• 期刊: 26th IEEE International Requirements Engineering Conference
• 作者: Cleland-Huang, Jane;Vierhauser, Michael
• 通讯作者: Vierhauser, Michael

Dronology: an incubator for cyber-physical systems research

Dronology：网络物理系统研究的孵化器

• DOI: 10.1145/3183399.3183408
• 发表时间: 2018
• 期刊: 40th International Conference on Software Engineering: New Ideas and Emerging Results Track
• 作者: Cleland-Huang, Jane;Vierhauser, Michael;Bayley, Sean
• 通讯作者: Bayley, Sean

Monitoring CPS at Runtime - A Case Study in the UAV Domain

运行时监控 CPS - 无人机领域的案例研究

• DOI: 10.1109/seaa.2018.00022
• 发表时间: 2018
• 期刊: Euromicro Conference on Software Engineering and Advanced Applications
• 作者: Vierhauser, Michael;Cleland-Huang, Jane;Bayley, Sean;Krismayer, Thomas;Rabiser, Rick;Grunbacher, Paul
• 通讯作者: Grunbacher, Paul