排序方式: 共有7条查询结果,搜索用时 15 毫秒
1
1.
2.
针对构建MILS安全嵌入式操作系统需求,提出一种基于微内核的安全机制。通过微内核的安全监控机制和时空隔离结构,为系统提供安全性和可靠性的基础支撑,避免操作系统中访问控制机制被篡改、绕过,采用任务间时空隔离和消息传递机制使得各个安全关键任务独立运行,通过受控的消息机制进行交互,有效保证了各个模块的独立安全性。采用微内核架构能够进一步形式化验证,从而在安全的系统结构的下提高任务的安全性和可靠性。 相似文献
3.
PDM系统中权限管理方法的研究与应用 总被引:1,自引:0,他引:1
总结了PDM权限管理特点,重点讨论了PDM中权限的集合定义和用户权限判定的函数表示,在分析产品数据分类、企业用户组织模式和权限分类的基础上,提出了基于产品数据分类的权限管理模型,并给出了该模型的应用实例.该模型较好地协调了产品数据共享和保护两方面的需求,并且权限控制逻辑条理清楚,易于实现. 相似文献
4.
通过分析研究DO-178B标准,提出了适用于大规模机载软件开发和验证的集成过程.过程紧密集成基于需求的开发活动和基于需求的验证活动,实现需求和代码的一致性目标.通过在过程中引入全局需求和需求子集开发活动,为软件开发和验证活动并行化创造了基础条件,进而提高工作效率,满足大规模软件众多项目人员协同工作及缩短项目周期的要求. 相似文献
5.
6.
7.
提出了机载嵌入式文件系统ACoreFS的体系结构。针对机载嵌入式环境资源有限的特点,将ACoreFS设计为独立可拆卸系统组件。设计了虚拟文件系统(VFS)层,为应用程序提供一致的文件系统接口。VFS为逻辑文件系统提供统一的抽象接口,用户可根据项目要求和存储设备的特性选择挂载不同的逻辑文件系统。为提高设备访问性能,设计了块设备数据高速缓冲层,使用哈希表对数据块进行管理,提高了系统效率。 相似文献
1