Showing cs.SEShow all
3 papers · 1 filter
cs.SE2026
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…
cs.SE2024★ 7 cited
Towards an Extensible Model-Based Digital Twin Framework for Space Launch Vehicles
Ran Wei, Ruizhe Yang, Shijun Liu +6
The concept of Digital Twin (DT) is increasingly applied to systems on different levels of abstraction across domains, to support monitoring, analysis, diagnosis, decision making a…
cs.SE2024★ 15 cited
ACCESS: Assurance Case Centric Engineering of Safety-critical Systems
Ran Wei, Simon Foster, Haitao Mei +7
Assurance cases are used to communicate and assess confidence in critical system properties such as safety and security. Historically, assurance cases have been manually created do…