Vol. 65, No. 2, June 2019
Table of Contents
RS Events & News:
Members & Chapters:
RS Outreach in Xi’an
The RS Xi’an Chapter had its 2019 first meeting at Luyuan International Hotel, Shaanxi, on May 24-25 with more than 20 attendees from industry, government research institutes, and universities. It was a two-day-long meeting with multiple seminars covering a wide range of topics from Intelligent Cyber-Physical Systems 2.0, Industry 4.0, to ubiquitous operating systems.
Professor Zhi Jin from Beijing University, China introduced the basic theories, methods, and systems of ubiquitous operating systems. Her topic included definitions and changes of ubiquitous operating systems, the structure and connotation of ubiquitous operating systems, and ecological characteristics of their research and development. Dr. Pengju Kang gave a seminar on CPS application innovation in intelligent manufacture, including industrial internet, model-based design for extreme machines, digital twins for advanced manufacturing, and digital twins application in power equipment. Professor Yunwei Dong presented his research on testing techniques for intelligent CPS (CPS 2.0) from embedded systems to CPS. Professor Xingshe Zhou gave a talk on characteristics and challenges of intelligent CPS. Professor Zijiang James Yang presented his research on bug detection and execution replay in concurrent software systems for the attack and defense of AI. Professor Wei Dong explained the automatic generation and verification of system software. Below are pictures taken during the meeting.
We would like to give special acknowledgment to the Key Lab for Embedded System Technology of Shaanxi Province for financially sponsoring this meeting. We would also like to thank students from Professor Yunwei Dong’s (Chair of RS Xi’an Chapter) research group at Northwestern Polytechnical University for their meeting services support.