Formal verification of multitasking applications based on timed automata model
暂无分享,去创建一个
[1] Wang Yi,et al. Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata , 2004, TACAS.
[2] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.
[3] Z. Hanzalek,et al. Over-approximate model of multitasking application based on timed automata using only one clock , 2005, 19th IEEE International Parallel and Distributed Processing Symposium.
[4] James C. Corbett,et al. Timing Analysis of Ada Tasking Programs , 1996, IEEE Trans. Software Eng..
[5] José M. Troya,et al. Integrating Schedulability Analysis and Design Techniques in SDL , 2004, Real-Time Systems.
[6] Giorgio Buttazzo,et al. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .
[7] Andy Wellings,et al. Keynote paper: A performance analysis of a hard real-time system , 1995 .
[8] Thomas A. Henzinger,et al. Hybrid systems III : verification and control , 1996 .
[9] J. Javier Gutiérrez,et al. MAST: Modeling and Analysis Suite for Real Time Applications , 2001, ECRTS.
[10] Gary M. Koob,et al. Foundations of Real-Time Computing: Scheduling and Resource Management , 1991 .
[11] Thomas A. Henzinger,et al. Symbolic Model Checking for Real-Time Systems , 1994, Inf. Comput..
[12] Rance Cleaveland,et al. RTSL: a language for real-time schedulability analysis , 1993, 1993 Proceedings Real-Time Systems Symposium.
[13] Wang Yi,et al. Timed Automata with Asynchronous Processes: Schedulability and Decidability , 2002, TACAS.
[14] Lars Asplund,et al. A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems* , 2004, Real-Time Systems.
[15] Mark Klein,et al. A practitioner's handbook for real-time analysis - guide to rate monotonic analysis for real-time systems , 1993, The Kluwer international series in engineering and computer science.
[16] Pravin Varaiya,et al. What's decidable about hybrid automata? , 1995, STOC '95.
[17] Enrico Vicario,et al. Timed state space analysis of real-time preemptive systems , 2004, IEEE Transactions on Software Engineering.
[18] Philippe Schnoebelen,et al. Systems and Software Verification, Model-Checking Techniques and Tools , 2001 .
[19] Thomas A. Henzinger,et al. Parametric real-time reasoning , 1993, STOC.
[20] R. Obenza,et al. Rate monotonic analysis for real-time systems , 1993, Computer.
[21] Wang Yi,et al. Schedulability Analysis Using Two Clocks , 2003, TACAS.
[22] Philippe Schnoebelen,et al. Systems and Software Verification , 2001, Springer Berlin Heidelberg.
[23] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[24] Z. Hanzalek,et al. Timed automata approach to real time distributed system verification , 2004, IEEE International Workshop on Factory Communication Systems, 2004. Proceedings..
[25] Michael González Harbour,et al. Schedulability analysis for tasks with static and dynamic offsets , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).
[26] John A. Clark,et al. Holistic schedulability analysis for distributed hard real-time systems , 1994, Microprocess. Microprogramming.
[27] Didier Lime,et al. A translation based method for the timed analysis of scheduling extended time Petri nets , 2004, 25th IEEE International Real-Time Systems Symposium.
[28] A. Burns,et al. A Performance Analysis of a Hard Real-time System , 1994 .
[29] Lui Sha,et al. Rate Monotonic Analysis for Real-Time Systems , 1991 .
[30] Sérgio Vale Aguiar Campos,et al. Analysis and verification of real-time systems using quantitative symbolic algorithms , 1999, International Journal on Software Tools for Technology Transfer.
[31] Grace Tsai,et al. Specification and Timing Analysis of Real-Time Systems , 2004, Real-Time Systems.
[32] Wang Yi,et al. Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems , 2003, Real-Time Systems.
[33] Stavros Tripakis,et al. The Tool KRONOS , 1996, Hybrid Systems.