ying lu csgcseunledu apology multiple copies posting call papers first international workshop cyberphysical systems wcps2008 conjunction icdcs 2008 june 20 2008 beijing china travel grant upto 1000 travel grant available every accepted paper conference httpwwwenginumdumicheduicdcs workshop httpwwwqhdctccomwcps2008 important dates paper submission november 26 2007 notification acceptance feb 11 2008 camera ready papers march 9 2008 currently witnessing emergence infrastructure technical economic social revolution enabled cyberphysical systems cps cyberphysical systems physical engineered systems whose operations integrated monitored controlled computational core integration computational physical processes exhibit complicated behavior analyzed computational physical sciences alone systems also transcend traditional computercontrolled systems scale dependence manmachine interaction rich communication infrastructure enabled internet challenging rd software problems cyberphysical systems associated producing distributed realtime embedded platforms applications computers control physical chemical biological processes devices examples systems include airplanes air traffic control systems automobiles power grids oil refineries patient monitoring systems despite advances standardsbased commercialofftheshelf cots technologies key challenges must addressed cots software used build missioncritical distributed realtime embedded dre systems effectively productively furthermore existing critical infrastructures oversee operations everything nuclear power plants traffic lights yet may even able accept static upgrades patches dynamic change behavior remain us quite time dynamically retrofitting systems maintaining stability within cyber environment significant challenge yet overcome international workshop cyberphysical systems wcps2008 international forum researchers exchange information regarding advancements state art practice cps well identify emerging research topics define future cps technical program wcps2008 consist invited talks paper presentations panel discussions topics interest summary main topics interest grand challenges requirements architectures innovations abstractions cyberphysical systems well technical challenges interface manipulate physical world particular seeking papers limited following main areas architecture infrastructure current architectures cyber physical systems tend based layers network os middleware evolved decades context generalpurpose computing systems one goal topic area seek architectural abstractions mechanisms formalisms better suited needs cyberphysical systems example topics include approaches refactoring technology base collapseremove layers techniques managing qos properties toptobottom endtoend ultralargescale cyberphysical systems fundamental system services decades experience enterprise systems yielded reasonably good abstractions technologies developing reusable services transactions discovery naming event notification much less consensus experience however appropriate abstractions technologies fundamental system services cyberphysical systems example topics include multiility services security reliable predictable replicabased fault detection isolation frameworks operate resourceconstrained safety missioncritical cps environments service compositionsynthesis area involves rigorous evidenceproducing composition composites system services often using novel languages models computation example topics include type systems qos contracts checkable properties dynamic event structures synthesis mixedcriticality rtos tailored domain x time scheduling behavioral interaction partitioningisolation central crosscutting issues interaction coordination single critical infrastructure facility thousands devices supervisory control data acquisition scada systems spread hundreds miles devices typically physically protected environment yet interactions among hand go cyber space poses challenge us calls paradigm interaction coordination centric proactive monitoring numerous existing systems chemical plants oil refiners power grids existence correctly functioning many years considered vulnerable systems envisioned run cyber environment become todays reality theses systems face high risk terrorist target though cyber invasions side question rebuild prescribe complete upgrade systems worse yet may even expensive take mentality dispatchand thenpatch therefore external lightweight proactive monitoring systems essential building retrofitting cps applications experiences new cps applications experiences telephysical services smart transportation etc learn past experiences encounters reallife applications experiences new technologies develop skill set tools perform better future paper submission workshop solicits original previously unpublished papers reporting results research andor industrial experience well discussion grand challenges requirements submit full paper 6 pages ieee computer society proceedings manuscripts two columns singlespaced including figures references using 10 font size number page confirm ieee computer society proceedings manuscripts following web page url httpcomputerorgcspressinstructhtm contact author must input following information wcps2008 web site paper title authors names affiliations postal address phone fax email address author 200250 word abstract keywords prepare paper pdf file adobe format send following web site submission web site httpwwwqhdctccomwcps2008 submission paper implies paper accepted least one authors register present paper workshop accepted paper must full registration order include paper conference proceedings accepted papers given guidelines preparing submitting final manuscripts together notification acceptance organization committee general cochairs aloysius k mok university texas austin usa shangping ren illinois institute technology usa carolyn talcott sri internationalusa steering committee helen gill national science foundation usa teiwei kuo national taiwan university taiwan raj rajkumar carnegie mellon university usa wei zhao rensselaer polytechnic institute usa publicity chair limin shen yanshan university china program committee tarek abdelzaher university illinois urbanachampaign gul agha university illinois urbanachampaign luca de alfaro stanford university rajeev alur university pennsylvania albert k cheng university houston jeff grey university alabama birmingham chris gill washington university st louis joseph giordano dolphin technologies steve goddard university nebraskalincoln zonghua gu hong kong university science technology joshua guttman mitre thomas henzinger university california berkeley sharon hu university notre dame insup lee university pennsylvania jane liu academia sinica taiwan steve liu texas university zhiyong liu chinese academy sciences china ying lu university nebraska lincoln chenyang lu washington university stlouis jerzy nogiec fermi national accelerator laboratory jens palsberg university california los angeles douglas c schmidt vanderbilt university joseph sifakis verimag laboratory france limin shen yanshan university china kang shin university michigan ann arbor oleg sokolsky university pennsylvania jeffrey tsai university illinois chicago shambhu upadhyaya university buffalo jan vitek purdue university shengquan wang university michigan dearborn yongji wang software institute chinese academy scienceschina iling yen university texas dallas ying lu assistant professor department computer science engineering university nebraska lincoln httpwwwcseunleduylu _____________________________________________________________________________________________ unsubscribe please send email majordomo cseunledu line body unsubscribe rtsgroup thu 07 aug 2008 235439 0500 uai cfp first international workshop cyberphysical systems