In this contribution we present a new type of modeling tool taking full advantage of symbolic computing. Physical components are described from block libraries, built directly from Modelica, now a well established consortium, and a fast developing physical language (see [1]). Directly from the block diagram description the analytical equations of the system are automatically generated and simplified with a powerful symbolic engine ([2],[3]). On a quadrotor helicopter system, we show how the system is described and how easy it is to get access to the equations. With highly optimized equations, the model runs very fast, and shows very interesting performances in real time. The automatically generated equations are used in a math tool ([2]) to analyze the system, and carry out control design steps. Besides traditional analyses based on numerical computing, several symbolic techniques are used. Finally the model is tested on a real time experimental setup ([4],[5],[6]), showing good comparison.