摘要：针对可信嵌入式系统应用中将任务的最坏情况下的执行时间(WCET)作为任务的实际执行时间,导致系统资源的极大浪费的问题,提出了一种基于随机任务概率模型的方法。首先,考虑任务执行时间具有特定概率分布,并且任务具有不错过其死限的概率(NDVP)需求,同时考虑了动态电压和频率调整(DVFS)对系统可靠性的影响,利用该技术降低能耗。然后,基于动态规划算法,提出了一种具有多项式运行时间的优化算法,并进一步设计了状态剔除规则降低算法运行开销。仿真表明,所提算法与最坏执行时间模型下的最优算法相比,系统能耗降低了30%以上。实验结果表明,考虑任务的随机执行时间能在保证系统可靠性的同时大大节约系统资源。

摘要：安全关键分布式系统面临恶意窃听和错误注入攻击的挑战。以往研究主要针对防止恶意窃听,即考虑提供保密性服务,而忽略了错误注入的安全威胁。针对上述问题,考虑为消息的加解密过程进行错误检测,并最大化系统的错误覆盖率,最小化系统的异构度。首先选取AES对消息进行加解密;然后基于错误检测码确定了五种不同的错误检测方案,并求出了对应的错误覆盖率及时间开销;最后在保证实时性的约束下,提出了一种基于模拟退火(SA)的启发式算法,该算法能最大化系统的错误覆盖率和最小化系统的异构度。实验结果表明,所提算法与贪心算法相比,目标函数值提高了18%以上,该算法具有一定有效性和健壮性。

摘要：WebLogic服务器作为B/S构架信息系统重要组成部分,其运行状态在信息系统状态评价中起到重要的作用;针对电网企业B/S信息系统的状态检修需求,从内、外两方面分析并定义WebLogic服务器的健康性能指标体系,通过LoadRunner模拟真实环境进行测试分析,设计了一套从数据源中提取指标并分析得到运行状态(健康状况)的方案,开发了状态监测系统;在电网企业实际业务信息系统的应用表明,系统可实时判断WebLogic服务器CPU利用率、JVM状态等内、外在指标的正常、异常、严重、危险状态,提高信息运维人员的效率;应用结果验证了WebLogic服务器状态评价指标体系及监测系统的有效性。