AccordingtothestandardIEC61508faultinsertiontestingisrequiredfortheverificationoffail-safesystems.Usuallythesesystemsarerealizedwithmicrocontrollers.Fail-safesystemsbasedonanovelCPLD-basedarchitecturerequireadifferentmethodtoperformfaultinsertiontestingthanmicrocontroller-basedsystems.ThispaperdescribesamethodtoaccomplishfaultinsertiontestingofasystembasedonthenovelCPLD-basedarchitectureusingtheoriginalsystemhardware.Thegoalistoverifytherealizedsafetyintegritymeasuresofthesystembyinsertingfaultsandobservingthebehaviorofthesystem.Thedescribedmethodexploitsthefact,thatthesystemcontainstwochannels,wherebothchannelscontainaCPLD.DuringatestoneCPLDisconfiguredusingamodifiedprogrammingfile.ThisfileisavailableafterthecompilationofaVHDL-description,whichwasmodifiedusingsaboteursormutants.ThisallowsinjectingafaultintothisCPLD.TheotherCPLDisconfiguredasfault-freedevice.Theentiresystemhastodetecttheinjectedfaultusingitssafetyintegritymeasures.Consequentlyithastoenterand/ormaintainasafestate.微信号:safetyfirst61508
2024/10/10 15:58:57
298KB
硬件测试
1