We are pleased to announce the publication of a significant research article, "Pragmatic verification and validation of industrial executable SysML models", in the INCOSE Systems Engineering Journal. Initiated in 2019, this collaborative effort by IncQuery, with partners including Critical Systems Research Group, JKU and NASA JPL, addresses key challenges in systems engineering model validation and verification.
The research presents a sophisticated simulation-based solution for large-scale system models, offering improved early detection of potential design issues. Notable developments include the Dynamic Verification Toolkit (DVT) and the Gamma framework, which streamline and optimize the validation process.
Funded by the European Union’s Horizon 2020 and the NRDI Fund of Hungary, the research contributes to the evolving landscape of systems design, providing scalable, efficient solutions, particularly in aerospace, space, and manufacturing industries.