Automatic Generation of Structured Requirements for Aerospace Embedded Systems Using LLMs

With the growing complexity of aerospace embedded systems, effective structuring of software requirements has become increasingly critical. Traditional manual approaches to requirements structuring are labor-intensive and error-prone, hindering efficiency and accuracy. Although large language models (LLMs) show promise in automating this process, their limited domain-specific knowledge constrains their effectiveness in the aerospace domain. To address these limitations, we propose an automated approach for structuring aerospace embedded software requirements, integrating explicit aerospace domain knowledge with the Monitor-Analyze-Plan-Execute (MAPE) architecture. This architecture systematically guides LLMs in accurately identifying and formulating structured requirements. Empirical evaluations demonstrate that our proposed method significantly enhances modeling efficiency while achieving accuracy comparable to manual approaches, underscoring its practical applicability and effectiveness in aerospace software development.