Model-based design: a report from the trenches of the DARPA Urban Challenge

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.

[1]  E. Long,et al.  Increasing Productivity at Saturn , 1998, Computer.

[2]  G. Martin,et al.  Nonlinear model predictive control , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

[3]  D. C. Sharp.  Avionics product line software architecture flow policies , 1999, Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033).

[4]  Frank Allgöwer,et al.  Nonlinear Model Predictive Control , 2007 .

[5]  David C. Sharp.  Hybrid and Embedded Software Technologies for Production Large-Scale Systems , 2002, HSCC.

[6]  Richard T. Vaughan,et al.  The Player/Stage Project: Tools for Multi-Robot and Distributed Sensor Systems , 2003 .

[7]  J. Sprinkle,et al.  Encoding aerial pursuit/evasion games with fixed wing aircraft into a nonlinear model predictive tracking controller , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[8]  M. J. Korenberg,et al.  A robust orthogonal algorithm for system identification and time-series analysis , 1989, Biological Cybernetics.

[9]  Ian M. Mitchell,et al.  Online safety calculations for glide-slope recapture , 2005, Innovations in Systems and Software Engineering.

[10]  Edward A. Lee,et al.  Operational Semantics of Hybrid Systems , 2005, HSCC.

[11]  Erik Blasch,et al.  Unmanned vehicles come of age: The DARPA grand challenge , 2006, Computer.

[12]  Francesco Borrelli,et al.  Decentralized receding horizon control for large scale dynamically decoupled systems , 2009, Autom..

[13]  Eduardo Nebot,et al.  Navigation System Design , 2006 .

[14]  Gabor Karsai,et al.  Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems , 2007, Innovations in Systems and Software Engineering.

[15]  Arun Lakhotia,et al.  Steering Control of the Autonomous Vehicle: CajunBot , 2007, J. Aerosp. Comput. Inf. Commun..

[16]  J. M. Eklund,et al.  Nonlinear system identification and control of chemical processes using fast orthogonal search , 2007 .

[17]  Alexei Makarenko,et al.  Empirical Evaluation of an Autonomous Vehicle in an Urban Environment , 2007, J. Aerosp. Comput. Inf. Commun..

[18]  John Hauser,et al.  UAV as a Reliable Wingman: A Flight Demonstration , 2007, IEEE Transactions on Control Systems Technology.

[19]  Christian Berger,et al.  Software & Systems Engineering Process and Tools for the Development of Autonomous Driving Intelligence , 2007, J. Aerosp. Comput. Inf. Commun..

[20]  Edward A. Lee,et al.  Heterogeneous Concurrent Modeling and Design in Java (Volume 1: Introduction to Ptolemy II) , 2008 .