[ Part 1 ] Simulink is often referred to as an "executable specification. " When adopting Model-Based Development (MBD), what should the requirement specifications look like? Many common practices in the MBD field involve: "Mapping subsystems and requirements one-to-one for easier traceability." "Writing detailed specifications as the input for model creation." This seminar will use practical examples to clearly explain whether these common approaches are actually correct. We'll explore the right way to think about and practice MBD. This session is ideal for those who are planning to introduce MBD or those who feel that their current methodology is flawed. Let's think together about what the correct MBD should be. *This seminar will be conducted in Japanese only. [ Part 2 ] The growing complexity of automotive systems poses challenges for design processes and safety compliance. Model-Based Systems Engineering (MBSE) provides a unified approach to visualize and optimize projects from requirements to verification, becoming increasingly important for electrification, autonomous driving, and in-vehicle control software. This presentation highlights practical uses of Ansys SCADE® for developing embedded software compliant with automotive functional safety standards, and demonstrates how integrating MBSE and Model-Based Design (MBD) enhances traceability, model verification, and automatic code generation to achieve both quality and efficiency.