资源描述：
《cambridge university press realtime systems formal specification and automatic verification oct 2008外语英文电子书》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、Real-TimeSystemsReal-timesystemsneedtoreacttocertaininputstimuliwithingiventimebounds.Forexample,anairbaginacarhastounfoldwithin300millisecondsinacrash.Therearemanyembeddedsafety-criticalapplicationsandeachrequiresreal-timespecificationtechniques.This
2、textbookintroducesthreeofthesetechniques,basedonlogicandautomata:DurationCalculus,TimedAutomata,andPLC-Automata.Thetechniquesarebroughttogethertoformaseamlessdesignflow,fromreal-timerequirementsspecifiedintheDurationCalculus,viadesignsspecifiedbyPLC-A
3、utomata,andintosourcecodeforhardwareplatformsofembeddedsystems.Thesyntax,semantics,andproofmethodsofthespecificationtechniquesareintroduced;theirmostimportantpropertiesareestablished;andreal-lifeexamplesillustratetheiruse.Detailedcasestudiesandexercis
4、esconcludeeachchapter.Idealforstudentsofreal-timesystemsorembeddedsystems,thistextwillalsobeofgreatinteresttoresearchersandprofessionalsintransportationandautomation.E.-R.OLDEROGisProfessorofComputerScienceattheUniversityofOldenburg,Germany.In1994hewa
5、sawardedtheLeibnizPrizeoftheGermanResearchCouncil(DFG).H.DIERKSisaresearchercurrentlyworkingwithOFFIS,atechnologytransferinstituteforcomputerscienceinOldenburg,Germany.REAL-TIMESYSTEMSFormalSpecificationandAutomaticVerification12ERNST-RÜDIGEROLDEROGAN
6、DHENNINGDIERKS1DepartmentofComputingScience,UniversityofOldenburg,Germany2OFFIS,Oldenburg,GermanyCAMBRIDGEUNIVERSITYPRESSCambridge,NewYork,Melbourne,Madrid,CapeTown,Singapore,SãoPauloCambridgeUniversityPressTheEdinburghBuilding,CambridgeCB28RU,UKPubli
7、shedintheUnitedStatesofAmericabyCambridgeUniversityPress,NewYorkwww.cambridge.orgInformationonthistitle:www.cambridge.org/9780521883337©E.-R.OlderogandH.Dierks2008Thispublicationisincopyright.Subjecttostatutoryexceptionandtotheprovisionofrelevantcolle
8、ctivelicensingagreements,noreproductionofanypartmaytakeplacewithoutthewrittenpermissionofCambridgeUniversityPress.Firstpublishedinprintformat2008ISBN-13978-0-511-42997-2eBook(NetLibrary)ISBN-13978-0-521-88333-7hardbackCambridgeUniversityPressh
