資源描述：
《cambridge university press realtime systems formal specification and automatic verification oct 2008外語英文電子書》由會員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在教育資源-天天文庫。
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
