Oct 2026· Proceedings of the ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems· 0 citations· 2 references
Abstract
Fast Healthcare Interoperability Resources (FHIR) is a rapidly emerging and inherently model-driven technology in medical informatics. Its complexity makes it a prime candidate for Model-Driven Engineering (MDE). This paper reports on our experience applying progressively richer MDE techniques to FHIR testing within Australia’s Sparked FHIR Accelerator program. We trace a growth story through three stages: an initial FHIR Mapping Language (FML) tool that solved structural transformation from tabular inputs but proved verbose and hard to maintain; a second-generation Epsilon-based approach with a custom FHIR EMC connector that resolved maintainability through model abstraction but produces structurally rigid test data; and an emerging hybrid direction combining MDE with Large Language Models to address the remaining variability gap. Each stage solved the preceding limitation while revealing a new one. We detail the Epsilon EMC connector, model-driven test data generation for AU Core, and stateful protocol testing for AU eRequesting using generated FHIR TestScript resources executed by FHIR Frog, an open-source TestScript engine. The approach has been deployed at two national connectathons and validated across 17 AU Core resource types and the complete eRequesting lifecycle.
HEPToolBench is introduced, a benchmark of 28 collider-simulation tasks scored by deterministic, task-specific scorers, plus a three-task structured-debugging extension, and moving syntax generation into deterministic software can substantially improve reliability for both small local and frontier models.
Model-driven engineering (MDE) excels at ensuring architectural consistency and managing complexity, yet extending generated code skeletons with project-specific business logic often remains a time-consuming manual task. Conversely, large language models (LLMs) offer immense flexibility in coding but may produce vibe-c...
J. C. Kirchhof, Lukas Netz, Dennis Mertens et al.· Proceedings of the ACM/IEEE...· 0 citations
This work proposes an integrated view on the use of LLMs for EDA and establishes an LLM-enabled behavior driven hardware development workflow, introducing and defining Formal Verification Gherkin Scenarios (FV Gherkin Scenarios), unlocking CNL specifications as the foundation for formally verified hardware designs via...
In an era where software development is deeply tied with Large Language Models, does Model Driven Engineering (MDE) still make sense? This raises the question of the extent to which MDE can be successfully combined with an LLM approach to address the downsides of each approach separately. In this paper, we try to answe...
Marco Calamo, Massimo Mecella, Monique Snoeck· 0 citations
Formal specification techniques have been introduced to address the ambiguities inherent in natural-language hardware specifications. One such approach is the Universal Specification Format (USF), which provides a machine-readable, formal reference for Register-Transfer Level (RTL) verification. However, verifying agai...
Robert Kunzelmann, Raphael Kunz, Stephanie Ecker et al.· Journal of Signal Processing...· 0 citations
PerfReasoning is introduced, a benchmark that evaluates LLMs both as direct performance reasoners and as generators of analytical performance-model code, exposing the gap between plausible architectural reasoning and reliable performance-model construction.
Da Zhao, K. Sankaralingam, Christos Kozyrakis et al.· 0 citations
Related blog posts
MIT News · Artificial Intelligence· news.mit.eduOct 8, 2026