资源描述:
《Component-Based Safety Analysis of FPGAs》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库。
1、IEEETRANSACTIONSONINDUSTRIALINFORMATICS,VOL.6,NO.2,MAY2010195Component-BasedSafetyAnalysisofFPGAsPhilippaConmyandIainBate,Member,IEEEAbstract—Component-basedandmodularsoftwaredevelop-combinedwithanalysisofothercomponentsinordertoensurementtechniqueshavebecomees
2、tablishedinrecentyears.Withoutthesystemisacceptablysafe.complementaryverificationandcertificationmethodstheben-Fieldprogrammablegatearrays(FPGAs)arebecomingin-efitsofthesedevelopmenttechniquesarereduced.Aspartofcertification,itisnecessarytoshowasystemisacceptablysa
3、fecreasinglypopularforusewithinsafetycriticalsystems.Theywhichsubsumesboththenormalandabnormal(failure)cases.containthousandsoflogicgatesandarehighlycomplexonceHowever,nonfunctionalproperties,suchassafetyandfailures,configured.Henceitisextremelydifficulttodetermi
4、netheef-areabstractionbreakers,cuttingacrossmultiplecomponents.fectthatasinglelow-levelfaultcanhaveatthesystemlevel,orAlso,muchoftheworkoncomponent-basedengineeringhasbeenappliedtosoftware-basedsystemsratherthanfieldprogrammableuponmultiplefunctionswhichmaybeemb
5、eddedonthesamegatearray(FPGA)-basedsystemswhoseuseisbecomingmoredevice.Ifthisinformationcannotbeprovided,aconservativepopularinindustry.Inthispaper,weshowhowamodulardesigndesignapproach(e.g.,TripleModularRedundancy(TMR)[2],embeddedonaFPGAcanbeexhaustivelyanalyz
6、ed(fromasafety[3])hastobetaken.Thisprotectsagainstsinglepointsoffailureperspective)toderivethefailureandsafetypropertiestogivetheandimprovesreliability,butisinefficientintermsofpowerandevidenceneededforasafetycase.Thespecificchallengesfacedareanalyzingthefaultcha
7、racteristicsofindividualelectronicweightcosts.FPGAsnaturallysupporthighlevelsofparallelismcomponents,combiningtheresultsacrosssoftwaremodules,andsothatmultiplesoftwarecomponentscanbeexecutedatthethenfeedingthisintoasystemsafetycase.Asecondarybenefitofsametime.Ag
8、ain,thisabilityisnotbeingfullyexploitedinthetakingthisapproachisthatthereislessuncertaintyintheper-safetycriticaldomainduetodifficultiesinassessingfailureandformanceofthedevi