Skip to content
Book Open access

Towards a Generative AI-Driven Environment for the Specification and Evaluation of IoT Software Systems Requirements

Jun 2026 · Engineering Interactive Computing System · pp. 23-31 · 0 citations · 48 references
Computer Science

TL;DR

The results indicate that GenAI tools have the potential to support the initial generation and review of requirements, reducing the initial documentation effort, however, supervision by requirements engineers remains essential.

Abstract

IoT software systems involve implicit and explicit interactions among humans, devices, and environments, which makes requirements specification and evaluation more complex and context-sensitive. Large Language Models (LLMs) emerge as potential tools to support Requirements Engineering (RE) activities, although empirical evidence on their application in IoT software systems remains limited. In this article, we analyze how Generative Artificial Intelligence (GenAI) tools can support the specification and quality evaluation of requirements in IoT software systems through a two-stage application study. First, we carried out a Rapid Review of the Scopus database to identify GenAI tools used in RE. Next, we conducted an experimental study in a real-world setting to develop a smart home system to support a person with physical disabilities. We used ChatGPT to generate (i) requirements from a vision document and a predefined specification structure, and (ii) the evaluation of the requirements against ISO/IEC/IEEE 29148 criteria. The model generated an initial specification containing 35 requirements (23 functional and 12 non-functional) and provided suggestions for improvement during the quality evaluation phase. Only a subset of the requirements required additional adjustments by the engineers. The results indicate that GenAI tools have the potential to support the initial generation and review of requirements, reducing the initial documentation effort. However, supervision by requirements engineers remains essential. As an additional contribution, this study proposes the SpecEval-IoT environment to automate the specification and evaluation of requirements for IoT software systems.

Read PDF

Similar papers

#software testing Preprint Aug 2026

A Fully Automated, Deployment-Aware Testing Pipeline for IoT-Based Automotive Applications

This work presents an end-to-end, deployment-aware testing pipeline for IoT-based automotive applications that combines requirement-driven test and code generation with large language model (LLM) and vision-language model (VLM) assistance, and human-in-the-loop curation to reduce manual effort and improve consistency.

Denesa Zyberaj, Roman Vintonyak, Pascal Hirmer et al. · 0 citations
Conference Jul 2026

LTL in the Wild: A Decade of Specifying Edge/IoT System Behaviors

Internet of Things (IoT) and edge systems induce complex, heterogeneous, and distributed environments where interconnected physical devices and localized computing resources exhibit intricate behaviors. Specifying behavioral requirements in such systems is inherently challenging. Temporal logic, notably Linear Temporal...

Angeliki Pantiora, Roman Bögli, Timo Kehrer et al. · 0 citations
Conference Jul 2026

Towards a Formal Verification of IoT System Models Designed in the Cisco Packet Tracer Tool

The Cisco Packet Tracer (CPT) is a network and IoT systems design and simulation tool developed by Cisco Systems inc. The tool is widely used in academia and the industry to develop and simulate complex IoT systems for training purposes. Although the graphical notations of CPT are appealing to system developers, the to...

François Siewe · 0 citations
Open access Aug 2026

A Framework for Evaluating GenAI Adoption and Use in Software Engineering

Generative Artificial Intelligence (GenAI) is increasingly integrated into software products to enable new features and user capabilities, from early exploration to operational deployment. GenAI adoption as a component within a software system introduces quality risks because GenAI outputs are probabilistic, prompt-sen...

Liang Yu, Emil Alégroth, Panagiota Chatzipetrou et al. · 0 citations
Open access Jul 2026

Design and Implementation of a FIWARE-Based Education Smart Data Model for University Campus Management

The study proposes a Smart Campus Education Data Model (SCEDM), which can be integrated into any FIWARE-based platform and is organized as a layered architecture that includes data acquisition, processing, and storage; analytics and decision support; application presentation; and security.

G. Nedeltcheva, Tsvetelin Stefanov, D. Chikurtev et al. · 0 citations
Open access Jul 2026

ReqCluster4IoT: a clustering method for functional requirements in Internet of Things applications

ReqCluster4IoT is proposed, a method for clustering functional requirements in IoT applications that helps practitioners identify how related functionalities are organized into clusters, reveal relationships among requirements, and associate each cluster with IoT-specific characteristics, thereby supporting requirement...

Bruno Carvalho da Silva, Rodrigo Pereira dos Santos, Davi Viana · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.