论文部分内容阅读
随着嵌入式技术的飞速发展,应用成本的大幅降低,嵌入式技术已广泛应用于航空航天、智能交通、工业自动化控制等领域。随着应用范围的不断扩张,特别是随着嵌入式系统应用在一些高危工作环境后,用户对嵌入式系统的要求也在发生着改变;用户的要求已不仅仅局限于系统的实时性与高性能等方面,开始越来越重视系统的安全性、可靠性及防危性等。防危核技术是保证系统防危性的有力手段。但目前为止,国内外对防危核的研究成果中,并未单独考虑系统工作环境的改变对防危策略的影响;但在实际工作环境下,安全关键系统的工作环境一旦改变,其防危策略也将随之发生巨大的改变;即在某种工作环境下合法的操作,在另一种工作环境下将非法。因此,使防危核具有自适应性,提高安全关键系统在不同安全环境下的可靠性与安全性防已成为研究热点之一。本文首先介绍了国内外防危技术的研究成果,并详细讨论了各防危技术的原理以及它们之间的差异。而后,详细论述了利用有限状态自动机原理构造自适应防危策略的方法,以此作为自适应防危策略来源的理论依据。再者利用反射技术原理设计出防危核模型,该模型具有良好的通用性与可扩展性。并根据自适应的特点,设计出自适应防危核的结构,在此结构中,为了提高防危核的通用性,并为了实现其自适应的特性,提出使防危核与防危策略库相隔离,且将各安全环境下的防危策略相互独立的设计思想;同时利用自适应中间件的特点,使防危核能够根据当前系统所处的安全环境,通过自适应中间件的自适应机制动态的选择适当的防危策略子库进行防危验证。然后在RTARMM平台上,本文结合了RTARMM自身结构的特点,以及其自适应机制的特性,设计并实现了自适应防危核。最后以核电站操作控制与飞机飞行控制为模型,分别建立了核电站操作与飞机飞行控制的自适应防危策略库,并对设计的自适应防危核进行了验证。最后总结了已经完成的工作和重要的创新点,并提出了防危核研究发展方向的一些设想。