Dr. Huafeng Yu is a Senior Scientist specializing in Safety and AI Assurance at the U.S. Department of Transportation, Highly Automated Systems Safety Center of Excellence (HASS COE). Dr. Yu’s expertise includes verification and validation, safety and AI assurance, and certification for highly automated transportation systems. He works on AI Assurance, functional safety, and safety standards at U.S. DOT. Prior to joining U.S. DOT, he worked at Boeing, TOYOTA, ALTRAN, INRIA, Gemplus (acquired by Thales), and Panasonic. Dr. Yu received a Ph.D. in Computer Science from University of Lille, an M.S. in Computer Science from Université Grenoble Alpes, both in France.
Dr. Yu is a member of IEEE Technical Committee on Cyber-Physical Systems (CPS), AIAA Technical Committee on Intelligent Systems, and SAE S-18A Autonomy Working Group. He serves as associate editor of IET Journal on Cyber-Physical Systems, guest editor of IEEE Transaction on Sustainable Computing, ACM Transactions on Cyber-Physical Systems, and SAE journal Aerospace. Dr. Yu has served on Program Committee of NFM, DAC, RTSS. ICAA, NSV, SAC, ICPS, DATE, ICCAD, DASC, SmartWorld, ARCH, SLIP, WICSA and CompArch, and AVICPS.
Email: huafeng.yu@gmail.com
Research interests
Safety and AI Assurance: (AI-enabled) highly automated transportation systems
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
Books
Projects (selected list)
AI Assurance Program, Lead (U.S. DOT, HASS COE), September 2023 - Present
FAA Safety Assurance for AI/ML in Safety-Critical Airborne Systems, Principal Investigator (Boeing), Oct 2021 - May 2023
NASA-Boeing Autonomy Verification & Validation, Principal Investigator (Boeing), Jun 2019 – Dec 2022
Autonomous Systems Safety, Assurance and Certification (Boeing), Jan 2017 – May 2023
NASA Autonomy Verification and Validation Roadmap and Vision 2045, Principal Investigator (Boeing), Oct 2021 - Jan 2023
DARPA Assured Autonomy, Assurance lead of the Boeing team
Architecture Modeling for Autonomous Systems, Principal Investigator (Toyota), Jan 2015 – Mar 2016
Model-based System Integration, Principal Investigator (Toyota), Jan 2015 – Mar 2016
Perception Validation for Autonomous Systems, Principal Investigator (Toyota), Jan 2015 – Mar 2016
Altran Research: Research on Engineering of Complex Systems, Co-Principal Investigator, Mar 2013 – Mar 2013
European ITEA2 OPEES, Expert Research Engineer, Jan 2013 – Mar 2013
European ARTEMIS CESAR, Expert Research Engineer, Aug 2009 – Dec 2012
French ANR OPENEMBEDD, Nov 2006 – Nov 2008
Recent Publications, Panels, and Invited Talks
Feature-Guided Analysis of Neural Networks
D. Gopinath, L. Lungeanu, R. Mangal, C. Pasareanu, S. Xie and H. Yu
International Conference on Fundamental Approaches to Software Engineering (FASE), 2023
Ensuring Trustworthiness in AI-Enabled Cyber-Physical Systems
H. Yu, S. Roy, and D. Panagou
Panel of Ensuring Trustworthiness in AI-Enabled Cyber-Physical Systems, 2022 NSF Cyber-Physical Systems (CPS) Principal Investigators' (PI) Meeting
Towards Safety Assurance and Certification for AI-enabled Autonomous Systems
H. Yu
Invited talk in FAA New and Emerging Aviation Technologies (NEAT) series, November 2022
AI Safety Assurance and Certification: Challenges, Current Status and Perspectives
H. Yu
Invited talk, 1st AI Safety and Certification Workshop hosted by AIA and GWU, August 2022
Autonomy Validation and Verification Deep Dive
H. Yu, U. Topcu, D. Cofer, C. Fan, M. Durling, and E. Atkins
NASA Advanced Air Mobility (AAM) Ecosystem Working Groups (AEWG) Workshop, July 2022
Future Challenges and Solutions: A Look Forward to Complex Autonomous Systems Assurance
M. Davies, D. Cofer, H. Yu, and M. Gariel
Panel in NASA System-Wide Safety Software Verification & Validation (V&V) Capabilities Transfer Meeting, July 2022
Towards Safety Assurance of AI-enabled Autonomous Systems
H. Yu and G. Brat
Keynote in IEEE International Conference on Assured Autonomy (ICAA), March 2022
System and Safety Analysis for Autonomous Center Line Tracking with SYSAI
Y. He, H. Yu, G. Brat, and M. Davies
AIAA SciTech Forum , 2022.
Challenges in Rebooting Autonomy with Deep Learned Perception
M. Abraham, A. Mayne, T. Perez, I. de Oliveira, H. Yu, C. Hsieh, Y. Li, D. Sun, and S. Mitra
International Conference on Embedded Software (EMSOFT), 2022
Statistical learning framework for safety and failure analysis of a DNN-based autonomous aircraft system
Y. He, H. Yu, G. Brat, and M. Davies
IEEE International Conference on Machine Learning and Applications (ICMLA), 2021.
AI in Aviation Safety Assurance and Standards
H. Yu
Panel in International Symposium on Artificial Intelligence – Machine Learning in Safety Critical Systems, 2021.
Analysis of Autonomous Center line Tracking Neural Networks
I. Kadron, D. Gopinath, C. Pasareanu, and H. Yu
13rd Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), 2021.
Comparing the Performance of Traffic Coordination Methods for Advanced Aerial Mobility
I. de Oliveira, E. Pinto Neto, T. Matsumoto, H. Yu, E. Bartolomé, G. Frontera, and A. Mayne
Digital Avionics Systems Conference (DASC), 2021.
Decentralized Air Traffic Management for Advanced Air Mobility
I. de Oliveira, E. Neto, T. Matsumoto, and H. Yu
Integrated Communications Navigation and Surveillance Conference (ICNS), 2021.
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.
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.
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.
Granted patents
Automated supervision and inspection of assembly process
U.S. Patent No. 11,568,597, Issue date: January, 2023
Automated supervision and inspection of assembly process
U.S. Patent No. 11,442,438, Issue date: September, 2022
Generative Image Synthesis for Training Deep Learning Machines
U.S. Patent No. 11,113,864 , Issue date: September, 2021
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