Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems

  • T. John Koo
  • Judith Liebman
  • Cedric Ma
  • Benjamin Horowitz
  • Alberto Sangiovanni-Vincentelli
  • Shankar Sastry
Conference paper

DOI: 10.1007/3-540-45828-X_4

Volume 2491 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Koo T.J., Liebman J., Ma C., Horowitz B., Sangiovanni-Vincentelli A., Sastry S. (2002) Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems. In: Sangiovanni-Vincentelli A., Sifakis J. (eds) Embedded Software. EMSOFT 2002. Lecture Notes in Computer Science, vol 2491. Springer, Berlin, Heidelberg

Abstract

In this paper, we present a methodology for the design of embedded controllers for multi-vehicle multi-modal systems. Our methodology is predicated upon the principles of platform-based design, which uses layers of abstraction to isolate applications from low-level system details and yet provides enough information about the important parameters of the lower layers of abstraction, to modularize the system design and to provide predictable system performance. An essential layer of abstraction in our methodology is the software platform provided by the programming language Giotto, which allows a clean implementation of a time-based controller application. Our methodology includes a hardware-in-the-loop simulation framework, in which system components can be replaced by actual implementation for high-fidelity simulation. To demonstrate the effectiveness of our design methodology, a helicopter-based unmanned aerial vehicle system is presented. We present simulation results which validate the quality of our embedded control system implementation.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • T. John Koo
    • 1
  • Judith Liebman
    • 1
  • Cedric Ma
    • 1
  • Benjamin Horowitz
    • 1
  • Alberto Sangiovanni-Vincentelli
    • 1
  • Shankar Sastry
    • 1
  1. 1.Department of Electrical Engineering and Computer SciencesUniversity of California at BerkeleyBerkeley