--DRAFT--

Structured Assurance Case Metamodel 2.5 RTF Agenda

OMG Technical Meeting
Baton Rouge, LA

2026-12-01 to 2026-12-05
Timezone: CST (UTC-0600)

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

Fri 2026-12-04
12:00-16:00 SACM RTF
Callin Info: Callin access through teams.microsoft.com will be available to registered attendees during the event.
SACM 2.4 has been approved by the Steering Committee - time to work SACM 2.5.
 
Draft agenda 9:00 to 9:10am      Agenda Review and Introductions

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

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
    6. Ansys STK
    7. Rhapsody - IBM
    8. 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.





 

Generated at: 2026-10-25 01:00 US/Eastern