Topics include:
The tutorial will also cover some new trends (such as AI toward autonomous testing; machine learning and its application in testing; testing in emerging fields, including internet of things and automotive electronics; and functional safety in automotive electronics, and ISO 26262).
Software Testing and Evaluation Center, Army Engineering University of PLA
Professor, received Ph.D degree from PLA university of Science and Technology. He is a member of CCF and ACM. He is currently a professor of software engineering at Software Testing and Evaluation Center from Army Engineering University of PLA. He has presided over more than 20 national 863 projects, military scientific research projects and Jiangsu Provincial Fund projects, won 6 military and provincial science and technology progress awards, published more than 30 high-level academic papers in domestic and international journals and important academic conferences as the first author. His current research interests include software testing, quality assurance, data mining and empirical software engineering.
Beijing Jinghang Research Institute of Computing and Communication
Senior engineer, He has been engaged in software engineering implementation and technical research of FPGA for many years. He participated in the preparation of the 2012 version of FPGA Software Engineering Implementation System Documents of the Third Academy of CASIC and the revision of the 2016 version. He also participated in the formulation of national military standards and national standards for FPGA software development requirements, test requirements, reliability and safety design guidelines, and documenting specifications.
Technology and Engineering Center for Space Utilization, Chinese Academy of Sciences
Ph.D, senior engineer of the technology and Engineering Center of Space Utilization, Chinese Academy of Sciences, vice director of the Space Software Evaluation Center of the Chinese Academy of Sciences.
The research direction is high reliability software testing and flexible intelligent simulation testing technology. Engaged in the research and practice of aerospace key FPGA/SOPC verification methods, research and application of intelligent test platform. At the same time, she is also responsible for many large-scale test systems such as flexible integration test system of space station. She has obtained many remarkable results in the field of FPGA/SOPC test theory and technical method research, published more than 20 papers and obtained 6 invention patents, more than 10 software copyrights.
The 709th Research Institute, China Shipbuilding Industry Corporation
Graduated from Harbin engineering university, member of the Fault tolerant computing Committee, CCF, director of the FPGA and information safety testing laboratory of Wuhan software testing center, China Shipbuilding Industry Corporation.
Engaged in the FPGA design, development and testing for more than twenty years; published dozens of papers; obtained several patents for inventions; participated in writing the book of EDA and integrated circuit design; undertaken the development, design and verification of multiple models of password security chip and the interface conversion chip, participated in the design and testing of the security system in traffic and charges.
Software Testing and Evaluation Center of CASIC Fourth Academy, Wuhan
Graduated from College of Computer Science, Chongqing University. Deputy director and Senior Engineer of Software Testing and Evaluation Center of CASIC Fourth Academy, Wuhan.
Engaged in the FPGA development, more than ten years' experience in designing and verification. Responsible for military and civil FPGA software testing and verification projects, involving aerospace, aviation, shipbuilding and other fields. Experienced in FPGA testing and verification.
Beijing Jinghang Research Institute of Computing and Communication
Senior engineer of Beijing Jinghang Research Institute of Computing and Communication, member of a certain type of software engineering implementation expert group.
He has been engaged in software engineering implementation and technical research of FPGA for many years. He participated in the preparation of the 2012 version of FPGA Software Engineering Implementation System Documents of the Third Academy of CASIC and the revision of the 2016 version. He also participated in the formulation of national military standards and national standards for FPGA software development requirements, test requirements, reliability and safety design guidelines, and documenting specifications. During the work period, he published 7 papers and obtained 2 invention patents and 2 software copyrights.
Aerospace Software Testing and Evaluation Center, Beijing Institute of Computer Technology and Applications
Graduated from The Graduate School of The Second Academy of China Aerospace, Senior Engineer, Technical Director of FPGA Testing and Evaluation Department.
Has been engaged in FPGA verification and chip security for many years, especially in the field of high-security military FPGA verification has extensive experience. Committed to the research of FPGA related standards, participated in the formulation of a number of industry standards/national military standards.
Software Testing and Evaluation Center of CASIC Fourth Academy, Beijing
Graduated from Nanjing University of Aeronautics and Astronautics.
Has been engaged in software testing and FPGA verification for more than ten years. Research field is high security and reliable chip verification technology. Experienced in FPGA verification of aerospace weapon systems, such as Guidance system.
Shanghai Dizhen Computer Technology Co. LTD
Graduated from Beijing Institute of Technology, CTO of Shanghai Dizhen Computer Technology Limited, member of the CCF Technical Committee on Fault-Tolerant Computing.
Has been engaged in FPGA and embedded test validation for many years, specializing in formal validation, participated in the testing and verification of various types of high safety systems/subsystems in aerospace/aviation/electronics/ nuclear/weapons, such as pterosaur/photoelectric guidance/seeker/airborne radar/airborne electromechanical management system/fuel control system/hualong series nuclear reactor control system/encryption information transmission system.
Beijing Jinghang
