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

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

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.