Modeling and Analysis of System Models with Constraints in SysMLv2
Requirements of technical systems are often given by inequations. In this paper we show how system model constraints can be described in SysMLv2 and how an underlying system of inequations can be used for analysis. We in particular formalize the problem, introduce different semantics for ranges, methods to support the specification of constraints, and give an overview of a proof-of-concept implementation with some examples.
Authors
- Axel Ratzke
- Johannes Koch
- Christoph Grimm (ORCID: https://orcid.org/0000-0002-5930-7563)
Institutions
- University of Kaiserslautern (DE)
- University of Applied Sciences Kaiserslautern (DE)
Publication Details
- Published
- 2025-06-08
- DOI
- https://doi.org/10.1109/sose66311.2025.11083847
- Primary Topic
- Simulation Techniques and Applications
- Type
- article
- Field-Weighted Citation Impact
- 0.00