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

• 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)
• 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.