Modeling and analysis of real -time systems with mutex components
暂无分享,去创建一个
[1] Patricia Bouyer,et al. Expressiveness of Updatable Timed Automata , 2000, MFCS.
[2] Rajeev Alur,et al. Decision Problems for Timed Automata: A Survey , 2004, SFM.
[3] Wang Yi,et al. TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems , 2003, FORMATS.
[4] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[5] Joseph Sifakis,et al. Real-time systems specification and verification , 1995, ISSS.
[6] Patricia Bouyer,et al. Are Timed Automata Updatable? , 2000, CAV.
[7] Giorgio Buttazzo,et al. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .
[8] Wang Yi,et al. Compositional and Symbolic Model-Checking of Real-Time Systems , 1996 .
[9] Mathai Joseph,et al. Real-time systems - specification, verification and analysis , 1995, Prentice Hall International series in computer science.
[10] Eugene Asarin,et al. Scheduling with timed automata , 2006, Theor. Comput. Sci..
[11] Wang Yi,et al. Task automata: Schedulability, decidability and undecidability , 2007, Inf. Comput..
[12] Patricia Bouyer,et al. Updatable timed automata , 2004, Theor. Comput. Sci..
[13] James W. Layland,et al. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.
[14] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[15] Jacques Pulou,et al. A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems , 2006, Monterey Workshop.
[16] Robert I. Davis,et al. Robust Priority Assignment for Fixed Priority Real-Time Systems , 2007, RTSS 2007.
[17] Guoqiang Li,et al. Environmental Simulation of Real-Time Systems with Nested Interrupts , 2009, 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.
[18] Yuxi Fu,et al. On the expressiveness of interaction , 2010, Theor. Comput. Sci..
[19] John Regehr,et al. Evolving real-time systems using hierarchical scheduling and concurrency analysis , 2003, RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.
[20] Wang Yi,et al. Compositional and symbolic model-checking of real-time systems , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[21] Nancy A. Lynch,et al. The Theory of Timed I/o Automata , 2003 .
[22] 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).
[23] Joseph Sifakis,et al. D-Finder: A Tool for Compositional Deadlock Detection and Verification , 2009, CAV.
[24] Oded Maler,et al. Preemptive Job-Shop Scheduling Using Stopwatch Automata , 2002, TACAS.
[25] Joseph Sifakis,et al. Composition for component-based modeling , 2005, Sci. Comput. Program..
[26] Wang Yi,et al. Timed Automata with Asynchronous Processes: Schedulability and Decidability , 2002, TACAS.
[27] Pravin Varaiya,et al. Suspension Automata: A Decidable Class of Hybrid Automata , 1994, CAV.
[28] Joseph Sifakis,et al. Decidable Integration Graphs , 1999, Inf. Comput..
[29] Wang Yi,et al. Schedulability analysis of fixed-priority systems using timed automata , 2006, Theor. Comput. Sci..
[30] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.
[31] Thomas A. Henzinger,et al. Symbolic Model Checking for Real-Time Systems , 1994, Inf. Comput..