技术编号：12818767
提示：您尚未登录，请点 登 陆 后下载，如果您还没有账户请点 注 册 ，登陆完成后，请刷新本页查看技术详细信息。本发明属于程序的静态分析以及模型检验领域,涉及一种基于加权下推系统的中断验证技术。背景技术随着计算机和移动互联网的飞速发展，嵌入式实时系统被广泛应用于各个行业：制造、医疗、交通以及通信等各个行业都与嵌入式实时系统有着密切联系。相对于普通计算机系统，嵌入式实时系统对于可靠性有着更高的要求，特别当一个实时系统应用在关乎生命的领域时，任何不可靠因素或某些强实时任务超过规定时限，都可能引起难以预测的严重后果。在嵌入式实时系统中，为了使系统可以及时地与外界环境进行交互，人们引入了“中断机制”：中断是实时系...
注意：该技术已申请专利，请尊重研发人员的辛勤研发付出，在未取得专利权人授权前，仅供技术研究参考不得用于商业用途。
该专利适合技术人员进行技术研发参考以及查看自身技术是否侵权，增加技术思路，做技术知识储备，不适合论文引用。
请注意，此类技术没有源代码，用于学习研究技术思路。