Nothing Special   »   [go: up one dir, main page]

skip to main content
10.5555/646788.704038guideproceedingsArticle/Chapter ViewAbstractPublication PagesConference Proceedingsacm-pubtype
Article

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

Published: 07 October 2002 Publication History

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.

References

[1]
G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Information and Computation, 163:172-202, 1992.
[2]
V. Bertin, E. Closse, M. Poize, J. Pulou, J. Sifakis, P. Venier, D. Weil, and S. Yovine. Taxys = Esterel + Kronos: A tool for verifying real-time properties of embedded systems. In Proceedings of the 40th IEEE Conference on Decision and Control, pages 2875-2880, December 2001.
[3]
N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous data flow programming language Lustre. Proceedings of the IEEE, 79(9):1305-1320, September 1991.
[4]
T.A. Henzinger, B. Horowitz, and C.M. Kirsch. Embedded control systems development with Giotto. In Proc. of the Intl. Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES '01), pages 64-72, August 2001.
[5]
T.A. Henzinger, B. Horowitz, and C.M. Kirsch. Giotto: a time-triggered language for embedded programming. In Proc. of the 1st Intl. Workshop on Embedded Software (EMSOFT '01), LNCS 2211, pages 166-184. Springer-Verlag, October 2001.
[6]
B. Horowitz, J. Liebman, C. Ma, T. J. Koo, A. Sangiovanni-Vincentelli, and S. Sastry. Platform-based embedded software design and system integration for autonomous vehicles. submitted to IEEE Proceedings, 2002.
[7]
C.M. Kirsch, M.A.A. Sanvido, T.A. Henzinger, and W. Pree. A Giotto-based helicopter control system (draft), 2002.
[8]
T. J. Koo, J. Liebman, C. Ma, and S. Sastry. Hierarchical approach for design of multi-vehicle multi-modal embedded software. In Proc. of the 1st Intl. Workshop on Embedded Software (EMSOFT '01), LNCS 2211, pages 344-360. Springer-Verlag, October 2001.
[9]
H. Kopetz. Real-time systems: design principles for distributed embedded applications. Kluwer, 1997.
[10]
H. Kopetz and G. Grunsteidl. TTP - a protocol for fault-tolerant real-time systems. Computer, 27(1):14-23, January 1994.
[11]
J.A. Ledin. Hardware-in-the-loop simulation. Embedded Systems Programming, 12(2):42-60, February 1999.
[12]
A. Sangiovanni-Vincentelli. Defining platform-based design. EEDesign of EE-Times , February 2002.
[13]
B. Sprunt, S. Liu, and J. Lehoczky. Aperiodic task scheduling for hard-real-time systems. Real-Time Systems, 1(1):27-60, June 1989.
[14]
J. K. Strosnider, J. P. Lehoczky, and S. Lui. The deferrable server algorithm for enhanced aperiodic responsiveness in hard real-time environments. IEEE Transactions on Computers, 44(1):73-91, January 1995.
[15]
L. Wills, S. Kannan, M. Guler, B. Heck, J.V.R. Prasad, D. Schrage, and G. Vachtsevanos. An open platform for reconfigurable control. IEEE Control Systems Magazine, 21(3):49-64, June 2001.

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings
EMSOFT '02: Proceedings of the Second International Conference on Embedded Software
October 2002
421 pages

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 07 October 2002

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 0
    Total Downloads
  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 13 Nov 2024

Other Metrics

Citations

View Options

View options

Get Access

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media