Up to date agenda can be found at: https://omg.org/events/2024q4/agendas/AnalysisDesignPTFCalendar.html
| Wed 2024-12-11 | |
| 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-11:00 | Modeling of Uncertainty in System and Enterprise Models |
| Presenter: Daniel Brookshier |
Generated at: 2024-12-03 12:40 US/Eastern