Analysis of Scheduling Behaviour using Generic Timed Automata
暂无分享,去创建一个
[1] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[2] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.
[3] Wang Yi,et al. Timed automata as task models for event-driven systems , 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).
[4] Miguel Felder,et al. Verification of real-time designs: combining scheduling theory with automatic formal verification , 1999, ESEC/FSE-7.
[5] Mathai Joseph,et al. Real-time systems - specification, verification and analysis , 1995, Prentice Hall International series in computer science.
[6] Alan Burns,et al. The Ravenscar Tasking Profile for High Integrity Real-Time Programs , 1998, Ada-Europe.
[7] James C. Corbett,et al. Timing Analysis of Ada Tasking Programs , 1996, IEEE Trans. Software Eng..
[8] William Henderson,et al. Using Timed Automata for Response Time Analysis of Distributed Real-Time Systems , 1999 .
[9] Chung Laung Liu,et al. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.