Huafeng Yu is a senior researcher with Boeing Research & Technology. His main research interests include mobile autonomous systems, model-based systems engineering, machine learning, cyber security, certification, as well as software safety and reliability. Before joining Boeing, he has been working in TOYOTA, Altran, INRIA, Gemplus, and Panasonic. Huafeng received his PhD from University of Lille 1 (France, 2008) and Master's from University Joseph Fourier (France, 2005), both in Computer Science.

Huafeng is currently a member of IEEE Technical Committee on Cybernetics for Cyber-Physical Systems (CCPS) and chair of its industry outreach subcommittee. He is also a member of SAE standard committee for AADL. Huafeng serves as associate editor of IET Journal on Cyber-Physical Systems, as well as guest editor of IEEE Transaction on Sustainable Computing. Huafeng is a member of IEEE, SAE and ACM. Huafeng is serving or has served on Program Committee of Design Automation Conference (DAC), Design, Automation and Test in Europe (DATE), International Conference on Computer-Aided Design (ICCAD), ACM Symposium on Applied Computing (SAC),  WICSA and CompArch, Analytic Virtual Integration of Cyber-Physical Systems (AVICPS).



Research interests

  • Safety and Certification for mobile autonomous systems: UAVs and Autonomous Vehicles
  • Software Verification & Validation: formal methods, timing analysis, and software certification
  • Model-Based Engineering: model-based design and model-based systems engineering
  • Software Architecture: architecture exploration and optimization
  • Emerging Applications: machine learning and cyber security

Recent publications

Algorithm and Hardware Implementation for Visual Perception System in Autonomous Vehicle: A Survey
W. Shi, M.B. Alawieh, X. Li, H. Yu
Integration, the VLSI Journal, 59: 148-156, Elsevier, 2017.

Cyber-Physical System Design from an Architecture Analysis Viewpoint

S. Nakajima, J. Talpin, M. Toyoshima, H. Yu, (Eds.), Springer, 2017.
ISBN: 9789811044359, Online access

Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems

M. Wu, H. Zeng, C. Wang, H. Yu
Invited paper in ACM/EDAC/IEEE Design Automation Conference (DAC'17), June, 2017.

Cyber-Physical Systems in Unmanned Aerial Vehicles
H. Yu
Invited tutorial in International Symposium on Quality Electronic Design (ISQED'17), March 14, 2017.

Mobile Autonomous Systems: A Safety Perspective
H. Yu
Invited talk in Workshop on Hardware and Algorithms for Learning On-a-chip (HALO@ICCAD), Nov., 2016.

Efficient statistical validation of machine learning systems for autonomous driving
                    W. Shi, M.B. Alawieh, X. Li, H. Yu, N. Arechiga, and N. Tomatsu
                    In IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2016: 36, DOI, Nov. , 2016.

CONVINCE: a cross-layer modeling, exploration and validation framework for next-generation connected vehicles
                    B. Zheng, C. Lin, H. Yu, H. Liang, and Q. Zhu
                    In IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2016: 37, DOI, Nov. , 2016.

Automotive Software Certification: Current Status and Challenges
                    H. Yu, C. Lin, and B. Kim
                     In SAE International Journal of Passenger Cars - Electronic and Electrical Systems, 9(1):2016, doi:10.4271/2016-01-0050.


Timing-oriented and architecture-centric system design using contracts
U.S. Patent No. 9459840, Issue date: October 4, 2016

Bottom-up approach for integrating models for software components using contracts
U.S. Patent No. 9477446, Issue date: October 25, 2016

Compatibility Module to Support an Automotive System Upgrade
Filed, Publication number: 20170242688

Automobile modification system providing security and fault tolerance support
Filed, Publication number: 20170221279