This program is tentative and subject to change.

Fri 10 Oct 2025 14:15 - 14:30 at DCIH 102 - Session 8: Runtime Models and Automation

As autonomous systems increasingly demonstrate more sophisticated reasoning capabilities and make higher-level decisions, the need for interpretable runtime guidance becomes critical. Traditional Models@Runtime serve as abstractions that reflect system state to support adaptation and decision-making by external actors. We extend this paradigm by introducing Ambient Advisory Models, where model components such as classes, agents, or behavioral specifications are augmented with embedded reasoning capabilities that observe, interpret, and advise. Unlike conventional runtime models that provide passive structural or behavioral representations, each model component in our approach becomes an active advisory entity, continuously monitoring its domain of concern and generating contextual guidance. These advisory components operate without direct actuation authority, functioning as cognitive guardrails that provide guidance on safety, regulatory, ethical, and other relevant concerns, while enabling multi-perspective reasoning. Rather than a monolithic reasoning model, we distribute advisory intelligence across individual model components, each maintaining its own reasoning context and concern-specific knowledge. We demonstrate Ambient Advisory Models in autonomous multi-UAV emergency response operations. This approach transforms selected runtime models from reflective artifacts into proactive advisors, enabling a new form of human-AI collaboration where model components actively participate in system governance rather than merely representing system state.

This program is tentative and subject to change.

Fri 10 Oct

Displayed time zone: Eastern Time (US & Canada) change

14:00 - 15:30
Session 8: Runtime Models and AutomationNew Ideas and Emerging Results (NIER) / Research Papers / Journal-First at DCIH 102

Hybrid

14:00
15m
Talk
Paradigm shift in mechanical system design: toward automated and collaborative design with digital twin webIn Person
Journal-First
DOI
14:15
15m
Talk
Ambient Advisory Models: Augmenting Runtime Models into Distributed Reasoning AgentsIn Person
New Ideas and Emerging Results (NIER)
Demetrius Hernandez The University of Notre Dame, Jane Cleland-Huang University of Notre Dame
14:30
15m
Talk
Run-time threat models for systematic and continuous risk assessmentRemote
Journal-First
Stef Verreydt DistriNet-KU Leuven, Dimitri Van Landuyt KU Leuven, Belgium, Wouter Joosen imec-DistriNet, KU Leuven
DOI
14:45
15m
Talk
Jidoka: Automation with a Human TouchRemote
Journal-First
DOI
15:00
15m
Talk
An Ecosystem of DSMLs for Building CommissioningPT@Remote
Research Papers
Philipp Zech University of Innsbruck, Austria, Emanuele Goldin University of Innsbruck, Christoph Zallinger University of Innsbruck, Sascha Hammes University of Innsbruck - Unit of Energy Efficient Building, Philipp Pobitzer University of Innsbruck, Judith Michael University of Regensburg, Ruth Breu University of Innsbruck
Pre-print
15:15
15m
Talk
Complex Model Transformations by Reinforcement Learning with Uncertain Human Guidance@RemoteFT
Research Papers
Kyanna Dagenais McMaster University, Istvan David McMaster University / McMaster Centre for Software Certification (McSCert)