MBSE for Safety-Critical and Fail-Operational Software Systems
We'll introduce the benefits of a model-based approach in safety-critical software development for DO-178B/C, EN 50128 / EN 50176, and ISO26262.
Date/Time: February 19, 2025 from 10:00 AM IST - 5:00 PM IST
Speakers:
Maitreyee Mordekar
Nithin Rao
Venue:
Virtual
Overview
In this workshop:
Learn about how the SCADE qualification benefits your software certification. Our hand-on part of the workshop includes model creation and testing approaches.
What attendees will learn
- Introduction to the model-based software development toolchain
- Model creation, model checking, and code generation
- Testing on model level, including model coverage
Who should attend
Software Engineers, Software developer, System Architect, Safety Engineers, System Engineers, System Design Engineer, Control Engineer, Fail-Operation System Engineer