資源描述：
《a Programming Model for Distributed Embedded Systems》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫(kù)。
1、ExecutionStrategiesforPTIDES,aProgrammingModelforDistributedEmbeddedSystemsJiaZou,SlobodanMatic,EdwardA.Lee,ThomasHuiningFengPatriciaDerlerElectricalEngineeringandComputerScienceComputerScienceUniversityofCalifornia,BerkeleyUniversityofSalzburgBerkeley,USA.Salzburg,Austria{jiazou,matic,
2、eal,tfeng}@eecs.berkeley.eduPatricia.Derler@cs.uni-salzburg.atAbstract—Wede?neafamilyofexecutionpoliciesforaintoadeployableimplementation.Thus,PTIDESfollowstheprogrammingmodelcalledPTIDES(ProgrammingTemporallyprinciplesofmodel-baseddesign[11].IntegratedDistributedEmbeddedSystems).APTIDE
3、Sapplica-PTIDESbuildsonthesolidsemanticfoundationofDEtion(factoryautomation,forexample)isgivenasadiscrete-models[12],whichmakesitmucheasiertogetdeterminateevent(DE)modelofadistributedreal-timesystemthatincludessensorsandactuators.ThetimestampsofDEeventsareboundconcurrentcompositionofsof
4、twarecomponentsthanitistophysicaltimeatthesensorsandactuators,turningtheDEwiththreads[13].Moreover,akeystrengthofPTIDESismodelintoanexecutablespeci?cationofthesystemwithexplicitthatitsdistributedsoftwarespeci?cationsareexplicitaboutreal-timeconstraints.Thispaper?rstde?nesageneralexecuti
5、onend-to-endlatencybetweensensorsandactuators,makingstrategythatconformstotheDEsemantics,andthenspecializesthebehaviorofthesoftwareinthecontextofcyber-physicalthisstrategytogivepractical,implementableanddistributedpolicies.Ourpoliciesleveragenetworktimesynchronizationsystemsmuchmorerepe
6、atableandpredictable.Thiscontraststoeliminatetheneedfornullmessages,allowindependentwiththemoreindirectmechanismstypicallyused,whereforeventstobeprocessedoutoftimestamporder,thusincreasingexampleprioritiesforsoftwaretasks(vs.actuatoractions)areconcurrencyandmakingmoremodelsfeasible(w.r.
7、t.real-timeempiricallydeterminedandexperimentallyveri?ed.constraints),andimprovefaultisolationindistributedsystems.DistributedDEsimulationisanoldtopic[7].ThefocusThepoliciesaregivenintermsofasafetoprocesspredicateoneventsthatdependsonthetimestampoftheeventsandthelocalhasbeenona
