Simulation and Verification of Embedded Real-time Multitasking Applications
暂无分享,去创建一个
[1] J.-J. Schwarz,et al. Hierarchical correctness verification in multiphase real-time software design , 1995 .
[2] John A. Stankovic,et al. Misconceptions About Real-Time Computing , 1988, Computer.
[3] Y. Trinquet,et al. Timing constraints of real-time application : an attempt to verification , 1997 .
[4] Alan C. Shaw,et al. Communicating Real-Time State Machines , 1992, IEEE Trans. Software Eng..
[5] Franck Cassez,et al. Compilation of the ELECTRE Reactive Language into Finite Transition Systems , 1995, Theor. Comput. Sci..
[6] Wang Yi,et al. Automatic verification of real-time communicating systems by constraint-solving , 1994, FORTE.
[7] Wang Yi,et al. Diagnostic Model-Checking for Real-Time Systems , 1995, Hybrid Systems.
[8] Rachel Cardell-Oliver,et al. Analysis of Scheduling Behaviour using Generic Timed Automata , 2001, Electron. Notes Theor. Comput. Sci..
[9] Rachel Cardell-Oliver,et al. A method for verifying real-time properties of Ada programs , 2001, Proceedings Seventh IEEE International Conference on Engineering of Complex Computer Systems.
[10] Florence Pagani. Ordres partiels pour la vérification de systèmes temps réel , 1997 .
[11] Valérie Bertin,et al. Towards validated real-time software , 2000, Proceedings 12th Euromicro Conference on Real-Time Systems. Euromicro RTS 2000.
[12] Conrado Daws,et al. Two examples of verification of multirate timed automata with Kronos , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[13] E. Niel,et al. Techniques for the Behaviour Verification of Real-Time Multitasking Components , 1999 .
[14] Alan C. Shaw,et al. Reasoning About Time in Higher-Level Language Software , 1989, IEEE Trans. Software Eng..
[15] Zhongwei Huang,et al. From CRSM specification to a real-time multitasking execution model , 1999, ISIE '99. Proceedings of the IEEE International Symposium on Industrial Electronics (Cat. No.99TH8465).