--DRAFT--

Structured Assurance Case Metamodel 2.4 RTF Agenda

OMG Technical Meeting
TBD

2026-09-14 to 2026-09-18
Timezone: EDT (UTC-0400)

Up to date agenda can be found at: https://omg.org/events/2026q3/agendas/SACMRTFCalendar.html

Thu 2026-09-17
13:00-17:00 SACM RTF
Callin Info: Callin access through teams.microsoft.com will be available to registered attendees during the event.



We successfully presented SACM 2.4 to the AB at Chicago.
 
Draft agenda 9:00 to 9:10am      Agenda Review and Introductions

9:10 to 12:00pm    Discussions on SACM 2.5 planning - topics below

Plan is to charter SACM 2.5 RTF at Friday's plenary

Current thoughts on what SACM 2.5 RTF topics we need to focus on are:

  1. Kerml and SysML v2 support
    1. Library or meta-data (profile for SysML v2)

    2. Assurance case as a kind of “case” in SysML v2

    3. Compare with SysML v2 Verification capabilities

    4. Embeddable or not?

  2. Vendor community engagements:

    1. Cameo - Dassault

    2. Sparxs

    3. ACE - Adelard

    4. GSN - University of York

    5. AdvoCATE - NASA

    1. Ansys STK

    2. Rhapsody - IBM

    3. KDM Analytics

  3. Supporting/working with other standards
    1. RAAML – has Ontology that includes GSN/SACM
    2. Pedigree and Provenance Model and Notation (PPMN)
    3. Multiple Vocabulary Facility (MVF)

  4. Errors / mistakes in SACM 2.4

  5. Usability feedback

    1. Reach out to Adalard, University of York, others… for thoughts on SACM 2.4.

    2. Graduate researchers to explore advanced assurance case mechanisms in SACM 2.4.

    3. Composability/compatibility - interfaces and bindings - will they work in practice?

  6. Literature search
    1. Logics supported correctly in papers and compare with SACM 2.4 capabilities for evolving support to other logics
    2. Assurance cases in general
    3. assurance case management to identify needed functionality

Other thoughts welcome.





 





SACMRTF


Created by: Robert Martin

Generated at: 2026-07-10 05:15 US/Eastern