Special Issue's Articles

嵌入式系统软件设计方法与技术专刊前言 李宣东,于戈 2014,25(2):177-178 [Abstract(6160)]  [View PDF(8973)270.80 K]

Survey of Cache Analysis for Worst-Case Execution Time Estimation LÜ Ming-Song,GUAN Nan and WANG Yi 2014,25(2):179-199 [Abstract(7343)]  [View PDF(10117)1.21 M]

Survey on Embedded Software Safety Analysis Standards, Methods and Tools for Airborne System HUANG Zhi-Qiu,XU Bing-Feng,KAN Shuang-Long,HU Jun and CHEN Zhe 2014,25(2):200-218 [Abstract(7954)]  [View PDF(20208)1.13 M]

Formal Verification of Hybrid System BU Lei and XIE Ding-Bao 2014,25(2):219-233 [Abstract(6667)]  [View PDF(11491)1017.21 K]

Survey on Modeling and Verification Techniques of Composable Embedded Software WANG Bo,BAI Xiao-Ying,HE Fei and Xiaoyu SONG 2014,25(2):234-253 [Abstract(5901)]  [View PDF(9676)1.15 M]

Exploiting Memory Access Patterns of Programs for Energy-Efficient Memory System Techniques ZHANG Tie-Fei,CHEN Tian-Zhou and WU Jian-Zhong 2014,25(2):254-266 [Abstract(5655)]  [View PDF(9858)792.97 K]

Application of Agile Methods in Embedded Systems Development: A Systematic Review RONG Guo-Ping,LIU Tian-Yu,XIE Ming-Juan,CHEN Jie-Yu,ZHANG He and CHEN Dao-Xu 2014,25(2):267-283 [Abstract(7691)]  [View PDF(12958)1.06 M]

Partitioned Scheduling Policies on Multi-Processor Mixed-Criticality Systems GU Chuan-Cai,GUAN Nan,YU Jin-Ming,WANG Yi and DENG Qing-Xu 2014,25(2):284-297 [Abstract(6687)]  [View PDF(10210)955.04 K]

Two-Stage Workload Scheduling Problem on GPU Architectures: Formulation and Approximation Algorithm SUN Jing-Hao,DENG Qing-Xu and MENG Ya-Kun 2014,25(2):298-313 [Abstract(6442)]  [View PDF(9293)978.50 K]

Optimized Address Translation Method for Flash Memory ZHANG Qi,WANG Lin-Zhang,ZHANG Tian and SHAO Zi-Li 2014,25(2):314-325 [Abstract(6040)]  [View PDF(9954)867.99 K]

Reprogramming-Oriented Logical Programming Language for Wireless Sensor Network Applications ZHU Xiao-Rui,TAO Xian-Ping,XIE Hong-Wei and LÜ Jian 2014,25(2):326-340 [Abstract(6616)]  [View PDF(8987)962.22 K]

Construction for the Trustworthy Compiler of a Synchronous Data-Flow Language SHI Gang,WANG Sheng-Yuan,DONG Yuan,JI Zhi-Yuan,GAN Yuan-Ke,ZHANG Ling-Bo,ZHANG Yu-Cheng,WANG Lei and YANG Fei 2014,25(2):341-356 [Abstract(7531)]  [View PDF(10735)1.16 M]

Static Analysis of C Programs via Region-Based Memory Model DONG Yu-Kun,JIN Da-Hai,GONG Yun-Zhan and XING Ying 2014,25(2):357-372 [Abstract(6240)]  [View PDF(10854)958.92 K]

Method and Technique of Test Suite Generation for Embedded API ZHAO Hui-Qun,SUN Jing,ZHANG Bao and WANG Tong-Lin 2014,25(2):373-385 [Abstract(6818)]  [View PDF(9612)1.18 M]

Optimizing Static Analysis Based on Defect Correlations ZHANG Da-Lin,JIN Da-Hai,GONG Yun-Zhan,WANG Qian,DONG Yu-Kun and ZHANG Hai-Long 2014,25(2):386-399 [Abstract(6446)]  [View PDF(9282)930.24 K]

Consistency Analysis of Timing Requirements for Cyber-Physical System YIN Ling,CHEN Xiao-Hong and LIU Jing 2014,25(2):400-418 [Abstract(20333)]  [View PDF(10322)1.24 M]

Adaptive Energy Consumption Management and Analysis for Distributed Embedded System FAN Gui-Sheng,YU Hui-Qun,CHEN Li-Qiong and LIU Dong-Mei 2014,25(2):419-438 [Abstract(6678)]  [View PDF(11610)1.24 M]