This tutorial gives a detailed overview of the current landscape of tools for the specification, design, and validation of hybrid embedded systems.

The basic principles of hybrid systems (systems that feature both continuous and discrete time components) modeling will be presented as the common theoretical underpinning for all the tools. The core of the tutorial will be live demonstrations of about a dozen tools that have been developed in the industry and academia.

For each tool, a brief presentation of its syntactic and semantic characteristics will be followed by a practical exposition of how to use it to model and design some simple, but challenging "running examples", thereby showing its advantages and limitations. This will provide a sound mechanism to compare the tools by illustrating their differences in terms of expressiveness, usability, power, and performance. Some industrial examples will be modeled, presented, and discussed.