资源描述:
《Programming_Research_Group英文资料》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、ProgrammingResearchGroupSAFETY-CRITICALSYSTEMS,FORMALMETHODSANDSTANDARDSJonathanBowenVictoriaStavridouPRG-TR-5-92OxfordUniversityComputingLaboratory11KebleRoad,OxfordOX13QDSafety-CriticalSystems,FormalMethodsandStandardsJonathanBowenVictoriaStavridouAbstractStanda
2、rdsconcernedwiththedevelopmentofsafety-criticalsystems,andthesoftwareinsuchsystemsinparticular,aboundtodayasthesoftwarecrisisincreasinglyaectstheworldofembeddedcomputer-basedsystems.Theuseofformalmethodsisoftenadvocatedasawayofincreasingcondenceinsuchsystems.Thisp
3、aperexaminestheindustrialuseofthesetechniques,therecommendationsconcerningformalmethodsinanumberofcurrentanddraftstandards,andcommentsontheapplicabilityandproblemsofusingformalmethodsforthedevelopmentofsafety-criticalsystemsofanindustrialscale.Somepossiblefuturedire
4、ctionsaresuggested.FurthercopiesofthisTechnicalReportmaybeobtainedfromtheLibrarian,OxfordUniversityCom-putingLaboratory,ProgrammingResearchGroup,11KebleRoad,OxfordOX13QD,England(Telephone:+44-865-273837,Email:library@comlab.ox.ac.uk).Safety-CriticalSystems,FormalMe
5、thodsandStandardsJonathanBowenOxfordUniversityComputingLaboratoryProgrammingResearchGroup11KebleRoad,OxfordOX13QD,UKTel:+44-865-273838(272574direct)Fax:+44-865-273839Email:&VictoriaStavridouDepartmentofComputerScienceRoyalHollowayandB
6、edfordNewCollegeUniversityofLondonEghamHill,Egham,SurreyTW200EX,UKTel:+44-784-434455(443429direct)Fax:+44-784-443420Email:RevisedMay192.SubmittedtotheSoftwareEngineeringJournal.Keywords:Safety-criticalsoftware,formalmethods,softwarestandards
7、,softwareengineeringeducation/accreditation.Safety-CriticalSystems,FormalMethodsandStandardsJonathanBowenVictoriaStavridouMay1992AbstractStandardsconcernedwiththedevelopmentofsafety-criticalsystems,andthesoftwareinsuchsystemsinparticular,aboundtodayasthesoftwarecris
8、isincreasinglyaectstheworldofembeddedcomputer-basedsystems.Theuseofformalmethodsisoftenadvocatedasawayofincreasingcondenceinsuchsystems.