基于时间自动机的实时系统建模及验证

实时系统必须在一个事先定义好的时间限制内对来自外部或内部的事件进行响应,如何有效验证实时模型的正确性和安全性是一个难点.文章通过多个时间自动机来模拟实时系统中的各个对象,并用UPPAAL对模型进行验证,减少了模型验证的状态搜索空间,为实时嵌入式系统开发和验证提供了一种可行、安全的控制机制.实验结果显示了系统的有效性.     

CSCW技术中的公路物流系统研究

介绍了基于CSCW(计算机支持的协同工作)架构的公路物流系统的总体技术方案,通过将软件即服务(SaaS)技术、WebGIS技术等的融合,实现了CSCW对不同租户异质流程和异质数据支持的公路物流系统.实际应用表明,该系统对物流企业降低成本,提升运作效率,增强企业综合竞争力有着重要作用.