The impact of model-based design on the software engineering community is impressive, and recent research in model transformations,
and elegant behavioral specifications of systems has the potential to revolutionize the way in which systems are designed.
Such techniques aim to raise the level of abstraction at which systems are specified, to remove the burden of producing application-specific
programs with general-purpose programming. For complex real-time systems, however, the impact of model-driven approaches is
not nearly so widespread. In this paper, we present a perspective of model-based design researchers who joined with software
experts in robotics to enter the DARPA Urban Challenge, and to what extent model-based design techniques were used. Further,
we speculate on why, according to our experience and the testimonies of many teams, the full promises of model-based design
were not widely realized for the competition. Finally, we present some thoughts for the future of model-based design in complex
systems such as these, and what advancements in modeling are needed to motivate small-scale projects to use model-based design
in these domains.
Communicated by Bernhard Rumpe.