ensuring code safety without runtime checks for real-time control systems

《ensuring code safety without runtime checks for real-time control systems》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、EnsuringCodeSafetyWithoutRuntimeChecksforReal-TimeControlSystems∗SumantKowshik,DinakarDhurjatiandVikramAdveUniversityofIllinoisatUrbana-Champaign{kowshik,dhurjati,vadve}@cs.uiuc.eduAbstract.Thispaperconsiderstheproblemofprovidingsafepro-1.INTRODUCTIONgrammingsupportandenablingsecureonli

2、nesoftwareupgradesforcontrolsoftwareinreal-timecontrolsystems.Insuchsystems,Thispaperconsiderstheproblemofprovidingsafeprogrammingsupportandenablingsecureonlinesoftwareupgradesforcontrolofflinetechniquesforensuringcodesafetyaregreatlypreferabletosoftwareinreal-timecontrolsystems.Themaing

3、oalofthisworkonlinetechniques.WeproposealanguagecalledControl-CthatisistodesignalanguagebasedonCbutwithkeyrestrictionsthaten-essentiallyasubsetofC,butwithkeyrestrictionsdesignedtoen-surethatthesafetyofcodewritteninthelanguagecanbeverifiedsurethatmemorysafetyofcodecanbeverifiedentirelybyst

4、aticentirelybystatic(i.e.,compile-time)checking,withoutrequiringchecking,undercertainsystemassumptions.Thelanguagepermitspointer-baseddatastructures,restricteddynamicmemoryalloca-anychecksduringprogramexecution,andwithoutgarbagecol-lection.Thisgoalof100%staticcheckingdistinguishesourwor

5、ktion,andrestrictedarrayoperations,withoutrequiringanyruntimefromawiderangeofexistingsafelanguagesforgeneral-purposechecksonmemoryoperationsandwithoutgarbagecollection.Theorreal-timesystems.Thelanguagerestrictionshavebeencarefullylanguagerestrictionshavebeenchosenbasedonanunderstand-cho

6、senwithanunderstandingofbothcompilertechnologyandtheingofbothcompilertechnologyandtheneedsofreal-timecontrolneedsofreal-timecontrolsystems,inordertoachievealanguagesystems.ThepaperdescribesthelanguagedesignandacompilerimplementationforControl-C.Weusecontrolcodesfromthreedesignthatisnott

7、oorestrictivefortheclassoftargetapplications,yetnottoopowerfultoallowstaticcheckingofmemorysafety.differentexperimentalcontrolsystemstoevaluatethesuitabilityBelow,wefirstmotivatetheneedforprogramsafetyinreal-timeofthelanguageforthesecodes,theeffortrequiredtoportthemtocontrolsyst