一种运行时验证监控器的构造方法

本文结合作者课题内容,介绍了一种运行时验证技术中的监控器构造方法。该方法完整涵盖了从性质规约到监控器模型再到监控程序的全过程,过程中使用了相关开源的第三方软件使得该方法的自动化程度较高。同时由于该监控器的构造是基于三值语义,使得该监控器在一定意义上具有预测性。

达到B级安全的PMI研究与设计

现代软件系统内核采用面向对象的方法,提供对内核数据结构的保护和隐藏,但是内核的安全性设计始终没有到达理想状态。因此,在面向对象的内核设计中引入安全内核模型可以改善内核设计的安全性问题。提出的BSK安全模型是一种达到B级安全的轻量级安全内核模型,并且将BSK内核应用于PMI体系结构设计中,设计和实现了达到B级安全的PMI。

B级安全的轻量级内核BSK的设计与实现

提出的BSK安全模型是一种达到B级安全的轻量级安全内核模型。BSK对监控器和BLP模型进行扩充,借鉴Mach消息传递机制,采用面向对象机制,提出了基于安全对象的安全对象模型和消息调度模型,并且给出了BSK消息调度算法。消息调度中主体对客体的访问是有状态的,通过安全检测的访问路由信息存放于缓冲器中,避免过多的安全判定对性能的损失。

中小企业弹性ERP系统架构的设计

针对中小企业发展特点和对企业资源计划(Enterprise Resource Planning,ERP)系统的特殊需求,提出一种层次型弹性ERP系统架构。该架构包括用户界面层、业务表示层、业务逻辑层、数据持久层四个层次。通过在各层次中进一步划分子层或模块的方式,可使对系统的弹性要求得以满足。结合开源软件OpenbravoERP可完成该构架的实现和测试。实验证明该架构具有适应性强、可裁剪和易扩展的优点,以该架构为基础的应用系统能够较好的满足中小企业实际需要。