Platform-based embedded software design for multi-vehicle multi-modal systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2491, Issue , 2002, Pages 32-45

  John Koo, T ^a   Liebman, Judith ^a   Ma, Cedric ^a   Horowitz, Benjamin ^a   Sangiovanni Vincentelli, Alberto ^a   Sastry, Shankar ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; APPLICATION PROGRAMS; EMBEDDED SOFTWARE; EMBEDDED SYSTEMS; FLIGHT CONTROL SYSTEMS; TRACTION (FRICTION); VEHICLES;

DESIGN METHODOLOGY; EMBEDDED CONTROL SYSTEMS; EMBEDDED CONTROLLERS; HARDWARE IN-THE-LOOP SIMULATION; HIGH-FIDELITY SIMULATIONS; PLATFORM BASED DESIGN; SOFTWARE PLATFORMS; UNMANNED AERIAL VEHICLE SYSTEMS;

SOFTWARE DESIGN;

EID: 77951137336     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: None     Document Type: Article

References (15)

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 EETimes, 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.