188ÌåÓýapp¹ÙÍø_188ÌåÓýͶע

2012Äê1ÔÂ7ÈÕ£¬2011 CCF°ä½±´ó»áÔÚ±±¾©Â¡ÖؾÙÐС£»áÉÏ°ä·¢ÁËCCFÖÕÉí³É¾Í½±¡¢CCFÇàÄê¿Æѧ½±¡¢CCFÓÅÐ㲩ʿѧλÂÛÎĽ±ÒÔ¼°CCF½Ü³ö¹±Ï×½±¡¢C׿Խ·þÎñ½±¡¢ÓÅÐ㹤×÷ίԱ»á½±ºÍCCF»áÔ±·¢Õ¹ÓÅÐ㵥λºÍ¸öÈ˽±¡£Í¬Ê±£¬»¹¾ÙÐÐÁËCCFµÚÊ®½ìÀíÊ»áÀíʳ¤¾ÍÖ°ÒÇʽ¡£

±¾ÆÚµÄרÌâÊǓǶÈëʽϵͳÈí¼þÇ°ÑØ”¡£Ç¶ÈëʽϵͳµÄÔçÆÚ¶¨ÒåÊÇÖ¸¶ÔÒÇÆ÷¡¢»úÆ÷ºÍ¹¤³§ÔË×÷½øÐмà¿ØµÄÉ豸£¬Í¨³£±íÏÖΪÕë¶ÔÌض¨Ó¦ÓõļÆËã»úϵͳ¡£¾­¹ý·¢Õ¹£¬ÏÖÔÚǶÈëʽϵͳÓÐÁËÓ뻥Áª¡¢Èںϡ¢ÔƼÆËãµÈÏà½áºÏµÄÌص㣬ǶÈëʽÈí¼þµÄ±ÈÖØÒ²Ô½À´Ô½´ó¡£±¾ÆÚרÌâÎÄÕ£¬´ÓÎå¸ö²»Í¬·½Ãæ²ûÊöÁËǶÈëʽϵͳ£¬°üÀ¨ÈíÓ²¼þЭͬÉè¼Æ¡¢Ç¶ÈëʽÈí¼þ²âÊÔ¡¢ÑéÖ¤ºÍµ÷ÊÔ¡¢¿É¸ßÐÅϵͳ¡£

Ìر𱨵À

Öйú¼ÆËã»úѧ»á¾ÙÐÐ2011°ä½±´ó»á
¡¡¡¡CCFµÚÊ®½ìÀíʳ¤¾ÍÖ°ÒÇʽ
¡¡¡¡Àî¹ú½ÜÀíʳ¤ÔÚ°ä½±´ó»áÉϵĽ²»°
¡¡¡¡Ö£Î³Ãñ·¢±íÀíʳ¤¾ÍÖ°ÑÝ˵
¡¡¡¡CCF°ä·¢2011ÖÕÉí³É¾Í½±
¡¡¡¡CCF°ä·¢2011ÇàÄê¿Æѧ¼Ò½±
¡¡¡¡CCF°ä·¢2011ÓÅÐ㲩ʿѧλÂÛÎĽ±
¡¡¡¡2011 CCF½Ü³ö¹±Ï×½±
¡¡¡¡2011 CCF׿Խ·þÎñ½±
¡¡¡¡2011 CCFÓÅÐ㹤×÷ίԱ»á½±
¡¡¡¡2011 CCF»áÔ±·¢Õ¹ÓÅÐ㵥λ¼°¸öÈË

ר Ìâ

ǶÈëʽϵͳÈí¼þÇ°ÑØ  ÌØÑû±à¼­£ºÎâ¸Êɳ¡¡Íõ¡¡ÌÎ
¡¡¡¡Æ¬ÉÏϵͳоƬµÄÈíÓ²¼þЭͬÉè¼Æ  µËÑö¶«
¡¡¡¡Ç¶ÈëʽÈí¼þ×Ô¶¯·ÖÎöºÍÑéÖ¤¼¼Êõ  Áõ¡¡½£¡¡Âí¡¡Ô½¡¡Ò×ÇïƼ
¡¡¡¡Ç¶ÈëʽϵͳÈí¼þ²âÊÔ  ÕųÉÖ¾¡¡Ð»¡¡ÌΡ¡²Ü¶«¸Õ¡¡ÕÅ¡¡Â·
¡¡¡¡Ç¶Èëʽϵͳµ÷ÊÔdz̸  ÕÅÒø¿ü
¡¡¡¡°²È«¹Ø¼üϵͳµÄǶÈëʽÈí¼þ  Àî¡¡ÔÊ¡¡ÂÞ¡¡ÀÙ

ר À¸

±³ºóµÄ±³ºó  ÅËÖùÍ¢
¡¡¡¡Éç»á¼ÆË㻹ÊÇÉç»á»¯¼ÆËã  Íõ·ÉÔ¾
¡¡¡¡ÎļþϵͳµÄ·¢Õ¹ÂöÂç  ÐÜ¡¡¾¢¡¡ÅË·æ·é¡¡Áõ¿­½Ý¡¡ÕÅ×Ó¸ÕµÈ

¶¯ ̬

ÈËÎïר·Ã£ºÓ¢ÌضûÖйúÑо¿ÔºÔº³¤·½Ö®Îõ  ÃÏС·å¡¡¶¡ÖÎÃ÷
¡¡¡¡ACM µØÀíÐÅϢϵͳ¹ú¼Ê»áÒé  Ö£¡¡Óî
¡¡¡¡IEEE“½ñÈÕ¼ÆË㔼¼ÊõÈÈµã  »ÆÌú¾ü

Òë ÎÄ

Ñо¿ÐÍ´óѧÀïµÄ½ÌѧÐͽÌʦ  Ê·µÙ·ò·ÎÖ·òÂü£¨Steve Wolfman£©µÈ£¨ÒëÕߣºÍõ¡¡Ð£©

Special Report

2011 CCF Awarding Ceremony
¡¡¡¡The 10th CCF President’s Inauguration Ceremony
¡¡¡¡The 9th CCF President’ Speech at 2011 CCF Awarding Ceremony
¡¡¡¡The 10th CCF President’ Speech at the Inauguration Ceremony
¡¡¡¡2011 CCF Lifetime Achievement Award Recipients
¡¡¡¡2011 CCF Young Scientist Award Recipients
¡¡¡¡2011 CCF Outstanding Doctoral Dissertation Award Recipients
¡¡¡¡2011 Outstanding Contribution to CCF Award Recipients
¡¡¡¡2011 CCF Distinguished Service Award Recipients
¡¡¡¡2011 CCF Excellent Working Committee Award Recipient
¡¡¡¡2011 CCF Top 10 Organizations and Top 10 Individuals in Developing the Members

Features
The Frontiers of Embedded System Software
Guest Editors: Wu Gansha and Wang Tao
Hardware/Software Co-Design for System-on-Chips
Deng Yangdong
The development of System-on-Chips (SoCs) involves both hardware and software design. After reviewing the major challenges, Prof. Deng from Tsinghua University introduces major SoC design solutions. To shorten the turn-around time of design, the hardware and software of a SoC must be developed in parallel. Virtual platform based SoC
design methodology is proposed. He also reviews the high level synthesis technologies.
Automatic Analysis and Verification of Embedded Software
Liu Jian, Ma Yue and Yi Qiuping
How to maintain the high-assurance and security of software is the challenge for embedded systems. Prof. Liu et al. from the Institute of Software, CAS give their survey on the research of automatic analysis and verification of embedded software, summarize the techniques on this area, and propose the main challenges. They also show their
research work on verification and testing of real system including Android and embedded Linux.
Testing Embedded System Software
Zhang Chengzhi, Xie Tao, Cao Donggang and Zhang Lu
Quality assurance for embedded system software is an important and challenging task. Software testing remains as one of the most commonly used approaches for this task. Prof. Zhang from Hong Kong University of Science and Technology, Dr. Xie from the North Carolina State University, Dr. Cao and Prof. Zhang from Peking University give an overview
of technical issues in testing embedded system software (focusing on test coverage criteria and test oracles), through concrete examples of testing wireless senor network software.
Debugging for Embedded Systems
Zhang Yinkui
Debug is not just to remove bugs. Dr. Zhang from Intel Asia-Pacific R&D Center summarizes three kinds of debugging methods for embedded systems, Contents Communications of the CCF Vol.8 No.2 2012/2 including power-on and low-level hardware/firmware debugging, kernel-mode debuggers for OS boot loader and kernel modules, and user-mode debugger for Java/Android applications. He concludes with the concept of “Design for Debug”.
High-Dependable Technology of Embedded Software for Safety-Critical Systems
Li Yun and Luo Lei
With the rapid development of Safety-Critical Systems, the related dependable technology receives more and more attention. Dr. Li et al. from the University of Electronic Science and Technology of China present some dependable technologies, including the architecture, model-driven architecture, qualification based on standards and integration of tools. These technologies are systematic, which are helpful to build a high-dependable safety-critical system.

Columns
Internet Governance and Ecosystem
Pan Zhuting
As the chair of CCF YOCSEF forum titled Password Database Exposure on CSDN.net, Dr. Pan, the CSO of the Beijing Venustech, summarizes the major viewpoints of invited speakers on the relevant issues.
Social Computing or Socialized Computing?
Wang Feiyue
Prof. Wang from the Institute of Automation, CAS makes a discussion on direction and origin of social computing. He presents that social computing should not be considered as or pushed into a means of socialized computing and makes an investigation on the origin of terms “social computing” and“computational social studies” or “computational
sociology”. The relationship and history between social computing and computational thinking are also addressed.
The Development of File System
Xiong Jin, Pan Feng, Liu Kaijie, Zhang Zigang, Ma Jiuyue, Jiang Ji and Sun Ninghui
File system is always an indispensable component for computing systems. Dr. Xiong et al. from the Institute of Computing Technology, CAS review the evolution of existing file systems from the perspective of the technological background and the changes of I/O requirements, and make a prediction on the potential technological innovations of
file systems for data centers. They also summarize their research work in this area in the past 20 years.

Advances
Profiles Dr. Jesse Fang -- the President of Intel Labs China
Meng Xiaofeng and Ding Zhiming
2011 ACM SIGSPATIAL Conference on Advances in Geographic Information Systems
Zheng Yu
Review of the Hot Topics of Computing Now
Huang Tiejun

Translations
Teaching-Oriented Faculty at Research Universities
Steve Wolfman, Owen Astrachan, Mike Clancy,
Kurt Eiselt, Jeffrey Forbes, Diana Franklin, David
Kay, Mike Scott, and Kevin Wayne. (translated
by Wang Xin)
Developing a well-rounded university through specialization.