[Episode 41] Automated Reasoning for SysML v2 with Jamie Smith

Описание: 00:00 Start | 27:46 Demo | 37:14 End
Join us on the new MBSE Podcast episode as we explore automated reasoning for SysML v2 with guest expert Jamie Smith from Imandra. Tune in for a compelling discussion on the advancements in MBSE and the critical role of formal verification in designing deterministic and error-resistant systems.

The robust foundation of SysML v2 lays the groundwork for harnessing cutting-edge automated reasoning technologies. This enables users of SysML v2 to conduct thorough analyses, including formal verification of their models, benefit from AI-driven testing, and utilize large language models like ChatGPT, among other advanced capabilities.

We'll examine a scenario where SysML v2 is transformed into Imandra Modeling Language (IML), setting the stage for the advanced automated reasoning capabilities of Imandra.

---
🎧 MBSE as Audio-Podcast:
Spotify: https://open.spotify.com/show/3sQMVqJ...
iTunes: https://podcasts.apple.com/de/podcast...
Amazon Music: https://music.amazon.de/podcasts/e8de...
Google Podcasts: https://podcasts.google.com/feed/aHR0...

🌍 Links:
MBSE-Podcast Webseite: https://mbse-podcast.rocks
📝 Medium article by Jamie Part 1:   / automated-reasoning-for-sysml-v2  
📝 Medium article by Jamie Part 2:   / automated-reasoning-for-sysml-v2-part-2  

🎵 Music:
Song: INOSSI - Kind Heart
Music provided by Vlog No Copyright Music. Creative Commons - Attribution 3.0 Unported
Video Link:    • INOSSI - Kind Heart (Vlog No Copyright Music)  
---