Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems
暂无分享,去创建一个
Alberto L. Sangiovanni-Vincentelli | S. Shankar Sastry | Judith Liebman | Benjamin Horowitz | Cedric Ma | Tak-John Koo | A. Sangiovanni-Vincentelli | S. Sastry | T. Koo | Benjamin Horowitz | Judith Liebman | Cedric Ma
[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..