In the days of AI, IoT, and human-cyber-physical systems, the environment, in which the software operates, becomes more diverse and evolves rapidly with stakeholders' changing needs. We believe it is high time for our community to revisit and reflect on the impact and implications of the so-called "E=mc2" theory in RE, whose basic tenet can be best summarized by Jackson's proposition: "requirements are located in the environment". This workshop is aimed at bringing interested researchers and practitioners together, exchanging ideas and visions, and exploring a set of open problems in the coming years. The workshop will include an invited keynote, paper presentations, and discussions. We plan to take advantage of the in-person gathering to organize a working session among all the participants to collaboratively discuss an exemplar of smart home where various devices and services need to work together for achieving users' requirements. [top]
Congratulations to the authors of the following accepted papers! The preliminary program is listed below; all times are local.
9:30am-9:40am Workshop Opening
9:40am-10:30am Keynote: Towards the Specification of Rust Compiler by Yijun Yu
10:30am-11:00am Coffee Break
11:00am-12:30pm Paper Presentations (about 20 minutes per paper, including Q&As)
From Causal Graphs to Problem Diagrams: Enhancing Safety Requirement Modeling with LLM by Liyuan Zhang, Hongbin Xiao, and Zhi Li
ConSum4DCR: A Q&A Knowledge Extraction Method for Developer Chatroom Environments by Yankun Jin, Ye Wang, Qiao Huang, Lingfeng Bao, Siyuan Zhou, and Bo Jiang
Prompting LLM for Embedded SRS Generation: A Case Study of Elder Care System by Chunhui Wang, Jiaqi Zhao, and Zhi Jin
Automatic Generation of Structured Requirements for Aerospace Embedded Systems Using LLMs by Jingkai Lin, Yixing Luo, Xiaohong Chen, Bin Gu, and Zhi Jin
12:30pm-2:00pm Lunch
2:00pm-3:30pm Paper Presentations (about 20 minutes per paper, including Q&As)
PF-ENV: Extending Problem Frames for AI-Enabled System Requirements Environment Modeling by Jian Tu, Juntao Gao, Yilong Yang, and Runkun Zhang
ME4PD: A Multi-Modal and Dynamically Extensible System for Problem Frame Construction by Yang Hua, Hongbin Xiao, and Zhi Li
Constructing Cross-Level Traceability Links in the Automotive Domain: A Case Study by Wei Xie, Yi Zhao, Min Zhang, and Yinghua Huang
Research on requirement vulnerability detection method based on graph neural network and counterfactual explanation by Kang Liu, Bo Huang, Shenao Wu, Yujie Luo, Jin Liu, and Gang Chen
3:30pm-4:00pm Coffee Break
4:00pm-5:30pm Paper Presentations (about 20 minutes per paper, including Q&As) + Discussions + Closing
AirReq: Automated Requirements Smell Detection and Elimination for Commercial Aircraft Systems by Tianyi Wang, Weiru Wang, and Yilong Yang
Classification and Description of AI Component Requirements in Autonomous Driving System by Ruolin Gong, Qin Li, and Yu Zhang
Discussions
Workshop Closing
Modeling the environment will be more and more important in RE when the systems will situate in the open world and with the human in the loop. For example, IoT-enabled systems, cyber-physical systems, AI-based systems, etc. are expected to be able to perceive the changes of an open and dynamic environment, respond to changes through architectural transformations, and exhibit context-aware, adaptive, and trustworthy behaivors.
Specifically for the AI-based systems, the components built by machine learning in fact are black boxes. It is not possible to structuring their functions by examining their architectures (consisting of a hierarchical neural networks). Their functions can only be represented by the effects imposed on their operational and interacting environment. These effects can in turn define the tasks of model training, validation, testing, deployment, and operation. When mapping the requirements into the environment properties or assertions, the benefits include natural decomposition and structuring of the problem. The "Environment-Driven Requirements Engineering" workshop thus solicits position, short, and full papers to provoke the discussions about:
Other emerging topics are encouraged and welcomed. We expect each position or short paper to be up to 4 pages long, whereas a long paper to be up to 8 pages long. However, if you need more or less space, feel free to contact the EnviRE'25 organizers. [top]
Please refer to the RE'25 page for formatting instructions, and submit your EnviRE'25 papers to: https://easychair.org/conferences/?conf=envire2025 . [top]
All deadlines are 23:59 Anywhere on Earth (Standard Time). [top]
Mounifah Alenazi, University of Hafr Albatin, Saudi Arabia
Shaukat Ali, Simula Research Laboratory and Oslo Metropolitan University, Norway
Tanmay Bhowmik, Mississippi State University, USA
Eunsuk Kang, Carnegie Mellon University, USA
Tong Li, Beijing University of Technology, China
Zhi Li, Guangxi Normal University, China
Yilong Yang, Beihang University, China
Xiaohong Chen, East China Normal University, China [contract Dr. Chen via email xhchen@sei.ecnu.edu.cn]
Zhi Jin, Peking University, China [zhijin@pku.edu.cn]
Yijun Yu, The Open University, UK [yijun.yu@open.ac.uk]
Nan Niu, University of Cincinnati, USA [nan.niu@uc.edu]