9 papers
Models as Governed Interfaces for AI-Native MBSE: Read-Side Adequacy and Write-Side Admissibility
Jason Gower, Michael J. de C. Henshaw, Siyuan Ji
Machine-readable models such as SysML v2 are now programmatically accessible, and a growing body of work treats that access as the enabling condition for AI participation in system…
Model-Driven Discipline for Multi-Agent LLMs: Requirement-to-Verification Generation of Traceable System Models
Ran Wei, Le Zhu, Haochi Wang +6
Software complexity is a long-standing challenge for system engineers. Model-Driven Engineering (MDE) addresses it by treating models as first-class artefacts, but a typical MDE pr…
Model-Driven Digital Twin Framework for Quantum Networks
Amal Elsokary, Hayato Ishida, Ran Wei +2
Quantum networks are advancing towards larger and more operational infrastructures, yet their evaluation remains fragmented across heterogeneous physical platforms, simulators, pro…
A Framework for Managing the Models of Engineered Quantum Systems
Siyuan Ji, Hayato Ishida, Amal Elsokary +6
Quantum technologies are maturing into systems that classical engineering must build, verify and maintain. The model-driven community has begun to respond with quantum-aware pipeli…
Automated SysML-Based Verification of Discipline-Specific Models
Daniel Marley, Siyuan Ji
Current examples of SysML-based verification of discipline-specific models in the literature typically have two flaws. Firstly, they are developed in a tool-specific manner using p…
SHIA: A Direct SysML-Hardware Interface Architecture for Model-Centric Verification
Charles Lewis, Amal Elsokary, Siyuan Ji
Model-Based Systems Engineering (MBSE) is widely treated as the backbone of digital engineering, with languages such as the Systems Modeling Language (SysML) providing the means to…
AI as Consumer and Participant: A Co-Design Agenda for MBSE Substrates and Methodology
Siyuan Ji
AI tools are being deployed over MBSE models today, and those models were not designed for this kind of consumption. The problem is not simply that tools hallucinate: well-prompted…
Towards Formalising Stakeholder Context using SysML v2
Matthew Harrison, John Carlin, Chengyuan Liu +2
This paper presents a framework to bridge the gap between subjective stakeholder context and formal system architecture. This is achieved using Soft Systems Methodology (SSM) and S…
Exploration of Evolving Quantum Key Distribution Network Architecture Using Model-Based Systems Engineering
Hayato Ishida, Amal Elsokary, Maria Aslam +3
Realisation of significant advances in capabilities of sensors, computing, timing, and communication enabled by quantum technologies is dependent on engineering highly complex syst…