Component-based approach to run-time kernel specification and verification
暂无分享,去创建一个
[1] Juan Zamorano,et al. The design and implementation of the open Ravenscar kernel , 2001, IRTAW '00.
[2] Juan Antonio de la Puente,et al. The design and implementation of the open Ravenscar kernel , 2001 .
[3] Sergio Yovine,et al. KRONOS: a verification tool for real-time systems , 1997, International Journal on Software Tools for Technology Transfer.
[4] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.
[5] Pao-Ann Hsiung,et al. A state graph manipulator tool for real-time system specification and verification , 1998, Proceedings Fifth International Conference on Real-Time Computing Systems and Applications (Cat. No.98EX236).
[6] Juan Zamorano,et al. Precise response time analysis for Ravenscar kernels , 2002, IRTAW '02.
[7] Lars Asplund,et al. A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems* , 2004, Real-Time Systems.
[8] Sami Evangelista,et al. Quasar: A New Tool for Concurrent Ada Programs Analysis , 2003, Ada-Europe.
[9] Alan Burns,et al. The Ravenscar tasking profile for high integrity real-time programs , 1998, SIGAda '98.
[10] P. N. Amey,et al. Static analysis of Ravenscar programs , 2003 .
[11] Alan Burns,et al. Guide for the use of the Ada Ravenscar Profile in high integrity systems , 2004, ALET.
[12] Janusz Górski,et al. Formal specification and verification of a real-time kernel , 1994, Proceedings Sixth Euromicro Workshop on Real-Time Systems.
[13] Gustaf Naeser,et al. Extended abstract: evaluation of delay queues for a Ravenscar HW kernel , 2005, Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05..
[14] Thomas A. Henzinger,et al. HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.
[15] Johan Furunäs. Evaluation of Delay Queues for a Ravenscar Hardware Kernel , 2005 .
[16] Lennart Lindh,et al. A Comparison of Multiprocessor Real-Time Operating Systems Implemented in Hardware and Software , 2003 .
[17] Kim G. Larsen,et al. A Tutorial on Uppaal , 2004, SFM.
[18] Sami Evangelista,et al. Verifying linear time temporal logic properties of concurrent Ada programs with quasar , 2003, SIGAda.
[19] Juan Antonio de la Puente,et al. Precise response time analysis for Ravenscar kernels , 2002 .
[20] Luis Miguel Pinho,et al. Verifying, validating and monitoring the open Ravenscar real time kernel , 2003 .