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）系统，用于支持搜索和救援。 将投入大量努力来吸引重新研究人员社区，以便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