上传者: xiong77992
|
上传时间:2024/10/10 15:58:57
|
文件大小:298KB
|
文件类型:PDF
FaultinsertiontestingofanovelCPLD-basedfail-safesystem.pdf
AccordingtothestandardIEC61508faultinsertiontestingisrequiredfortheverificationoffail-safesystems.Usuallythesesystemsarerealizedwithmicrocontrollers.Fail-safesystemsbasedonanovelCPLD-basedarchitecturerequireadifferentmethodtoperformfaultinsertiontestingthanmicrocontroller-basedsystems.ThispaperdescribesamethodtoaccomplishfaultinsertiontestingofasystembasedonthenovelCPLD-basedarchitectureusingtheoriginalsystemhardware.Thegoalistoverifytherealizedsafetyintegritymeasuresofthesystembyinsertingfaultsandobservingthebehaviorofthesystem.Thedescribedmethodexploitsthefact,thatthesystemcontainstwochannels,wherebothchannelscontainaCPLD.DuringatestoneCPLDisconfiguredusingamodifiedprogrammingfile.ThisfileisavailableafterthecompilationofaVHDL-description,whichwasmodifiedusingsaboteursormutants.ThisallowsinjectingafaultintothisCPLD.TheotherCPLDisconfiguredasfault-freedevice.Theentiresystemhastodetecttheinjectedfaultusingitssafetyintegritymeasures.Consequentlyithastoenterand/ormaintainasafestate.微信号:safetyfirst61508
本软件ID:15482690