安全苛求软件的安全性混沌分析.pdfVIP

维普资讯 芥 芥 芥 芥 安全苛求软件的安全性混沌分析 杨晋辉 郦 萌 (同济大学计算机科学与工程系，上海 200092) E-mail：limeng@mail．tongji．edu．an 摘 要 对软件安全性的研究大多基于概率的或随机过程的软件可靠性理论 ，但是首先安全性并不等 同于可靠性 ，再则 可靠性概念在 21世纪随科技 的发展也在演化。在研究安全苛求软件及其失效的特征 的基础上 ，使用混沌的方法研究其 安全性具有合理性 采用嵌入空间的技术可从时间序列中重构出具有系统特征 的相平面和吸引子，由此可以预测危险。 铁路联锁软件是典型的安全苛求软件 ．安全性的混沌分析将有助于实施高效的铁路联锁软件的现场测试 关键词 安全苛求软件 安全性分析 混沌 计算机联锁 软件可靠性 文章编号 1002—8331一(2005)21-0001-03 文献标识码 A 中图分类号 TP3l1 ChaoticSafetyAnalysisfortheSafety．．．CriticalSoftware YangJinhui LiMeng (DepartmentofComputerScienceandEngineering，TongjiUniversity，Shanghai200092) Abstract： Research on safety are always based on software reliability，which has been studied by a completely probability and random processmethods．Butsafety isnotequalto reliba ility and theconceptofreliability itselfneeds to be improved to meetwith the science and technology demands in the 21 century．On the basis of careful investigation onthefeaturesofSCSand itsfailures，thechaoticapproachescanbeapplied．By studyingatimeseriesof hazard，wecanemploythetechnoloyg ofembeddingspace to reconstructthe phasespaceand the attractorthatreveals the chaoticpropertiesand then we can forecasthazard．Therailway computerinterlocking system isa kind oftypical safeyt—criticalsystem and the chaotic safety analysisisusefulandhelpfulforimplementingmoreefficienton the spot software testing． Keywords：safeyt—criticalsoftware，safeyt analysis，chaos，computerinterlocking，sofwtarereliability 由于计算机系统越来越深入地介入到人类生活的方方面 段的研究方法中占统治地位．然而安全苛求软件发生事故是小 面．而这些系统中许多生命攸关的功能(vitalfunctions)是由软 样本事件 ．要得到较高的可信度必须做大量的测试工作或累积 件来实现的。因此 ，软件的安全性就变得十分重要．关于软件安