技术编号：12550575
提示：您尚未登录，请点 登 陆 后下载，如果您还没有账户请点 注 册 ，登陆完成后，请刷新本页查看技术详细信息。本发明属于嵌入式系统领域，涉及模型检测和定理证明技术，特别涉及一种基于嵌入式操作系统微内核原型的进程间通信安全性形式化分析验证系统。背景技术一方面，随着计算机科技的飞速发展，一类具有内核精简、专用性强、易维护等特点的嵌入式微内核操作系统逐渐流行，并且在医疗、军工、民生等各大方面都得到了广泛应用。另一方面，传统宏内核操作系统由于将绝大部分功能实现于内核的设计理念，随着时间推移，不可避免的出现了代码量无比庞大，内核体积迅速膨胀，模块间依赖严重，易崩溃等问题。而微内核的提出恰恰解决了宏内核中存在的上述...
注意：该技术已申请专利，请尊重研发人员的辛勤研发付出，在未取得专利权人授权前，仅供技术研究参考不得用于商业用途。
该专利适合技术人员进行技术研发参考以及查看自身技术是否侵权，增加技术思路，做技术知识储备，不适合论文引用。
请注意，此类技术没有源代码，用于学习研究技术思路。