Huafeng Yu is a senior researcher with Boeing Research & Technology. Huafeng is currently working on Safety, Assurance and Certification for Unmanned Aircraft Systems and Self-Driving Cars. His main research interests include formal methods, artificial intelligence, machine learning, model-based engineering, cyber security, and safety certification. Before joining Boeing, he has been working in TOYOTA, ALTRAN, INRIA, Gemplus (acquired by Thales), and Panasonic. Huafeng received his PhD from INRIA and 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 Cyber-Physical Systems (CPS), SAE G-34 Standard Committee on Artificial Intelligence in Aviation, SAE Standard Committee G-32 on Cyber-Physical Systems Security, SAE S-18UAS Autonomy Working Group and ANSI UASSC Working Group. He was a member of SAE standard committee for AADL. Huafeng serves as associate editor of IET Journal on Cyber-Physical Systems,  guest editor of IEEE Transaction on Sustainable Computing and ACM Transactions on Cyber-Physical Systems. Huafeng has served on Program Committee of NFM, SAC, ICPS, DAC, DATE, ICCAD, DASC, SmartWorld, ARCH, SLIP, WICSA and CompArch, and AVICPS. 



Research interests

  • Safety, Assurance and Certification: Unmanned Aircraft Systems and Self-Driving Cars
  • Perception and Planning for autonomous systems: design, optimization and evaluation
  • 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


   Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of NII Shonan Meetings

Projects (selected list)

  • NASA-Boeing Autonomy Verification & Validation, Boeing PI, Jun 2019 – Present

  • DARPA Assured Autonomy, Assurance lead of the Boeing team, May 2018 – Present

  • Autonomous Systems Safety, Assurance and Certification, Jan 2017 – Present

  • Architecture Modeling for Autonomous Systems, Toyota PI,Jan 2015 – Mar 2016

  • Model-based System Integration, Toyota PI, Jan 2015 – Mar 2016

  • Perception Validation for Autonomous Systems, Toyota PI, Jan 2015 – Mar 2016

  • Altran Research: Research on Engineering of Complex Systems,Mar 2013 – Mar 2013

  • European ITEA2 OPEES, Jan 2013 – Mar 2013

  • European ARTEMIS CESAR, Aug 2009 – Dec 2012

  • ANR OPENEMBEDD, Nov 2006 – Nov 2008

Recent publications

Towards Assurance Evaluation of Autonomous Systems
S. Beland, I. Chang, A. Chen, M. Moser, J. Paunicka, D. Stuart, J. Vian, C. Westover, and H. Yu
In International Conference on Computer-Aided Design (ICCAD), 2020. To appear.
Assured Integration of Machine Learning-based Autonomy on Aviation Platforms
E. Asaadi, S. Beland, A. Chen, E. Denney, D. Margineantu, M. Mosery, G. Pai, J. Paunicka, D. Stuart, and H. Yu
In Digital Avionics Systems Conference, 2020. To appear.
Efficient Statistical Validation of Autonomous Driving Systems
H. Yu, W. Shi, M. Alawieh, C. Yan, X. Zeng, X. Li, and H. Yu
In Safe, Autonomous and Intelligent Vehicles, Springer, 2018.
Compositional Verification for Autonomous Systems with Deep Learning Components
C. Pasareanu, D. Gopinath, and H. Yu
In Safe, Autonomous and Intelligent Vehicles, Springer, 2018.
Safe, Autonomous and Intelligent Vehicles
H. Yu, X. Li, R. Murray, Ramesh S, C. Tomlin (Eds.)
Springer series: Unmanned System Technologies, ISBN 978-3-319-97300-5, 2018.
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, ISBN: 978-9-811-04435-9, 2017.
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.

Granted patents

Automated Supervision and Inspection of Assembly Process
NL Patent No. NL2021599B1, Issue date: May, 2020
Automated Supervision and Inspection of Assembly Process
NL Patent No. NL2021588B1, Issue date: May, 2020
Generative Image Synthesis for Training Deep Learning Machines
U.S. Patent No. 10,643,368, Issue date: May, 2020
Supervising Method for Dynamic and Large Data Loads in Automotive Systems
U.S. Patent No. 10,124,779, Issue date: November, 2018
Compatibility Module to Support an Automotive System Upgrade
U.S. Patent number: 10001988, Issue date: June 2018
Japan Patent No. JP6245388B2, Granted on December 2017
Automobile modification system providing security and fault tolerance support
U.S. Patent No. 9824509, Issue date: November, 2017
Japan Patent No. JP2017138969A, Granted on January 2017
Timing-oriented and architecture-centric system design using contracts
U.S. Patent No. 9459840, Issue date: October, 2016
Bottom-up approach for integrating models for software components using contracts
U.S. Patent No. 9477446, Issue date: October, 2016

Contributions to international standards

Standardization Roadmap for Unmanned Aircraft Systems, Version 2.0
ANSI UASSC Working Group, June 60, 2020