8 papers
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…