摘要：航空嵌入式实时系统越来越复杂,AADL(Architecture Analysis&Design Language)是基于模型驱动的嵌入式实时系统的设计与实现的基础,未解决基于AADL模型的软件可信性度量与分析方面研究内容还不完善的问题,针对航空电子系统实例,对基于AADL模型的软件研究了一种综合的可信性度量方案。首先,从复杂性、规模、内聚性及耦合性四个方面进行可信性度量并形成度量指标;其次,将AADL故障模型转换为Markov模型,进而提出了对基于AADL故障模型的软件进行可信性度量的方法;再次,将模糊综合评价法应用于基于AADL模型的软件可信性评估之中,将度量指标建立评估模型;最后,实现了可信性度量与评估工具。结果表明:该工具通过用户定制可信性度量模型并度量解析后的AADL模型。可见,该方法较好地反映了开发早期阶段的航空软件的可信性特征。

摘要：针对移动智能设备在移动办公等方面遇到的管控难题,基于移动设备管理平台和移动安全门户提出了一种多维一体化的管控方案,实现对智能终端进行统一管理和安全管控。方案通过Openfire(即时通讯框架)传输管控命令,并结合token(令牌)动态验证方式及Redis(远程字典服务)消息队列技术,在管理平台和移动门户之间建立管控命令和安全策略的传输机制,并实现对移动数据进行区域隔离和分片加密存储。方案不仅能精准地发送管控信息,而且能根据管控策略灵活管理移动设备的软硬件能力,同时对移动数据的加密处理也有效降低了移动数据被窃取的风险。