Scientific Research Base
National Engineering Research Center for Trustworthy Embedded Software (under construction)
National Engineering Research Center for Trustworthy Embedded Software was established in 2013, approved by the Ministry of Science and Technology. Co-founded by the 32nd Research Institute of China Electronic Technology Group and East China Normal University, the research center is a national engineering research center with trustworthy and embedded technology as the key technology in China. Based on Reworks embedded operating systems of the 32nd Research Institute of China Electronic Technology Group and trustworthy computing of East China Normal University, the center has formed a trustworthy embedded software standard system. It implements the research and development of generic technologies, including formal modeling and analysis technology, system design and trustworthy integrated environment technology, trustworthy measurement system and analysis technology, as well as simulation test and validation assessment technology, which orient to trustworthy embedded system. These technologies provide trustworthy software engineering technology support for embedded system, improve autonomous controllable capability of major equipment and promote the comprehensive development of high-end equipment industry. The research results have been applied to rail transportation, automotive electronics, nuclear power control, industrial automation, aerospace, military electronics equipment and other safety-critical areas.
International Joint Research Center for National Trustworthy Software
On the way...
MOE Engineering Research Center of software and hardware co-design and Application
MOE Engineering Research Center of software and hardware co-design and Application was approved by the Ministry of Education in October 2007 and passed acceptance test in November 2012. Lu Xicheng, academician of Chinese Academy of Engineering, acted as the director of the first Technical Committee. He Jifeng, academician of Chinese Academy of Sciences, acted as the director of the second Technical Committee. The center relies on East China Normal University, combines with Shanghai Embedded System Institution and cooperates with relevant enterprises and institutions to construct application-oriented innovation platforms.
Aiming at the research and development of software and hardware co-design technology and its application in related areas, the center engages in the systematic software and hardware co-design technology and its application , researches and develops modern R&D highlands of information field involving Internet of Things and cloud computing. Except the systematic research results in trustworthy chip design and the formal verification of software and hardware integration, the center has also achieved convertible R&D results with intellectural property in many aspects, including smart sensor network, On-Board Diagnostic (OBD) technology and products, digital treatment, smart campus and cloud media interactive platform etc.
MOE International Joint Lab of Trustworthy Software
International Joint Lab of Trustworthy Software was approved to be established in February 2015. It was co-founded by Leiden University, Centrum Wiskunde & Informatica (CWI), Parallel Computing Laboratory of École Normale Supérieure de Lyon, Institut National de Recherche en Informatique et en Automatique (INRIA) and East China Normal University. The Lab will focus on the development strategies of national autonomous controllable security software industry, and conduct further research in trustworthy software theories, trustworthy embedded systems, trustworthy processing of data and information security. Through the accumulation of domestic and foreign resources in academia and industry, we will obtain high-level scientific research results and cultivate senior talents. We will stimulate the development of trustworthy software discipline, meet the strategic needs domestically and promote the development of trustworthy software industry with the aim to make the Lab become a world-class center for industry, education and research in the field of trustworthy software.
Shanghai Key Laboratory of Trustworthy Computing
Shanghai Key Laboratory of Trustworthy Computing was approved to be constructed in November, 2007. A strong research team has been formed since then, including one academician of Chinese Academy of Sciences, 18 professors, 15 doctoral mentors, 2 faculty members granted the China National Funds for Distinguished Young Scientists and other scholars. The Lab undertook 6 projects supported by National Basic Research Program of China (973 Program) , 6 projects supported by National High Technology Research and Development Program (863 Program), 21 projects under National Natural Science Foundation , 12 projects of Shanghai Scientific Technological Committee Research Project, 4 projects of Shanghai Ministry and Commission Projects. The Lab passed acceptance test in July 2009. It has made great achievements in trustworthy computing theory, trustworthy software construction platform and trustworthy computing application. A lot of qualified talents have gathered in the Lab and published a number of excellent papers. The Lab also acquired lots of key research projects and hosted eight international academic conferences. In accordance with the operation mechanism of "opening, flow, collaboration and competition", the lab has actively conducted trustworthy computing application research related to aerospace, ocean, finance and other areas.
Shanghai Trustworthy Internet of Things Software Collaborative Innovation Center
Shanghai Trustworthy Internet of Things Software Collaborative Innovation Center was approved to be built by Shanghai Education Committee in June 2012. Centering on the plan of national scientific and technological strategy and industry revitalization in Internet of Things (IOT) and considering the requirements of Shanghai high-tech industry on the infrastructure construction of Internet of Things, the center implements trustworthy design, product realization and engineering services of IOT software that orient to security-critical systems and establishes industry alliance. The center also focuses on key areas such as aerospace, automotive electronics, intelligent transportation, high-end equipment manufacturing, digital treatment and nuclear power technology. With a number of key technologies and relevant intellectual property rights, the center promotes the industrial organization innovation and builds the integration platform of industry, education and research. All these are for improving independent innovation and diversified competition of national Internet of Things and promoting share and transformation of technological achievements in Shanghai, the Yangtze River Delta and the nation, which can provide engineering and technical support for economic restructuring and industrial upgrading.