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

Chaotic Safety Analysis for the Safety-Critical Software

作　　者：杨晋辉[1] 郦萌[1] 

机构地区：[1]同济大学计算机科学与工程系,上海200092

出　　处：《计算机工程与应用》2005年第21期1-3,7,共4页Computer Engineering and Applications

基　　金：教育部博士学科点专项科研基金(编号:20030247021)

摘　　要：对软件安全性的研究大多基于概率的或随机过程的软件可靠性理论,但是首先安全性并不等同于可靠性,再则可靠性概念在21世纪随科技的发展也在演化。在研究安全苛求软件及其失效的特征的基础上,使用混沌的方法研究其安全性具有合理性。采用嵌入空间的技术可从时间序列中重构出具有系统特征的相平面和吸引子,由此可以预测危险。铁路联锁软件是典型的安全苛求软件,安全性的混沌分析将有助于实施高效的铁路联锁软件的现场测试。Research on safety are always based on software reliability,which has been studied by a completely probability and random process methods.But safety is not equal to reliability and the concept of reliability itself needs to be improved to meet with the science and technology demands in the 21st century.On the basis of careful investigation on the features of SCS and its failures,the chaotic approaches can be applied.By studying a time series of hazard,we can employ the technology of embedding space to reconstruct the phase space and the attractor that reveals the chaotic properties and then we can forecast hazard.The railway computer interlocking system is a kind of typical safety-critical system and the chaotic safety analysis is useful and helpful for implementing more efficient on the spot software testing.

关 键 词：安全苛求软件 安全性分析 混沌 计算机联锁 软件可靠性 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]