Program

Keynote Speaker: Dr. Levi Lúcio (Airbus Defense and Space, Germany)

The Liquid-to-Solid Transition: From MBSE to Digital Engineering at Airbus Defence and Space

Abstract: Model-Based Systems Engineering has been in practice at Airbus Defence and Space for a decade, scaling over that time to increasingly large systems and a growing number of programmes. In this talk I focus on three operational assumptions behind MBSE that did not hold in my practice. The first is that a suitable digital backbone — one that keeps data representations fresh, synchronized and usable for collaboration — is already available. In the environments I have worked in, it was largely missing. The second is that data representations and the tool landscape can be settled early in a programme. In practice, both must undergo several phases of coalescence — what I call the liquid-to-solid transition. The third is that tool customization remains a light supporting activity. Instead, the customizations, extensions and new features needed to give systems engineers a day-to-day working environment become a large software engineering product in their own right, with a lifecycle of its own spanning that of the aircraft programme.

Responding to these constraints forced us to rethink and add many dynamic aspects to MBSE, leading to what we — and others in the industry — now call Digital Engineering. Digital Engineering is concerned with how data and models flow and change through an engineering system made of both tools and people. Its goal is that evolving the design and manufacturing of an aircraft becomes a seamless activity for engineers, management and the shop floor alike. This brings a set of activities into the foreground: continuous tool maintenance and integration across many environments; the UX of those tools and how they support engineering methods; when and how new features reach the community; monitoring, scalability and migrations; and supporting and guiding the community while shielding them from tooling concerns that would distract them from building the aircraft. One of these activities, monitoring, has grown into a complete verification and validation framework. Entire collaborations now use it as a cornerstone to track programme KPIs and to drive fast improvement cycles of the design and manufacturing data model.

Within the limits of what can be disclosed, I will present examples from practice where things originally failed and the operational solutions we found, which are now being brought in an agile manner into new aircraft programmes at Airbus DS. I will close with the questions this raises for verification and validation research: what does verifying a model mean while the model is still liquid, and how does V&V effort evolve over a programme's lifetime?

Full-day detailed program

9:15 - 10:30 : Session 1 - Model-Based V&V. Chair: TBD

• • Workshop opening 

  • 9:20 - 9:45
    Felipe Xavier, Loek Cleophas, and Michel Chaudron
    full paper - Constraining Behavioural Modelling to Enable Model-Based Verification

  • 9:45 - 10:10
    Jörn Guy Süß
    full paper - OCL Well-Formedness Rules as a Verification Mechanism for UML Profiles: A Full-Lifecycle EAI Case Study

  • 10:10 - 10:30
    Yanis Allouch, Salvador Martínez, Jean-Christophe Bach, and Fabien Dagnat
    short paper - Towards continuous verification of security patterns

10:30 - 11:00 : Coffee Break 

11:00 - 12:45 : Session 2 - Keynote. Chair: TBD

• • Keynote presentation by Levi Lúcio (Airbus Defence and Space, Germany)
    The Liquid-to-Solid Transition: From MBSE to Digital Engineering at Airbus Defence and Space

12:45 - 14:30 : Lunch 

14:30 - 15:45 : Session 3 - V&V of Model Operations. Chair: TBD

• • 14:30 - 14:55 
    Bahareh Taghavi, Max Stachon, Adrian Marin, Lan Bao Quang Le, Bernhard Rumpe, Ralf Reussner, and Robert Heinrich
    full paper - Repairing Conformance Violations with a Reference Model in the Context of Automata Decomposition

  • 14:55 - 15:20
    Lars König and Jens Kosiol
    full paper - Extending Triple Graph Grammars to Formalize Complex View Definitions on Families of Models

  • 15:20 - 15:40
    Leonel Nóbrega
    short paper - Constructive and Diagnostic Package Merge: Validating a Metamodel Composition Operator against the OMG Metamodel

15:45 - 16:15 : Coffee Break 

16:15 - 17:30 : Session 4 - Automated/AI-assisted V&V. Chair: TBD

• • 16:15 - 16:40 
    Hamza Ouarrad, Mohammad Abboush, and Andreas Rausch
    full paper - LLM Ensemble Fault Classification for Automotive HiL Validation

  • 16:40 - 17:05
    Constantin Buschhaus, Nico Jansen, Alexander Hellwig, and Bernhard Rumpe
    full paper - Quality Management for Deterministic Code Generators

  • 17:05 - 17:25
    Juan Antonio Gómez Gutiérrez and Robert Clarisó
    short paper - On the Use of LLMs to Diagnose and Repair UML/OCL models