As the demand for highly complex robotics and autonomous systems applications grows, including the need to comply with industry standards such as ISO 26262 or DO-178B/C, so too does the need for high-performance, easy to use, and fully integrated development environments that can support robotics developers. Engineers must verify that the design meets requirements, is functionally correct, complies to certification standards, and is correctly implemented. Simulation with Model-Based Design (MBD) is a key capability to help understand the behavior of complex designs of robotics and autonomous systems. This talk will discuss how Model-Based Design can support modeling, simulation, verification, and in some cases automatic code generation, for robotics systems. Verification and validation techniques, required to achieve high quality and increase productivity, will also be discussed.