Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2507.17171

Ontological Definition of Seamless Digital Engineering Based on ISO/IEC 25000-Series SQuaRE Product Quality Model

James S. Wheaton·Daniel R. Herber
View original source ↗Read source document ↗Export metadata ↓

Abstract

Since the introduction of Digital Engineering (DE) as a well-defined concept in 2018, organizations and industry groups have been working to interpret the DE concepts to establish consistent meta-models of those interrelated concepts for integration into their DE processes and tools. To reach the breadth and depth of DE concept definitions, the interpretation of international standard sources is necessary, including ISO/IEC/IEEE 15288, 24765, 42000-series, 15408, 15206, 27000-series, and 25000-series, to effectively model the knowledge domain where digital engineering applies. The harmonization of the concepts used in these international standards continues to improve with each revision, but it may be more effectively accomplished by relying on the descriptive logic formalized in the Web Ontology Language (OWL 2 DL). This paper presents a verified and consistent ontology based on the Basic Formal Ontology (BFO) and Common Core Ontologies (CCO) that defines Seamless Digital Engineering as a digital tooling paradigm that relies on formal verification of digital interfaces to provide a system-level qualification of the assured integrity of a Digital Engineering Environment. The present work defines classes and equivalence axioms, while using only the BFO- and CCO-defined object properties that relate them, to provide a baseline analysis that may inform future DE-related ontology development, using a case study to formally define the `seamless' quality in relation to the updated ISO 25010 SQuaRE product quality model. We identified ISO meta-model inconsistencies that are resolvable using the BFO/CCO ontological framework, and define `seamless' as both a system integration quality and a Human-Computer Interface quality-in-use, working to disambiguate this concept in the context of DE.

Explore related subjects

eess.SYcs.SY

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

James S. Wheaton, Daniel R. Herber. 2025-07-23. Ontological Definition of Seamless Digital Engineering Based on ISO/IEC 25000-Series SQuaRE Product Quality Model. https://arxiv.org/abs/2507.17171

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Simultaneous state estimation and control for nonlinear systems subject to bounded disturbances

In this work, we address the output--feedback control problem for nonlinear systems under bounded disturbances using a moving horizon approach. The controller is posed as an optimisation-based problem that simultaneously estimates the state trajectory and computes future control inputs. It minimises a criterion that involves finite backward and forward horizons with respect to the unknown initial state, measurement noises and control input variables.The main novelty of this work relies on linking the lengths of the forward and backward windows with the closed-loop stability, assuming detectability and decoding sufficient conditions to assure system stabilizability. It leads to a formulation that does not require to be a Control Lyapunov Function for the terminal cost of the controller. Simulation examples are carried out to compare the performance of solving simultaneously and independently the estimation and control problems. Furthermore, the examples show how the controller influences the length of the estimation window through its gain.

eess.SY↗
arXiv2026

On finite-horizon approximation of an infinite-horizon feedback Nash equilibrium in discrete-time LQ games

Computing feedback Nash equilibria (FNEs) in infinite-horizon discrete-time linear-quadratic (LQ) dynamic games remains computationally challenging. Inspired by model predictive control (MPC) in single-agent optimal control, we address this challenge with a finite-horizon strategy for approximating one such FNE. The finite-horizon strategy is as follows. Each player $i$ has an individual prediction horizon $T^i$. At each stage, player $i$ envisions an auxiliary $T^i$-stage game, computes its unique FNE, and implements only the first-stage control. Our main results are as follows. First, we give parameter conditions that guarantee geometric convergence of the coupled Riccati iteration to a stabilizing solution. Second, under these conditions, the finite-horizon strategies stabilize the system, and each player's total cost converges to the limiting FNE cost as all prediction horizons tend to infinity. Third, we derive an explicit upper bound on this cost gap that decreases geometrically with the shortest prediction horizon. This bound tells us how long the prediction horizons need to be for a given accuracy. The strategy is tractable and implementable, as it avoids directly solving the coupled algebraic Riccati equations of the infinite-horizon game.

eess.SY↗
arXiv2026

Closed Loop Reference Optimization for Extrusion Additive Manufacturing

Various defects occur during material extrusion additive manufacturing processes that degrade the quality of the 3D printed parts and lead to significant material waste. This motivates feedback control of the extrusion process to mitigate defects and prevent print failure. We propose a linear quadratic regulator (LQR) for closed-loop control with force feedback to provide accurate width tracking of the extruded filament. Furthermore, we propose preemptive optimization of the reference force given to the LQR that accounts for the performance of the LQR and generates the optimal reference for the closed loop extrusion dynamics and machine constraints. Simulation results demonstrate the improved tracking performance and response time. Experiments on a Fused Filament Fabrication 3D printer showcase a root mean square error improvement of 39.57% compared to tracking the unmodified reference as well as an 83.7% shorter settling time.

eess.SY↗