一种基于模型的功能性危险源分析方法及应用.pdfVIP

第30卷第7期 北京理工大学学报 V01．30No．7 of Instituteof 20lO年7月Transactions Jul．2010 Beijing Technology 一种基于模型的功能性危险源分析方法及应用 王海峰 (北京交通大学电子信息工程学院，北京 100044) 摘要：为解决安全关键系统开发早期传统危险源分析方法不精确和不完备的问题，提出了一种基于SCADE critical (safety applicationdevelopment 功能性体系结构模型和功能故障模型，将两种模型集成起来，同时，基于SCADE实现一种系统危险场景捕捉算法， 对集成后的模型进行分析，得到系统的安全关键功能和系统危险源．将此方法应用于铁路信号计算机联锁系统，仿 真结果表明，该方法可以提高功能性危险源分析的精确性和完备性． 关键词：危险源分析；模型；安全关键系统；计算机联锁 中图分类号：U284．3 文献标志码：A 文章编号：1001—0645(2010)07-0849—06 ACase onModelBasedFunctionalHazard Study Analysis WANG Hai—feng (SchoolofElectronicandInformation 100044，China) Engineering，BeijingJiaotongUniversity，Beijing of critical hazard is Abstract：In development，traditional earlystagesafety system analysis inaccurateand overcomethe critical incomplete．To shortcomings，aSCADE(safetyapplication environment)model—basedtofunctionalhazard HA)is development approach analysis(Fu SCADEdataflowwasusedtoconstructfunctionalarchitecturemodeland proposed．The system functionfaultmodel，andthenthattwomodelswere intoonemodel．Basedon integrated risk SCADE，the modelwas the of a scenario integrated analyzedby wayimplementing capturing