Event-triggered environments for verification of real-time systems
暂无分享,去创建一个
[1] P. Binns. A robust high-performance time partitioning algorithm: the digital engine operating system (DEOS) approach , 2001, 20th DASC. 20th Digital Avionics Systems Conference (Cat. No.01CH37219).
[2] John Penix,et al. Verification of time partitioning in the DEOS scheduler kernel , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
[3] Darren D. Cofer,et al. Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study , 2000, SPIN.
[4] Murali Rangarajan,et al. Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS , 2002, EMSOFT.
[5] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..