SysML is a widely used formalism and international standard for designing and communicating complex system designs. SysML v2 is a significant new version of SysML. Among many key enhancements, SysML v2 introduces formal semantics for specifying the precise meaning of SysML models, making it possible to automatically apply formal verification and automated reasoning to analyze the safety and correctness properties of SysMLv2 designs. In this talk, we will demonstrate formal verification of the behavior of ADAS systems and how to mathematically prove system constraints are met automatically.
This session answers questions such as:
- What are formal methods and formal verification?
- How to model systems using SysML v2?
- How to prove an autonomous system is designed correctly using SysML v2 and formal methods?
- How to combine SysML v2 with Imandra to build a hallucination-free ChatBot?
&nsbp;
