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

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.

[1]  Jay K. Strosnider,et al.  The Deferrable Server Algorithm for Enhanced Aperiodic Responsiveness in Hard Real-Time Environments , 1987, IEEE Trans. Computers.

[2]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[3]  Daniel P. Schrage,et al.  An open platform for reconfigurable control , 2001 .

[4]  BerryGérard,et al.  The ESTEREL synchronous programming language , 1992 .

[5]  Michel Poize,et al.  TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[6]  Thomas A. Henzinger,et al.  Embedded Control Systems Development with Giotto , 2001 .

[7]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[8]  Günter Grünsteidl,et al.  TTP - A Protocol for Fault-Tolerant Real-Time Systems , 1994, Computer.

[9]  Wa Halang,et al.  REAL-TIME SYSTEMS .1. , 1990 .

[10]  S. Shankar Sastry,et al.  Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software , 2001, EMSOFT.

[11]  Alberto L. Sangiovanni-Vincentelli,et al.  Platform-based embedded software design and system integration for autonomous vehicles , 2003, Proc. IEEE.

[12]  Thomas A. Henzinger,et al.  Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.

[13]  Thomas A. Henzinger,et al.  A Giotto-Based Helicopter Control System , 2002, EMSOFT.

[14]  Hermann Kopetz,et al.  Real-time systems , 2018, CSC '73.

[15]  S. Shankar Sastry,et al.  Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems , 2002, HSCC.

[16]  Joseph Sifakis,et al.  An Algebraic Framework for Urgency , 2000, Inf. Comput..