Advances in Embedded Software and System

PREFACE
KeynoteSpeechesandInvitedTalksAbstracts(partial)
KeynoteSpeech:AbstractionandtheC++MachineModel
BjarneStroustrup
KeynoteSpeech:IndustrializingSoftwareDevelopment
AlexanderStepanov
KeynoteSpeech:TestingMethodologiesforEmbeddedSystemsandSystems-on-Chip
LaurenceT.Yang
InvitedTalk:FromDesigntoCertification:TheResource-awareProgrammingChallenge
WalidTaha
InvitedTalk:Agent-OrientedParadigmforUbiquitousComputing
MakotoAmamiya
InvitedTalk:EmbeddedLow-PowerSystems
NaehyuckChang
InvitedTalk:AModeltoIntrusionDetectionAgents
AdrianoMauroCansian
Track1:DistributedEmbeddedComputing
MaximizingParallelismforNon-uniformDependenceLoopsusingTwoParallel
RegionPartitioningMethod
SamJinJeong
CA-Ex:ATuning-IncrementalMethodologyforApplication-SpecificCommunication
ArchitecturesinDistributedEmbeddedSystems
HailiWang,JinianBlah,YawenNiu,KunTong,andYunfengWang
AStudyonWebServicesSelectionMethodBasedontheNegotiationbetweenQoS
Attributes
Young-JunSeo,Hwa-YoungJeong,andYoung-JaeSong
TheKODAMAMethodology:AnAgent-basedDistributedApproach
GuoqiangZhong,SatoshiAmamiya,KenichiTakahashi,andMakotoAmamiya
ParallelSpatialJoinSchemeforEfficientQueryProcessinginaShared-Nothing
DatabaseCluster
WarnillChung,Soon-YoungPark,andHae-YoungBae
Track2:EmbeddedSystems
RobustTuningofEmbeddedIntelligentPIDControllerForInductionMotorUsing
BacterialForagingBasedOptimization
DongHwaKim
GuaranteedCostControlofNetworkedControlSystems:AnLMIApproach.
ShanbinLi,ZhiWang,andYouxianSun
RemoteVoltageHarmonicMonitorDeviceBasedon8-bitsMicrocontroller
KejinBao,HuanchuenZhang,andHaoShentu
AnEmbeddedControlSystemforFrequency-RegulatingHomeAppliances
LuoQinghui,TongWeiqin,ZhiXiaoli,andZongYuwei
AnApproachofSVM-BasedIrisRecognitionforEmbeddedSystem
HongyingGu,YuetingZhuang,YunhePan,andBoChen
TheResearchofCustomizableEmbeddedSystemforSedateIntelligentSewing
Equipment
ZhangKailong,ZhouXingshe,LiangKe,andLiJianjun
TheStudyondevelopmentofGPSgamemachineofspaceandaUser'sposition
informationsystembythetheme
Byoung-HoSong,Sung-KiYang,Min-HwaSin,andSang-HyunBae
ARAIDController:AnIntelIOP80321basedApproach
XiaomingDong,RuifangLiu,ZhihuTan,andJiguangWan
Track3:EmbeddedHardwareandArchitecture
HardwarefortheM-aryModularExponentiationUsingAdditionChainsSuitablefor
SmartCards
LuizadeMacedoMourelle,andNadiaNedjah
Dual-StackReturnAddressPredictor
CaixiaSun,andMinxuanZhang
TheDesignandPerformanceAnalysisofEmbeddedParallelMultiprocessing
System
GuanghuiLiu,FeiXia,XuejunYang,HaifangZhou,HengZhao,andYuDeng
FormalCo-VerificationforSoCDesignWithColoredPetriNet
ZhanJinyu,SangNan,andXiongGuangze
ANewProgramCodeCompressionAlgorithmForEmbeddedMicroprocessor
LaiMing-che,DaiKui,ShenLi,andWangZhi-ying
ADistributedArchitectureModelforHeterogeneousMultiprocessorSystem-on-Chip
Design
QiangWu,JinianBian,andHongxiXue
Hardware/SoftwarePartitioningbasedontheMixtureofTwoMeta-Heuristics,
ZhihuiXiong,SikunLi,andJihuaChen
StudyonPN-BasedFormalModelingforASIPArchitecture
ZhuYun,LiXi,GongYu-chang,WangZhi-gang
DesignofHighPerformanceSystemAreaNetworkInterfaceCardBasedon
EmbeddedSystem
XiaojunYang,LiliGuo,PeihengZhang,andNinghuiSun
ERPen:ADSPbasedportabledeviceforofflineOCRandbi-linguistic
translation
QingWang,SicongYue,RongchunZhao,andDavidFeng
Track4:MiddlewareforEmbeddedComputing
AQoS-AwareComponent-basedMiddlewareforPervasiveComputing
YuanLiao,andMingshuLi
Z-CFP:AComponentFrameworkOptimizationforPervasiveComputing
WenzhiChen,Zhoudiang,andZhaohuiWu
SpatialandTemporalAssociationBasedPrefetchingAlgorithmforSupporting
Location-BasedServices
Ho-SookKim,andHwan-SeungYong
ScudWare:AContext-awareandLightweightMiddlewareforSmartVehicle
Space
ZhaohuiWu,QingWu,dieSun,ZhigangGao,BinWu,MindeZhao
DataIntegrationinReal-TimeEmbeddedSystemEnvironment
HyunChangLee,andWanPyoHong
PredictableSporadicHardReal-timeTransactionProcessingforEmbedded
Database
LianYi,ChenTianzhou,HuangJiangwei,andYeMinjiao
ConnectorInteractionconsideringComponentCharacteristicsforMiddleware
Systems
Hwa-YoungJeong,Young-JaeSong
Track5:MobileSystems
DesignandImplementationofCooperatingandEmbeddedMediaPlayer
YueGao,BinZhang,XichangZhong,andLiuyingQu
Real-timeWirelessSemi-VideoconferencingSystem
ChengJin,JiajunBu,ChunChen,andMingliSong
Resource-AwareTechnologyforMobileTerminals
LiYun,andLuoLei
Anyplay:ASmartClientModelforOnlineMobileGame
HuachengKe,HaixiangZhang,andChunChen
TheImplementationofMobileIPinHopenSystem
YintangGu,andXichangZhong
Track6:TransducerNetwork
ClustersPartitionandSensorsConfigurationforTrackinginWirelessSensor
Networks
YongcaiWang,DianfeiHan,QianchuanZhao,XiaohongGuan,andDazhong
Zheng
GigabitEthernetVCNs'TrafficFeedbackControlModelUseBP
Dae-YoungLee,Kil-HwanChoi,Sang-HoonSong,andSang-HyunBae
Amediaaccesscontrolprotocolforwirelesssensornetworks
XiaohuaLuo,KougenZheng,YunhePan,andZhaohuiWu
ANewGradient-BasedRoutingProtocolinWirelessSensorNetworks
LiXia,XiChen,andXiaohongGuan
EnhancedWFQAlgorithmwith(m,k)-FirmGuarantee
HongxiaYin,ZhiWang,YonxianSun,andShanbinLi
WirelessSensorNetworkArchitectureBasedonClusterandAnalysisofItsEnergy
Cost
YanjunZhang,XiaoyunTeng,HongyiYu,andHanvingHu
SynchronizedDataGatheringinReal-TimeEmbeddedFiberSensorNetwork
YanfeiQiu,FangminLi,andLigongXue
IssuesofWirelessSensorNetworkManagement
LiZhigang,ZhouXingshe,LiShining,LiuGang,andDuKejun
ImplementationsofCGIQueuingModelinEmbeddedWebServer
Xi-huangZhang,andWen-boXu
ANewEmbeddedWirelessMicrocensorNetworkStructureBasedonBluetooth
Scatternet
ZhouKangqu,andYuWenge
FuzzyandReal-timeQueueManagementinDifferentiatedServicesNetworks
MahdiJalili-Kharaajoo,FarzadHabibipourRoudsari,HamidrezaKhodabandeh
AnArchitectureforEmbeddedWebServerBasedonOPC
ZhipingJia,andXinLi
Track7:EmbeddedOperatingSystem
LiquidMeta-Services:AComponent-BasedOperatingSystemLayerforPervasive
Computing
BoMa,YiZhang,andXingguoShi
OnGeneralizingInterruptHandlingintoAFlexibleBindingModelforKernel
Components
QimingTeng,XiangqunChen,andXiaZhao
AJitter-FreeKernelforHardReal-TimeSystems
ChristoAngelov,anddesperBerthing
SomeResearchProgressesonEmbeddedOperatingSystems
ChenXiangqun,ZhaoXia,andTengQiming
AnEfficientSchedulingAlgorithmforReal-timeTasksinHeterogeneous
Systems
RenXuePing,andWanJian
Anewdeadlockavoidancealgorithmforembeddedsystem
WuGang,TangZhiqiang,andTuShiliang
SmartOSEK:ADependablePlatformforAutomobileElectronics
MindeZhao,ZhaohuiWu,GuoqingYang,LeiWang,andWeiChen
AutomaticallyGenerationofDeviceDriversforEmbeddedSystems-ADevil+
LanguagePractice
YingxiYu,MingyuanZhu,andShuoyingChen
EmbeddedOperatingSystemDesign:TheResolvedandIntelligentDaemon
Approach
LiHai-yan,andLiXin-ming
Track8:Power-AwareComputing
RobustandAdaptiveDynamicPowerManagementforTimeVaryingSystem
MinLi,XiaoboWu,PingLi,andXiaolangYan
DynamicPowerManagementofComplexSystemsUsingFlowModel
ChenTianzhou,HuangJiangwei,YeMinjiao,andLianYi
AnEnergy-AwaredSimulatorforEnergyCo-estimationintheEmbedded
System
KangShuo,WangHuayong,ChengYu,WangXiaoge,andDaiYiqi
AFunctionalitybasedInstruction-LevelSoftwarePowerEstimationModelfor
EmbeddedRISCProcessors
JiaChen,Sheng-yuanWang,YuanDong,andYangYang
AStudyonDynamicPowerManagementforSelf-similarServiceRequest
WuQi,andXiongGuang-ze
Track9:Real-timeSystem
TheDesignofAdaptiveQoSControlInDistributedReal-timeEmbedded
Systems
YuanYou-wei,YanLa-mei,andGuoQing-ping
StaticReal-timeSchedulingAlgorithmsusingGraphPartitioning
KayhanErciyesandZehraSoysert
AdaptingJavatoMemoryConstrainedReal-TimeSystemsAWork-in-Progress
Report
YuqiangXian,NingZhang,andGuangzeXiong
AnAdaptiveFaultToleranceSchemeforReal-TimeEmbeddedSystem
Application
ChenHongzhou,GuGuoehang,andGuoYizun
RelatingFFTWandSplit-Radix
OlegKiselyovandWalidTaha
SelectingASchedulingPolicyforEmbeddedReal-timeMonitorandControl
Systems
LvMingsong,DengQingxuandYuGe
SharingI/OinStronglyPartitionedRealTimeSystems
RaviShah,Yann-HangLee,andDaeyoungKim
RealTimeHandPoseRecognitionUsingOrientationHistogramDatainHandPose
Space
dong-MinKim,Hwan-SeokYang,Seung-JungWi,Jong-PilJeong,Won-BaeKim,
andWoong-KiLee
Track10:EmbeddedSystemVerificationandTesting
TheFormalMethodAppliedinTheAPIsTestofEmbeddedOS
HaoSongXia,ZhongXiChang,andWangYun
AdaptiveTestProgramGenerationforEmbeddedMicroprocessorCore
HaihuaShen,LinMa,ZhaojunWang,andHengZhang
OptimizationTechniquesinaPropertyVerificationPlatformforEmbedded
System
MingZhu,JinianBian,andWeiminWu
TheHW/SWCo-VerificationofanEmbeddedMicroprocessorAmex86
JianfengAn,XiaoyaFan,ShengbingZhang,andDanghuiWang
FormalVerificationinPervasiveHardwareDesign:AComparativeCaseStudy
LuYah
UsingModel-basedTestProgramGeneratorforSimulationValidation
YouhuiZhang,JingleiWang,DongshengWang,andWeiminZheng
Track11:SoftwareToolsforEmbeddedSystems
HierarchicalIntegrationofRuntimeModels
XieChen&ChenWenzhi,ShiJiaoying,andYeLu
ACooperativeWebFrameworkofJiniintoSGi-BasedOpenHomeGateway
ChenZhang-long,TuShi-liang,andDuWei
SoftwareLoadingandUpgradingSystemforEmbeddedPlatforms
BogustawCyganek
ConsistencyPreservationinaCooperativeEditingSystemIntegratedwithEmbedded
Devices
BoJiang,JiajunBu,andChunChen
StudyonEmbeddedSoftwarePerformanceEstimationAlgorithm
GuoweiWu,andLinYao
AStructureModelingMethodforMulti-TaskEmbeddedSoftwareDesign
CaiJiamegChenTieming,andZhuLiving
Chaos-modelBasedFrameworkforEmbeddedSoftwareDevelopment
HuifengWu,JingYing,XianChen,MinghuiWu,andChangyunLi
Track12:EmbeddedSystemandAutomobileElectronics
ASchemeandAlgorithmforAutomotiveAutomaticCollisionAvoidance
System
HuajunLiu,ZhenminTang,JianfengLu,WeimingCheng,HaofengZhang,Jingyu
Yang
Vision-basedAutonomousLandVehicleBranchPlanning
HaofengZhang,WeimingCheng,ChunxiaZhao,ZhenminTang,JianfengLu,
HuajunLiu
SlidingModeTractionControlofanElectricVehiclewithFourSeparateWheel
Drives
MahdiJalili-Kharaajoo,andFarzadHabibipourRoudsari
SteeringControlofanAutomaticDriveUsingPredictiveControlStrategy
MahdiJalili-Kharaajoo
Track13:EmbeddedSystemandPervasiveComputing
TheStudyOnTheMicroOperatingSystemSupportingWirelessNetworked
Sensors
WangWan-li,ZhengKou-gen,YaoXiang,WuZhao-hui
AnNovelContentLocatingArchitectureforDecentralizedEmbedded
Application
HaitaoChen,ZunguoHuang,andHuapingHu
ANewComponentOrientedProgrammingTechnologyforEmbedded
Development
ZhengWei,Ludiang,WangXiaoge,andChenRong
ObjectInstructionModelinEmbeddedB/SDevelopment
ChenTianzhou,WangCheng,HuWei,andDaiHongjun
DynamicVoltageScalingforPower-AwareEmbeddedOperatingSystem
ZhaoXia,ChenXiangQun,GaoZhi,TengQiMing
AModelforComponentBasedDevelopmentofEmbeddedSoftware
NicolaeMarian
APerformanceTestingToolForEmbeddedSoftware
Yong-YoonCho,andChae-WooYoo
Track14:EmbeddedSystemandTelecommunication
NSPCF:NetworkSub-ProtocolComponentFramework
ChenTianzhou,DaiHongjun,andHuWei
ComponentBasedUnifiedMobileProtocolStack
ChenTianzhou,andYeMinjiao
TheresearchandsoftwaredesigningofONTbasedontheembeddedsysteminAPON
YangGuangxiang,TaoDexin,HeYah
FuzzyControlEventChannelPerformanceforDistributedReal-TimeandEmbeddedSystems
YaoHuaxin,ShiXiaoan,ZhouXingshe,ShiLihui
APrivacyMethodforMobile-BasedServicesonEmbeddedSystems
WheDarLin
ANewProgramPlatformofSmartPhone
MaGang,WangXiaoGe,YangWeiKang,andChenRong
ADesignofEmbeddedIntemetCommunicationModuleBasedonIEEE1451.2
LiJinliang,JingBo,HuWeitao,ZhangJie,andSunYong
CommumcationProtocolDecompositionandComponent-basedProtocol
Submodule
TianzhouChen,QuanGan,WeiHu,JinhuiYu
AdaptiveActiveNetworkControlandManagementSystem(AANCMS)
AliSharifi,MahdiJalili-KharaajooandFarzadHabibipourRoudsari
DynamicThreadAllocationofNetworkProcessorinDifferentiatedQoSNetworks
ZhangxiTan,ChuangLin,HaoYin,andYanfeiFan
TheDesignandImplementationofEmbeddedOperatingSystemforSmartPhone
XichangZhong,YueGao,JingXu
ResearchonPlatform-BasedandTelecom-OrientedEmbeddedSoftwareArchitecture
HuangYeming,LuDongXin,KangWangXing
TheResearchofLosslessDataCompressionAlgorithmfortheEmbeddedRealTimeSystem
Zhi-LiXu
AuthorIndex