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.

需求工程(Requirements Engineering，RE)是软件工程领域中与“获得正确的系统”(需求满足)和“获得正确的系统”(正确性)相关的部分。对于网络物理系统(CPS)，系统需求在指定和实现功能、运行时适应、需求的设计时演变、环境假设、安全保证案例等方面发挥着重要作用。为了将可再生能源带入合作伙伴关系，研究界需要共享的基础设施和案例研究，以推进其研究议程。建议的项目是为支持软件演化、产品线安全保证、运行时适配、需求建模、安全保证和相关研究的研究创造一个现实的环境。该环境将被称为“无人机”--一种支持搜索和救援的无人驾驶飞行器(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