资源描述:
《Formal Development of a Network-Centric RTOS - Software Engineering for Reliable Embedded Systems 2011.pdf》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、FormalDevelopmentofaNetwork-CentricRTOSEricVerhulst•RaymondT.BouteJoseMiguelSampaioFaria´•BernhardH.C.SputhVitaliyMezhuyevFormalDevelopmentofaNetwork-CentricRTOSSoftwareEngineeringforReliableEmbeddedSystems123EricVerhulstRaymondT.BouteAltreonicNVDepartmentofInformationTech
2、nologyGemeentestraat61AB1UniversiteitGentB3210Leuven,BelgiumFacultyofEngineeringEric.Verhulst@lancelot.beSt.Pietersnieuwstraat419000GentJos´eMiguelSampaioFariaBelgiumRuaSradasBoasNovas776boute@intec.UGent.be4935-490MazarefesPortugalBernhardH.C.Sputhjmfaria@criticalsoftware
3、.comOpenLicenseSocietyZavelstraat160VitaliyMezhuyev3010LeuvenOpenLicenseSocietyBelgiumZavelstraat160bernhard.sputh@openlicensesociety.org3010LeuvenBelgiumVitaliy.Mezhuyev@openlicensesociety.orgISBN978-1-4419-9735-7e-ISBN978-1-4419-9736-4DOI10.1007/978-1-4419-9736-4Springer
4、NewYorkDordrechtHeidelbergLondonLibraryofCongressControlNumber:2011933844cSpringerScience+BusinessMedia,LLC2011Allrightsreserved.Thisworkmaynotbetranslatedorcopiedinwholeorinpartwithoutthewrittenpermissionofthepublisher(SpringerScience+BusinessMedia,LLC,233SpringStreet,Ne
5、wYork,NY10013,USA),exceptforbriefexcerptsinconnectionwithreviewsorscholarlyanalysis.Useinconnectionwithanyformofinformationstorageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynowknownorhereafterdevelopedisforbidden.Theuseinthispublic
6、ationoftradenames,trademarks,servicemarks,andsimilarterms,eveniftheyarenotidentifiedassuch,isnottobetakenasanexpressionofopinionastowhetherornottheyaresubjecttoproprietaryrights.Printedonacid-freepaperSpringerispartofSpringerScience+BusinessMedia(www.springer.com)PrefaceHow
7、canoneimprovewithafactorof10onsomethingthathasalreadythereputationofbeinghighlyoptimised?Theanswerliesinignoringthemostoftenwrongassumptionthatitisalreadyhighlyoptimisedandbygoingbacktobasics.Thisinevitablyincludesdevelopinganewformalisationoftheproblemathand.Inourcase,thi
8、smeantthinkinganewaboutwhatadistributedRTOS(RealTimeOperatingSystem)isallabout.Whatisthec