Formation of requirements traceability in the process of information systems design
- URL: http://arxiv.org/abs/2506.11018v1
- Date: Wed, 07 May 2025 08:13:59 GMT
- Title: Formation of requirements traceability in the process of information systems design
- Authors: Grigory Tsiperman,
- Abstract summary: traceability of requirements in the information system design process is considered an essential property of the project.<n>One of the challenges of the traceability process, dubbed "The grand challenge of traceability" among traceability researchers, is its integration into the design process.<n>We propose the application of the Adaptive Clustering Method (ACM) of Information Systems developed by the author.
- Score: 0.0
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: The traceability of requirements in the information system design process is considered an essential property of the project, one of its quality characteristics. The point here is that traceability provides the methods of validation and verification of software systems, and that the system model based on requirements traceability reduces the system's dependence on developers and, in general, makes it as straightforward as possible. One of the challenges of the traceability process, dubbed "The grand challenge of traceability" among traceability researchers, is its integration into the design process. In this paper, to achieve this goal, we propose the application of the Adaptive Clustering Method (ACM) of Information Systems developed by the author, which is based on the idea of a seamless system architecture that provides explicit interconnection of project artifacts of different levels of abstraction.
Related papers
- GenAI for Systems: Recurring Challenges and Design Principles from Software to Silicon [62.2138479061386]
Generative AI is reshaping how computing systems are designed, optimized, and built, yet research remains fragmented across software, architecture, and chip design communities.<n>This paper takes a cross-stack perspective, examining how generative models are being applied from code generation and distributed runtimes through hardware design space exploration to RTL synthesis, physical layout, and verification.
arXiv Detail & Related papers (2026-02-16T22:45:33Z) - TraceLLM: Leveraging Large Language Models with Prompt Engineering for Enhanced Requirements Traceability [4.517933493143603]
This paper introduces TraceLLM, a framework for enhancing requirements traceability through prompt engineering and demonstration selection.<n>We assess prompt generalization and robustness using eight state-of-the-art LLMs on four benchmark datasets.
arXiv Detail & Related papers (2026-02-01T14:29:13Z) - Advances and Frontiers of LLM-based Issue Resolution in Software Engineering: A Comprehensive Survey [59.3507264893654]
Issue resolution is a complex Software Engineering task integral to real-world development.<n> benchmarks like SWE-bench revealed this task as profoundly difficult for large language models.<n>This paper presents a systematic survey of this emerging domain.
arXiv Detail & Related papers (2026-01-15T18:55:03Z) - Data-Driven Methods and AI in Engineering Design: A Systematic Literature Review Focusing on Challenges and Opportunities [0.2545763876632975]
Machine learning and statistical methods dominate current practice, whereas deep learning exhibits a clear upward trend in adoption.<n>Key challenges in existing applications include limited model interpretability, poor cross-stage traceability, and insufficient validation under real-world conditions.<n>This review is a first step toward design-stage guidelines; a follow-up synthesis should map computer science algorithms to engineering design problems and activities.
arXiv Detail & Related papers (2025-11-25T11:16:38Z) - A Comprehensive Survey on Benchmarks and Solutions in Software Engineering of LLM-Empowered Agentic System [56.40989626804489]
This survey provides the first holistic analysis of Large Language Models-powered software engineering.<n>We review over 150 recent papers and propose a taxonomy along two key dimensions: (1) Solutions, categorized into prompt-based, fine-tuning-based, and agent-based paradigms, and (2) Benchmarks, including tasks such as code generation, translation, and repair.
arXiv Detail & Related papers (2025-10-10T06:56:50Z) - Towards a Framework for Operationalizing the Specification of Trustworthy AI Requirements [1.2184324428571227]
Growing concerns around the trustworthiness of AI-enabled systems highlight the role of requirements engineering (RE)<n>We propose the integration of two complementary approaches: AMDiRE and PerSpecML.
arXiv Detail & Related papers (2025-07-14T12:49:26Z) - SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types [2.758944775979243]
SynQ is an embedded domain specification language (EDSL) targeting the design of systems obeying the perfect synchrony hypothesis.<n>It enables a semantically coherent design process, including formal specification and verification, modelling, simulation and code generation.
arXiv Detail & Related papers (2025-05-05T12:44:13Z) - Edge-Cloud Collaborative Computing on Distributed Intelligence and Model Optimization: A Survey [59.52058740470727]
Edge-cloud collaborative computing (ECCC) has emerged as a pivotal paradigm for addressing the computational demands of modern intelligent applications.<n>Recent advancements in AI, particularly deep learning and large language models (LLMs), have dramatically enhanced the capabilities of these distributed systems.<n>This survey provides a structured tutorial on fundamental architectures, enabling technologies, and emerging applications.
arXiv Detail & Related papers (2025-05-03T13:55:38Z) - Semi-Automated Design of Data-Intensive Architectures [49.1574468325115]
This paper introduces a development methodology for data-intensive architectures.<n>It guides architects in (i) designing a suitable architecture for their specific application scenario, and (ii) selecting an appropriate set of concrete systems to implement the application.<n>We show that the description languages we adopt can capture the key aspects of data-intensive architectures proposed by researchers and practitioners.
arXiv Detail & Related papers (2025-03-21T16:01:11Z) - A quantitative framework for evaluating architectural patterns in ML systems [49.1574468325115]
This study proposes a framework for quantitative assessment of architectural patterns in ML systems.<n>We focus on scalability and performance metrics for cost-effective CPU-based inference.
arXiv Detail & Related papers (2025-01-20T15:30:09Z) - A Methodology for Evaluating RAG Systems: A Case Study On Configuration Dependency Validation [6.544757635738911]
Retrieval-augmented generation (RAG) is an umbrella of different components, design decisions, and domain-specific adaptations.
There is currently no generally accepted methodology for RAG evaluation despite a growing interest in this technology.
We propose a first blueprint of a methodology for a sound and reliable evaluation of RAG systems.
arXiv Detail & Related papers (2024-10-11T13:36:13Z) - How to design a dataset compliant with an ML-based system ODD? [5.432478272457867]
This paper focuses on a Vision-based Landing task and presents the design and validation of a dataset that would comply with the Operational Design Domain (ODD) of a Machine-Learning (ML) system.
Relying on emerging certification standards, we describe the process for establishing ODDs at both the system and image levels.
arXiv Detail & Related papers (2024-06-20T06:48:34Z) - Interactive System-wise Anomaly Detection [66.3766756452743]
Anomaly detection plays a fundamental role in various applications.
It is challenging for existing methods to handle the scenarios where the instances are systems whose characteristics are not readily observed as data.
We develop an end-to-end approach which includes an encoder-decoder module that learns system embeddings.
arXiv Detail & Related papers (2023-04-21T02:20:24Z) - Methodology for Holistic Reference Modeling in Systems Engineering [0.0]
This paper presents a holistic approach to describe reference models across different views and levels.
Benefits include an end-to-end traceability of the capability coverage with performance parameters considered already at the starting point of the reference design.
arXiv Detail & Related papers (2022-11-21T13:41:07Z) - Model-based Analysis and Specification of Functional Requirements and
Tests for Complex Automotive Systems [0.19837121116620585]
We propose a technique that starts with the early identification of validation concerns from a stakeholder perspective.
We develop a Model-Based Systems Engineering (MBSE) methodology to ensure complete and consistent requirements and test specifications.
Our study corroborates that our methodology is applicable and improves existing requirements and test specification processes.
arXiv Detail & Related papers (2022-09-03T18:24:32Z) - Information-Theoretic Odometry Learning [83.36195426897768]
We propose a unified information theoretic framework for learning-motivated methods aimed at odometry estimation.
The proposed framework provides an elegant tool for performance evaluation and understanding in information-theoretic language.
arXiv Detail & Related papers (2022-03-11T02:37:35Z) - Towards an Interface Description Template for AI-enabled Systems [77.34726150561087]
Reuse is a common system architecture approach that seeks to instantiate a system architecture with existing components.
There is currently no framework that guides the selection of necessary information to assess their portability to operate in a system different than the one for which the component was originally purposed.
We present ongoing work on establishing an interface description template that captures the main information of an AI-enabled component.
arXiv Detail & Related papers (2020-07-13T20:30:26Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.