Up to date agenda can be found at: https://omg.org/events/2024q4/agendas/AnalysisDesignPTFCalendar.html
| Wed 2024-12-11 | (ADTF Meeting) | ||
| |||
| 09:00-10:00 | Constraint Propagation Analysis for SysML v2 | ||
| Presenter: Dr. Christoff Grimm Abstract: The execution of expressions in SysML v2 is possible if expressions can be bound to numbers. This is for example the case if expressions depend only on literal values. We describe an analysis to derive bounds for values from constraints that are given. This is typically the case in specifications or requirements. The analysis constraint propagation determines its impact on the values that all other expressions can take and gives, e.g. for all Reals its possible minimum and maximum, or detects contradictions in specifications. We demonstrate some examples by the SysML v2 based modeling and safety analysis of an EV charging system. If time permits, we will also give an overview of the proof-of concept implementation and a related RFP. | |||
| 10:00-10:30 | Break | ||
| 10:30-11:30 | Modeling of Uncertainty in System and Enterprise Models | ||
| Presenter: Daniel Brookshier | |||
| 11:30-11:45 | Ideas on Integrating Uncertainty and Probabilistic Modeling into SysML v2 | ||
| Presenter: hans Peter de Koning Abstract: Since a primary objective of SysML is to enable fully modeled system specifications that cover the whole system lifecycle, it should include rigorous and convenient modeling of uncertainties, tolerances, and margins as well as associated probability distributions. This was also formulated in requirement PRP 1.15 “Probalistic Value Distributions” in the SysML v2 RFP. A number of ideas will be elaborated that show how uncertainties and probability distributions could be modeled, and integrated with the existing SysML v2 textual notation and standard Quantities and MeasurementReferences libraries. | |||
| 13:30-14:30 | Template Definition Language (TDL) RFC Update | ||
| Presenter: Nick Stavros | |||
Generated at: 2025-02-21 22:28 US/Eastern