A Road-Map for Transferring Software Engineering methods for Model-Based Early V&V of Behaviour to Systems Engineering

• URL: http://arxiv.org/abs/2406.04037v1
• Date: Thu, 6 Jun 2024 13:04:23 GMT
• Title: A Road-Map for Transferring Software Engineering methods for Model-Based Early V&V of Behaviour to Systems Engineering
• Authors: Johan Cederbladh, Antonio Cicchetti,
• Abstract summary: We discuss the growing need for system behaviour to be validated and verified (V&V'ed) early in model-based systems engineering. We present a summary of the literature on early V&V and position existing challenges regarding potential solutions.
• Score: 0.8594140167290099
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: In this paper we discuss the growing need for system behaviour to be validated and verified (V&V'ed) early in model-based systems engineering. Several aspects push companies towards integration of techniques, methods, and processes that promote specific and general V&V activities earlier to support more effective decision-making. As a result, there are incentives to introduce new technologies to remain competitive with the recently drastic changes in system complexity and heterogeneity. Performing V&V early on in development is a means of reducing risk for later error detection while moving key activities earlier in a process. We present a summary of the literature on early V&V and position existing challenges regarding potential solutions and future investigations. In particular, we reason that the software engineering community can act as a source for inspiration as many emerging technologies in the software domain are showing promise in the wider systems domain, and there already exist well formed methods for early V&V of software behaviour in the software modelling community. We conclude the paper with a road-map for future research and development for both researchers and practitioners to further develop the concepts discussed in the paper.

Related papers

• Lessons Learned from the Use of Generative AI in Engineering and Quality Assurance of a WEB System for Healthcare [0.6982947801732751]
  The use of Generative AI in Software Engineering practices is still in its early stages.<n>This report documents our development team's learning journey in using Generative AI during the software development process.<n>Although we do not yet have definitive technological evidence to evolve our development process significantly, the results obtained represent valuable insights for software organizations seeking to innovate their development practices to achieve software quality with generative AI.
  arXiv  Detail & Related papers  (2025-11-01T18:42:29Z)
• Empowering Real-World: A Survey on the Technology, Practice, and Evaluation of LLM-driven Industry Agents [63.03252293761656]
  This paper systematically reviews the technologies, applications, and evaluation methods of industry agents based on large language models (LLMs)<n>We examine the three key technological pillars that support the advancement of agent capabilities: Memory, Planning, and Tool Use.<n>We provide an overview of the application of industry agents in real-world domains such as digital engineering, scientific discovery, embodied intelligence, collaborative business execution, and complex system simulation.
  arXiv  Detail & Related papers  (2025-10-20T12:46:55Z)
• 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)
• Exploration of VLMs for Driver Monitoring Systems Applications [3.59361692183907]
  In recent years, we have witnessed significant progress in emerging deep learning models, particularly Large Language Models (LLMs) and Vision-Language Models (VLMs) This paper presents our initial approach to implementing VLMs in Driver Monitoring Systems (DMS)
  arXiv  Detail & Related papers  (2025-03-15T22:37:36Z)
• Generative AI and Empirical Software Engineering: A Paradigm Shift [9.284024538100063]
  This vision paper examines how the integration of large language models into software engineering disrupts established research paradigms.<n>We discuss how it transforms the phenomena we study, the methods and theories we rely on, the data we analyze, and the threats to validity that arise in dynamic AI-mediated environments.<n>Our aim is to help the empirical software engineering community adapt its questions, instruments, and validation standards to a future in which AI systems are not merely tools, but active collaborators shaping software engineering and its study.
  arXiv  Detail & Related papers  (2025-02-12T04:13:07Z)
• Search, Verify and Feedback: Towards Next Generation Post-training Paradigm of Foundation Models via Verifier Engineering [51.31836988300326]
  Verifier engineering is a novel post-training paradigm specifically designed for the era of foundation models. We systematically categorize the verifier engineering process into three essential stages: search, verify, and feedback.
  arXiv  Detail & Related papers  (2024-11-18T12:04:52Z)
• Abstraction Engineering [6.091612632147657]
  Abstraction is already used across many disciplines involved in software development. This paper looks at these new challenges and proposes to address them through the lens of Abstraction. We discuss the foundations of Abstraction Engineering, identify key challenges, highlight the research questions that help address these challenges, and create a roadmap for future research.
  arXiv  Detail & Related papers  (2024-08-26T07:56:32Z)
• Contemporary Software Modernization: Perspectives and Challenges to Deal with Legacy Systems [48.33168695898682]
  "Software modernization" emerged as a research topic in the early 2000s. Despite the large amount of work available in the literature, there are significant limitations.
  arXiv  Detail & Related papers  (2024-07-04T15:49:52Z)
• Networking Systems for Video Anomaly Detection: A Tutorial and Survey [55.28514053969056]
  Video Anomaly Detection (VAD) is a fundamental research task within the Artificial Intelligence (AI) community. In this article, we delineate the foundational assumptions, learning frameworks, and applicable scenarios of various deep learning-driven VAD routes. We showcase our latest NSVAD research in industrial IoT and smart cities, along with an end-cloud collaborative architecture for deployable NSVAD.
  arXiv  Detail & Related papers  (2024-05-16T02:00:44Z)
• Bridging Gaps, Building Futures: Advancing Software Developer Diversity and Inclusion Through Future-Oriented Research [50.545824691484796]
  We present insights from SE researchers and practitioners on challenges and solutions regarding diversity and inclusion in SE. We share potential utopian and dystopian visions of the future and provide future research directions and implications for academia and industry.
  arXiv  Detail & Related papers  (2024-04-10T16:18:11Z)
• Bringing order into the realm of Transformer-based language models for artificial intelligence and law [3.2074558838636262]
  Transformer-based language models (TLMs) have widely been recognized to be a cutting-edge technology. This article provides the first systematic overview of TLM-based methods for AI-driven problems and tasks in the legal sphere.
  arXiv  Detail & Related papers  (2023-08-10T11:14:22Z)
• Machine Learning Model Development from a Software Engineering Perspective: A Systematic Literature Review [0.0]
  Data scientists often develop machine learning models to solve a variety of problems in the industry and academy. This paper is an effort to investigate the challenges and practices that emerge during the development of ML models from the software engineering perspective.
  arXiv  Detail & Related papers  (2021-02-15T14:25:13Z)
• Technology Readiness Levels for Machine Learning Systems [107.56979560568232]
  Development and deployment of machine learning systems can be executed easily with modern tools, but the process is typically rushed and means-to-an-end. We have developed a proven systems engineering approach for machine learning development and deployment. Our "Machine Learning Technology Readiness Levels" framework defines a principled process to ensure robust, reliable, and responsible systems.
  arXiv  Detail & Related papers  (2021-01-11T15:54:48Z)
• Constraint Programming Algorithms for Route Planning Exploiting Geometrical Information [91.3755431537592]
  We present an overview of our current research activities concerning the development of new algorithms for route planning problems. The research so far has focused in particular on the Euclidean Traveling Salesperson Problem (Euclidean TSP) The aim is to exploit the results obtained also to other problems of the same category, such as the Euclidean Vehicle Problem (Euclidean VRP), in the future.
  arXiv  Detail & Related papers  (2020-09-22T00:51:45Z)
• Technology Readiness Levels for AI & ML [79.22051549519989]
  Development of machine learning systems can be executed easily with modern tools, but the process is typically rushed and means-to-an-end. Engineering systems follow well-defined processes and testing standards to streamline development for high-quality, reliable results. We propose a proven systems engineering approach for machine learning development and deployment.
  arXiv  Detail & Related papers  (2020-06-21T17:14:34Z)
• Engineering AI Systems: A Research Agenda [9.84673609667263]
  We provide a conceptualization of the typical evolution patterns that companies experience when employing machine learning. The main contribution of the paper is a research agenda for AI engineering that provides an overview of the key engineering challenges surrounding ML solutions.
  arXiv  Detail & Related papers  (2020-01-16T20:29:48Z)

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.