SlideShare a Scribd company logo
1 of 37
Download to read offline
Validation Framework for
Autonomous Aerial Vehicles
Research Efforts on the V&V of Autonomous Vehicles
03/03/2020
RKA 2016-06-22
M. Ilhan Akbas, Ph.D.
Assistant Professor of Electrical and Computer Engineering
Embry-Riddle Aeronautical University
Outline
• About Our Research
• Rise of Autonomy and Challenges
• Validation Framework
• Related Research Themes
• Summary
About Our Research
• M. Ilhan Akbas
– BS in EE, MS and PhD on Communication Technologies
– Post Grad Work on Modeling & Simulation Projects
– Industry Experience in Defense, NATO Projects
• Research on AVs, CPS, Intelligent Mobility
• Projects from NSF, Cyber Florida, State
• Published in SAE, IEEE Trans., ACM
• Teaching AV, M&S, Soft. Eng, Networks, Security
Outline
• About Our Research
• Rise of Autonomy and Challenges
• Testing Framework
• Related Research Themes
• Summary
Self-Driving Cars
McKinsey defines the DNA of Industry 4.0 convergent disruption as the
proliferation of big data, adv. analytics, HMI and dig.-to-physical transfers.
Autonomous Drones
McKinsey defines the DNA of Industry 4.0 convergent disruption as the
proliferation of big data, adv. analytics, HMI and dig.-to-physical transfers.
Market Disruptions
Autonomous Cars
• Changing car ownership, MaaS.
• Insurance, maintenance, towing etc.
• Disabled and elderly will have access to mobility.
• Parking practices will change.
Autonomous Drones
• Ground delivery vs drone delivery.
• Air taxis, MaaS.
• Efficient services such as surveillance, mapping.
• Airline/helicopter piloting changes.
Potential Impact:
● 24x7 Access
● Reuse of Infrastructure
(Utilization)
● On-call Access
Simplifications:
● Limited Paths
● Managed Intersections and
Pedestrians
● Lower Speeds
Public Transport
Potential Impact:
● Warehouse Operations
● Outdoor Logistics Operations
● Long Haul and Last Mile
Simplifications:
● Controlled Environments
● Human Leverage (“follow-me”
model)
Logistics
Potential Impact:
● Enable driverless elderly
communities
● Increase Safety and Health
Simultaneously
● Efficient Architectural Designs
Simplifications:
● Lower Speeds
● Controlled Environments
● Less Complex Interaction
Models
Planned Communities
Potential Impact:
● 24x7 Operation
● Higher Level of Capability
(e.g. Fruit Picking Robots)
Simplifications:
● Lower Speeds
● Less Complex Interaction
Models
Agriculture
Autonomous Car Market Estimates
Market estimates vary but several groups estimate the
market over $80 Billion in just under fifteen years
Autonomous Car Market Estimates
Market estimates vary but several groups estimate the
market over $80 Billion in just under fifteen years
Autonomous Drone Market Estimates
Market estimates vary but several groups estimate the
market over $40 Billion in just under fifteen years
Autonomous Drone Market Estimates
Market estimates vary but several groups estimate the
market over $35 Billion in just under fifteen years
Research Goal
Our research goal is focused on building a framework to
identify complex rare scenarios for AV Validation
Current Efforts in AV Validation
• Real World Testing
• Low probability tests are difficult to produce
• Extremely slow and costly
• Test Tracks & Labs
• Recreates various situations
• Can’t be the sole solution for scenario analysis
• Image Dataset Based Testing
• Datasets of images for assisted control
• Still slow and costly
• Simulation Based Testing
• Current solutions are not progressive
All current verification efforts are slow, costly, hard to
repeat and not progressive
NY Times - 1991
Challenges
Autonomous Cars
• 2D environment
• Established regulations
• Congested operation
domain
• More prescriptive (roads,
signs etc.)
Autonomous Drones
• 3D environment
• Shifting regulations
• Challenging last 10 feet of
delivery
• Possible high number of
adversarial actors
Autonomous technology is applicable in both domains
with similar challenges and different constraints
Outline
• About Me
• Rise of Autonomy and Challenges
• Validation Framework
• Other Research Themes
• Summary
Technology Core
• Hard-wired vehicles operated by people replaced by software-defined &
networked computers operated by intelligent agents
• Fundamental technology is a traditional networked sensor and signal
processing chain with a decision support system
PERCEPTION SIGNAL PROCESSING ACTUATION
Signal Processing
Signal Processing
Signal Processing
Signal Processing
DataFusion
Artificial
Intelligence
Network
Acceleration
Steering
Brake...
...
...
...
Passive
Active
GPS
Network/IoT
Critical Issues
• Conceptual Model: What are the conceptual models
for decision making and perception stages?
• Test Regime: What is the test regime that can build
confidence for the operation of the AV?
• Completeness: How do we understand the state
space sufficiently?
• Accumulative Learning: How do we know the next
version of the AV is safer?
AV Testing Solution
AV Testing Solution
Smart Cities
Controlled
Environment
Lab
Our research aims to create a full framework to conduct research,
development and testing of AVs
Similarities to Hardware V&V
• Semiconductor chips are composed of complex
components
• Most semiconductor chips can be simulated in the low
kilo-hertz range while run in giga-hertz range
• There is a need to compress long learning cycle into a
reasonable development cycle
• There is a need for robustness to environmental
conditions
• There is a need for completeness and accumulated
learning
Solutions from Hardware V&V
• Use of abstraction to decompose the problem
• Development of various abstraction levels (transistor,
gate, RTL, micro-architecture, architecture, network)
• At the highest level:
• Formal verification
• Constrained-random test generation
• Real-world test injection
• Coverage analysis
Our solution aims to use the powerful methods of
hardware and software V&V for Autonomous Vehicles
Scenario Testing Solution
• Characterization
• Decompose data sets from physical world into atomic blocks
• Scenario generation
• Build virtual models using atomic elements
• Coverage analysis
• Track cross-product cases
• Certification
• Based on coverage completion
The solution is focused on the
Decision Making of Autonomous Vehicles
Scenario Abstraction Scenario
Simulation
Scenario Test
Generation
Constraints
Scenario Abstraction
Scenario
Database
-
Converge
Matrix
Industry/
Regulators
Test Lab Scenario
Scenario Abstraction
from Real Life
Test Lab Diagnostic
Scenario Abstraction
The framework serves as a ground truth for testing other sources of
error such as environmental conditions or sensor failures
Formulation of Test Scenarios
Assertion functionality on top of this inner core provides the
concepts of good/bad or pass/fail
Simulation Architecture
• Semantic language is used to define scenarios
• Actors, environment are created/validated
• Low fidelity simulator is the first step for implementation
Implementation
Florida Poly AV Testing VisionAV Testing Framework Roadmap
Simulation &
Scenario Testing
Hardware in the
Loop Testing
AV Testing
Individual
Sensor Testing
TimeTime
Next: Automatic test pattern generation to find edge cases,
collaboration with environmental and HiL Simulators
Outline
• About Me
• Rise of Autonomy and Challenges
• Testing Framework
• Related Research Themes
• Summary
Transportation OS• Transportation System is inefficient
• Utilization of Market Economics and Network Ideas
Transportation Operating System
What if we could
dynamically use the
transportation
system resources?
Human/AV communication
Incentive Mechanisms for
Mobile Crowdsensing
• Spatial and temporal coverage for sampling in a target area
and isolated sub-regions is important
• An incentive mechanism that dynamically assigns
compensation for data collection in the sub-regions
How can we
incentivize users
of ITS for
coverage?
Human/AV communication
• Humans have operating languages, AVs need it as well
Cooperation of AVs with Human Operators
What about the
tourists and
residents?
Outline
• About Me and Florida Poly
• Rise of Autonomy and Challenges
• Florida Poly Solution
• Florida Poly Research Themes
• Summary
Thank You!
M. Ilhan Akbas, PhD
Assistant Professor of Electrical and Computer Engineering
Embry-Riddle Aeronautical University
• akbasm@erau.edu
• https://sites.google.com/site/miakbas/
• https://www.linkedin.com/in/miakbas/

More Related Content

Similar to Validation Framework for Autonomous Aerial Vehicles

AI for Software Engineering
AI for Software EngineeringAI for Software Engineering
AI for Software EngineeringMiroslaw Staron
 
Building a Real-Time Security Application Using Log Data and Machine Learning...
Building a Real-Time Security Application Using Log Data and Machine Learning...Building a Real-Time Security Application Using Log Data and Machine Learning...
Building a Real-Time Security Application Using Log Data and Machine Learning...Sri Ambati
 
Manoj kolhe - Continuous Integration Testing
Manoj kolhe - Continuous Integration TestingManoj kolhe - Continuous Integration Testing
Manoj kolhe - Continuous Integration TestingManoj Kolhe
 
SBST 2019 Keynote
SBST 2019 Keynote SBST 2019 Keynote
SBST 2019 Keynote Shiva Nejati
 
Incremental Queries and Transformations for Engineering Critical Systems
Incremental Queries and Transformations for Engineering Critical SystemsIncremental Queries and Transformations for Engineering Critical Systems
Incremental Queries and Transformations for Engineering Critical SystemsÁkos Horváth
 
Best Practices In Load And Stress Testing Cmg Seminar[1]
Best Practices In Load And Stress Testing Cmg Seminar[1]Best Practices In Load And Stress Testing Cmg Seminar[1]
Best Practices In Load And Stress Testing Cmg Seminar[1]Munirathnam Naidu
 
How to find defects early and increase the reliability of software systems
How to find defects early and increase the reliability of software systemsHow to find defects early and increase the reliability of software systems
How to find defects early and increase the reliability of software systemsRAKESH RANA
 
How to Build a Data Closed-loop Platform for Autonomous Driving?
How to Build a Data Closed-loop Platform for Autonomous Driving?How to Build a Data Closed-loop Platform for Autonomous Driving?
How to Build a Data Closed-loop Platform for Autonomous Driving?Yu Huang
 
Tools. Techniques. Trouble?
Tools. Techniques. Trouble?Tools. Techniques. Trouble?
Tools. Techniques. Trouble?Testplant
 
Rahul Bhuman, Tech Mahindra - Truck roll prediction using Driverless AI - H2O...
Rahul Bhuman, Tech Mahindra - Truck roll prediction using Driverless AI - H2O...Rahul Bhuman, Tech Mahindra - Truck roll prediction using Driverless AI - H2O...
Rahul Bhuman, Tech Mahindra - Truck roll prediction using Driverless AI - H2O...Sri Ambati
 
Performance Engineering - how to start!
Performance Engineering - how to start!Performance Engineering - how to start!
Performance Engineering - how to start!Yoav Weiss
 
Scalable Software Testing and Verification of Non-Functional Properties throu...
Scalable Software Testing and Verification of Non-Functional Properties throu...Scalable Software Testing and Verification of Non-Functional Properties throu...
Scalable Software Testing and Verification of Non-Functional Properties throu...Lionel Briand
 
Motor vehicle emission checker danu-lap
Motor vehicle emission checker danu-lapMotor vehicle emission checker danu-lap
Motor vehicle emission checker danu-lapaidsdatahub
 
Practical Challenges to Deploying Highly Automated Vehicles
Practical Challenges to Deploying Highly Automated VehiclesPractical Challenges to Deploying Highly Automated Vehicles
Practical Challenges to Deploying Highly Automated VehiclesAlison Chaiken
 
Manual Testing to Intelligent Test Automation.pptx
Manual Testing to Intelligent Test Automation.pptxManual Testing to Intelligent Test Automation.pptx
Manual Testing to Intelligent Test Automation.pptxNandhakumar77727
 
Amalgamation of BDD, parallel execution and mobile automation
Amalgamation of BDD, parallel execution and mobile automationAmalgamation of BDD, parallel execution and mobile automation
Amalgamation of BDD, parallel execution and mobile automationAgile Testing Alliance
 
The Automation Firehose: Be Strategic & Tactical With Your Mobile & Web Testing
The Automation Firehose: Be Strategic & Tactical With Your Mobile & Web TestingThe Automation Firehose: Be Strategic & Tactical With Your Mobile & Web Testing
The Automation Firehose: Be Strategic & Tactical With Your Mobile & Web TestingPerfecto by Perforce
 

Similar to Validation Framework for Autonomous Aerial Vehicles (20)

AI for Software Engineering
AI for Software EngineeringAI for Software Engineering
AI for Software Engineering
 
Quality 4.0 and reimagining quality
Quality 4.0 and reimagining qualityQuality 4.0 and reimagining quality
Quality 4.0 and reimagining quality
 
CRC for Rail Innovation Safety Research
CRC for Rail Innovation Safety ResearchCRC for Rail Innovation Safety Research
CRC for Rail Innovation Safety Research
 
Building a Real-Time Security Application Using Log Data and Machine Learning...
Building a Real-Time Security Application Using Log Data and Machine Learning...Building a Real-Time Security Application Using Log Data and Machine Learning...
Building a Real-Time Security Application Using Log Data and Machine Learning...
 
Manoj kolhe - Continuous Integration Testing
Manoj kolhe - Continuous Integration TestingManoj kolhe - Continuous Integration Testing
Manoj kolhe - Continuous Integration Testing
 
SBST 2019 Keynote
SBST 2019 Keynote SBST 2019 Keynote
SBST 2019 Keynote
 
Incremental Queries and Transformations for Engineering Critical Systems
Incremental Queries and Transformations for Engineering Critical SystemsIncremental Queries and Transformations for Engineering Critical Systems
Incremental Queries and Transformations for Engineering Critical Systems
 
Best Practices In Load And Stress Testing Cmg Seminar[1]
Best Practices In Load And Stress Testing Cmg Seminar[1]Best Practices In Load And Stress Testing Cmg Seminar[1]
Best Practices In Load And Stress Testing Cmg Seminar[1]
 
How to find defects early and increase the reliability of software systems
How to find defects early and increase the reliability of software systemsHow to find defects early and increase the reliability of software systems
How to find defects early and increase the reliability of software systems
 
How to Build a Data Closed-loop Platform for Autonomous Driving?
How to Build a Data Closed-loop Platform for Autonomous Driving?How to Build a Data Closed-loop Platform for Autonomous Driving?
How to Build a Data Closed-loop Platform for Autonomous Driving?
 
Tools. Techniques. Trouble?
Tools. Techniques. Trouble?Tools. Techniques. Trouble?
Tools. Techniques. Trouble?
 
Rahul Bhuman, Tech Mahindra - Truck roll prediction using Driverless AI - H2O...
Rahul Bhuman, Tech Mahindra - Truck roll prediction using Driverless AI - H2O...Rahul Bhuman, Tech Mahindra - Truck roll prediction using Driverless AI - H2O...
Rahul Bhuman, Tech Mahindra - Truck roll prediction using Driverless AI - H2O...
 
Performance Engineering - how to start!
Performance Engineering - how to start!Performance Engineering - how to start!
Performance Engineering - how to start!
 
Scalable Software Testing and Verification of Non-Functional Properties throu...
Scalable Software Testing and Verification of Non-Functional Properties throu...Scalable Software Testing and Verification of Non-Functional Properties throu...
Scalable Software Testing and Verification of Non-Functional Properties throu...
 
Motor vehicle emission checker danu-lap
Motor vehicle emission checker danu-lapMotor vehicle emission checker danu-lap
Motor vehicle emission checker danu-lap
 
Practical Challenges to Deploying Highly Automated Vehicles
Practical Challenges to Deploying Highly Automated VehiclesPractical Challenges to Deploying Highly Automated Vehicles
Practical Challenges to Deploying Highly Automated Vehicles
 
Manual Testing to Intelligent Test Automation.pptx
Manual Testing to Intelligent Test Automation.pptxManual Testing to Intelligent Test Automation.pptx
Manual Testing to Intelligent Test Automation.pptx
 
Neev Load Testing Services
Neev Load Testing ServicesNeev Load Testing Services
Neev Load Testing Services
 
Amalgamation of BDD, parallel execution and mobile automation
Amalgamation of BDD, parallel execution and mobile automationAmalgamation of BDD, parallel execution and mobile automation
Amalgamation of BDD, parallel execution and mobile automation
 
The Automation Firehose: Be Strategic & Tactical With Your Mobile & Web Testing
The Automation Firehose: Be Strategic & Tactical With Your Mobile & Web TestingThe Automation Firehose: Be Strategic & Tactical With Your Mobile & Web Testing
The Automation Firehose: Be Strategic & Tactical With Your Mobile & Web Testing
 

More from M. Ilhan Akbas

Navigation of Emergency Vehicles UsingCooperative Autonomous Driving
Navigation of Emergency Vehicles UsingCooperative Autonomous DrivingNavigation of Emergency Vehicles UsingCooperative Autonomous Driving
Navigation of Emergency Vehicles UsingCooperative Autonomous DrivingM. Ilhan Akbas
 
Scenario Generation for Validating Artifi cial Intelligence Based Autonomous ...
Scenario Generation for Validating Artificial Intelligence Based Autonomous ...Scenario Generation for Validating Artificial Intelligence Based Autonomous ...
Scenario Generation for Validating Artifi cial Intelligence Based Autonomous ...M. Ilhan Akbas
 
Generation of Autonomous Vehicle Validation Scenarios Using Crash Data
Generation of Autonomous Vehicle Validation Scenarios Using Crash DataGeneration of Autonomous Vehicle Validation Scenarios Using Crash Data
Generation of Autonomous Vehicle Validation Scenarios Using Crash DataM. Ilhan Akbas
 
Development of a Validation Regime for an Autonomous Campus Shuttle
Development of a Validation Regime for an Autonomous Campus ShuttleDevelopment of a Validation Regime for an Autonomous Campus Shuttle
Development of a Validation Regime for an Autonomous Campus ShuttleM. Ilhan Akbas
 
Transportation OS: A Simulation Platform to Explore Breakthrough Concepts in ...
Transportation OS: A Simulation Platform to Explore Breakthrough Concepts in ...Transportation OS: A Simulation Platform to Explore Breakthrough Concepts in ...
Transportation OS: A Simulation Platform to Explore Breakthrough Concepts in ...M. Ilhan Akbas
 
Spectrum Analytic Approach for Cooperative Navigation of Connected and Autono...
Spectrum Analytic Approach for Cooperative Navigation of Connected and Autono...Spectrum Analytic Approach for Cooperative Navigation of Connected and Autono...
Spectrum Analytic Approach for Cooperative Navigation of Connected and Autono...M. Ilhan Akbas
 
Street Network Generation with Adjustable Complexity Using k-Means Clustering
Street Network Generation with Adjustable Complexity Using k-Means ClusteringStreet Network Generation with Adjustable Complexity Using k-Means Clustering
Street Network Generation with Adjustable Complexity Using k-Means ClusteringM. Ilhan Akbas
 
Requirements for the Next-Generation Autonomous Vehicle Ecosystem
Requirements for the Next-Generation Autonomous Vehicle EcosystemRequirements for the Next-Generation Autonomous Vehicle Ecosystem
Requirements for the Next-Generation Autonomous Vehicle EcosystemM. Ilhan Akbas
 
Abstract Simulation Scenario Generation for Autonomous Vehicle Verification
Abstract Simulation Scenario Generation  for Autonomous Vehicle VerificationAbstract Simulation Scenario Generation  for Autonomous Vehicle Verification
Abstract Simulation Scenario Generation for Autonomous Vehicle VerificationM. Ilhan Akbas
 
Verification of Autonomous Vehicles Through Simulation Using MATLAB ADAS Toolbox
Verification of Autonomous Vehicles Through Simulation Using MATLAB ADAS ToolboxVerification of Autonomous Vehicles Through Simulation Using MATLAB ADAS Toolbox
Verification of Autonomous Vehicles Through Simulation Using MATLAB ADAS ToolboxM. Ilhan Akbas
 
SAPFANET: Spatially Adaptive Positioning for FANETs
SAPFANET: Spatially Adaptive Positioning for FANETsSAPFANET: Spatially Adaptive Positioning for FANETs
SAPFANET: Spatially Adaptive Positioning for FANETsM. Ilhan Akbas
 
VBCA: A Virtual Forces Clustering Algorithm for Autonomous Aerial Drone Systems
VBCA: A Virtual Forces Clustering Algorithm for Autonomous Aerial Drone SystemsVBCA: A Virtual Forces Clustering Algorithm for Autonomous Aerial Drone Systems
VBCA: A Virtual Forces Clustering Algorithm for Autonomous Aerial Drone SystemsM. Ilhan Akbas
 
Professional Network Value in Business Incubator Models
Professional Network Value in Business Incubator ModelsProfessional Network Value in Business Incubator Models
Professional Network Value in Business Incubator ModelsM. Ilhan Akbas
 
Reliable Positioning with Hybrid Antenna Model for Aerial Wireless Sensor and...
Reliable Positioning with Hybrid Antenna Model for Aerial Wireless Sensor and...Reliable Positioning with Hybrid Antenna Model for Aerial Wireless Sensor and...
Reliable Positioning with Hybrid Antenna Model for Aerial Wireless Sensor and...M. Ilhan Akbas
 
Lightweight Routing with QoS Support in Wireless Sensor and Actor Networks (L...
Lightweight Routing with QoS Support in Wireless Sensor and Actor Networks (L...Lightweight Routing with QoS Support in Wireless Sensor and Actor Networks (L...
Lightweight Routing with QoS Support in Wireless Sensor and Actor Networks (L...M. Ilhan Akbas
 
Social Network Generation and Friend Ranking Based on Mobile Phone Data
Social Network Generation and Friend Ranking Based on Mobile Phone DataSocial Network Generation and Friend Ranking Based on Mobile Phone Data
Social Network Generation and Friend Ranking Based on Mobile Phone DataM. Ilhan Akbas
 
Design and Development of a Simulation Environment in OPNET Using High Perfor...
Design and Development of a Simulation Environment in OPNET Using High Perfor...Design and Development of a Simulation Environment in OPNET Using High Perfor...
Design and Development of a Simulation Environment in OPNET Using High Perfor...M. Ilhan Akbas
 

More from M. Ilhan Akbas (20)

Goss_ICCVE 2022.pdf
Goss_ICCVE 2022.pdfGoss_ICCVE 2022.pdf
Goss_ICCVE 2022.pdf
 
IV2021-431-slides.pdf
IV2021-431-slides.pdfIV2021-431-slides.pdf
IV2021-431-slides.pdf
 
Akbas-DASC-2022.pdf
Akbas-DASC-2022.pdfAkbas-DASC-2022.pdf
Akbas-DASC-2022.pdf
 
Navigation of Emergency Vehicles UsingCooperative Autonomous Driving
Navigation of Emergency Vehicles UsingCooperative Autonomous DrivingNavigation of Emergency Vehicles UsingCooperative Autonomous Driving
Navigation of Emergency Vehicles UsingCooperative Autonomous Driving
 
Scenario Generation for Validating Artifi cial Intelligence Based Autonomous ...
Scenario Generation for Validating Artificial Intelligence Based Autonomous ...Scenario Generation for Validating Artificial Intelligence Based Autonomous ...
Scenario Generation for Validating Artifi cial Intelligence Based Autonomous ...
 
Generation of Autonomous Vehicle Validation Scenarios Using Crash Data
Generation of Autonomous Vehicle Validation Scenarios Using Crash DataGeneration of Autonomous Vehicle Validation Scenarios Using Crash Data
Generation of Autonomous Vehicle Validation Scenarios Using Crash Data
 
Development of a Validation Regime for an Autonomous Campus Shuttle
Development of a Validation Regime for an Autonomous Campus ShuttleDevelopment of a Validation Regime for an Autonomous Campus Shuttle
Development of a Validation Regime for an Autonomous Campus Shuttle
 
Transportation OS: A Simulation Platform to Explore Breakthrough Concepts in ...
Transportation OS: A Simulation Platform to Explore Breakthrough Concepts in ...Transportation OS: A Simulation Platform to Explore Breakthrough Concepts in ...
Transportation OS: A Simulation Platform to Explore Breakthrough Concepts in ...
 
Spectrum Analytic Approach for Cooperative Navigation of Connected and Autono...
Spectrum Analytic Approach for Cooperative Navigation of Connected and Autono...Spectrum Analytic Approach for Cooperative Navigation of Connected and Autono...
Spectrum Analytic Approach for Cooperative Navigation of Connected and Autono...
 
Street Network Generation with Adjustable Complexity Using k-Means Clustering
Street Network Generation with Adjustable Complexity Using k-Means ClusteringStreet Network Generation with Adjustable Complexity Using k-Means Clustering
Street Network Generation with Adjustable Complexity Using k-Means Clustering
 
Requirements for the Next-Generation Autonomous Vehicle Ecosystem
Requirements for the Next-Generation Autonomous Vehicle EcosystemRequirements for the Next-Generation Autonomous Vehicle Ecosystem
Requirements for the Next-Generation Autonomous Vehicle Ecosystem
 
Abstract Simulation Scenario Generation for Autonomous Vehicle Verification
Abstract Simulation Scenario Generation  for Autonomous Vehicle VerificationAbstract Simulation Scenario Generation  for Autonomous Vehicle Verification
Abstract Simulation Scenario Generation for Autonomous Vehicle Verification
 
Verification of Autonomous Vehicles Through Simulation Using MATLAB ADAS Toolbox
Verification of Autonomous Vehicles Through Simulation Using MATLAB ADAS ToolboxVerification of Autonomous Vehicles Through Simulation Using MATLAB ADAS Toolbox
Verification of Autonomous Vehicles Through Simulation Using MATLAB ADAS Toolbox
 
SAPFANET: Spatially Adaptive Positioning for FANETs
SAPFANET: Spatially Adaptive Positioning for FANETsSAPFANET: Spatially Adaptive Positioning for FANETs
SAPFANET: Spatially Adaptive Positioning for FANETs
 
VBCA: A Virtual Forces Clustering Algorithm for Autonomous Aerial Drone Systems
VBCA: A Virtual Forces Clustering Algorithm for Autonomous Aerial Drone SystemsVBCA: A Virtual Forces Clustering Algorithm for Autonomous Aerial Drone Systems
VBCA: A Virtual Forces Clustering Algorithm for Autonomous Aerial Drone Systems
 
Professional Network Value in Business Incubator Models
Professional Network Value in Business Incubator ModelsProfessional Network Value in Business Incubator Models
Professional Network Value in Business Incubator Models
 
Reliable Positioning with Hybrid Antenna Model for Aerial Wireless Sensor and...
Reliable Positioning with Hybrid Antenna Model for Aerial Wireless Sensor and...Reliable Positioning with Hybrid Antenna Model for Aerial Wireless Sensor and...
Reliable Positioning with Hybrid Antenna Model for Aerial Wireless Sensor and...
 
Lightweight Routing with QoS Support in Wireless Sensor and Actor Networks (L...
Lightweight Routing with QoS Support in Wireless Sensor and Actor Networks (L...Lightweight Routing with QoS Support in Wireless Sensor and Actor Networks (L...
Lightweight Routing with QoS Support in Wireless Sensor and Actor Networks (L...
 
Social Network Generation and Friend Ranking Based on Mobile Phone Data
Social Network Generation and Friend Ranking Based on Mobile Phone DataSocial Network Generation and Friend Ranking Based on Mobile Phone Data
Social Network Generation and Friend Ranking Based on Mobile Phone Data
 
Design and Development of a Simulation Environment in OPNET Using High Perfor...
Design and Development of a Simulation Environment in OPNET Using High Perfor...Design and Development of a Simulation Environment in OPNET Using High Perfor...
Design and Development of a Simulation Environment in OPNET Using High Perfor...
 

Recently uploaded

SPICE PARK APR2024 ( 6,793 SPICE Models )
SPICE PARK APR2024 ( 6,793 SPICE Models )SPICE PARK APR2024 ( 6,793 SPICE Models )
SPICE PARK APR2024 ( 6,793 SPICE Models )Tsuyoshi Horigome
 
Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...
Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...
Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...Dr.Costas Sachpazis
 
Structural Analysis and Design of Foundations: A Comprehensive Handbook for S...
Structural Analysis and Design of Foundations: A Comprehensive Handbook for S...Structural Analysis and Design of Foundations: A Comprehensive Handbook for S...
Structural Analysis and Design of Foundations: A Comprehensive Handbook for S...Dr.Costas Sachpazis
 
VIP Call Girls Service Hitech City Hyderabad Call +91-8250192130
VIP Call Girls Service Hitech City Hyderabad Call +91-8250192130VIP Call Girls Service Hitech City Hyderabad Call +91-8250192130
VIP Call Girls Service Hitech City Hyderabad Call +91-8250192130Suhani Kapoor
 
Top Rated Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...
Top Rated  Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...Top Rated  Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...
Top Rated Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...Call Girls in Nagpur High Profile
 
MANUFACTURING PROCESS-II UNIT-5 NC MACHINE TOOLS
MANUFACTURING PROCESS-II UNIT-5 NC MACHINE TOOLSMANUFACTURING PROCESS-II UNIT-5 NC MACHINE TOOLS
MANUFACTURING PROCESS-II UNIT-5 NC MACHINE TOOLSSIVASHANKAR N
 
(RIA) Call Girls Bhosari ( 7001035870 ) HI-Fi Pune Escorts Service
(RIA) Call Girls Bhosari ( 7001035870 ) HI-Fi Pune Escorts Service(RIA) Call Girls Bhosari ( 7001035870 ) HI-Fi Pune Escorts Service
(RIA) Call Girls Bhosari ( 7001035870 ) HI-Fi Pune Escorts Serviceranjana rawat
 
Processing & Properties of Floor and Wall Tiles.pptx
Processing & Properties of Floor and Wall Tiles.pptxProcessing & Properties of Floor and Wall Tiles.pptx
Processing & Properties of Floor and Wall Tiles.pptxpranjaldaimarysona
 
Introduction to Multiple Access Protocol.pptx
Introduction to Multiple Access Protocol.pptxIntroduction to Multiple Access Protocol.pptx
Introduction to Multiple Access Protocol.pptxupamatechverse
 
Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...
Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...
Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...Christo Ananth
 
Call for Papers - Educational Administration: Theory and Practice, E-ISSN: 21...
Call for Papers - Educational Administration: Theory and Practice, E-ISSN: 21...Call for Papers - Educational Administration: Theory and Practice, E-ISSN: 21...
Call for Papers - Educational Administration: Theory and Practice, E-ISSN: 21...Christo Ananth
 
Call Girls Service Nashik Vaishnavi 7001305949 Independent Escort Service Nashik
Call Girls Service Nashik Vaishnavi 7001305949 Independent Escort Service NashikCall Girls Service Nashik Vaishnavi 7001305949 Independent Escort Service Nashik
Call Girls Service Nashik Vaishnavi 7001305949 Independent Escort Service NashikCall Girls in Nagpur High Profile
 
Software Development Life Cycle By Team Orange (Dept. of Pharmacy)
Software Development Life Cycle By  Team Orange (Dept. of Pharmacy)Software Development Life Cycle By  Team Orange (Dept. of Pharmacy)
Software Development Life Cycle By Team Orange (Dept. of Pharmacy)Suman Mia
 
MANUFACTURING PROCESS-II UNIT-2 LATHE MACHINE
MANUFACTURING PROCESS-II UNIT-2 LATHE MACHINEMANUFACTURING PROCESS-II UNIT-2 LATHE MACHINE
MANUFACTURING PROCESS-II UNIT-2 LATHE MACHINESIVASHANKAR N
 
UNIT - IV - Air Compressors and its Performance
UNIT - IV - Air Compressors and its PerformanceUNIT - IV - Air Compressors and its Performance
UNIT - IV - Air Compressors and its Performancesivaprakash250
 
Microscopic Analysis of Ceramic Materials.pptx
Microscopic Analysis of Ceramic Materials.pptxMicroscopic Analysis of Ceramic Materials.pptx
Microscopic Analysis of Ceramic Materials.pptxpurnimasatapathy1234
 
(SHREYA) Chakan Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Esc...
(SHREYA) Chakan Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Esc...(SHREYA) Chakan Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Esc...
(SHREYA) Chakan Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Esc...ranjana rawat
 
(PRIYA) Rajgurunagar Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
(PRIYA) Rajgurunagar Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...(PRIYA) Rajgurunagar Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
(PRIYA) Rajgurunagar Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...ranjana rawat
 

Recently uploaded (20)

SPICE PARK APR2024 ( 6,793 SPICE Models )
SPICE PARK APR2024 ( 6,793 SPICE Models )SPICE PARK APR2024 ( 6,793 SPICE Models )
SPICE PARK APR2024 ( 6,793 SPICE Models )
 
Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...
Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...
Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...
 
Structural Analysis and Design of Foundations: A Comprehensive Handbook for S...
Structural Analysis and Design of Foundations: A Comprehensive Handbook for S...Structural Analysis and Design of Foundations: A Comprehensive Handbook for S...
Structural Analysis and Design of Foundations: A Comprehensive Handbook for S...
 
VIP Call Girls Service Hitech City Hyderabad Call +91-8250192130
VIP Call Girls Service Hitech City Hyderabad Call +91-8250192130VIP Call Girls Service Hitech City Hyderabad Call +91-8250192130
VIP Call Girls Service Hitech City Hyderabad Call +91-8250192130
 
Top Rated Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...
Top Rated  Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...Top Rated  Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...
Top Rated Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...
 
MANUFACTURING PROCESS-II UNIT-5 NC MACHINE TOOLS
MANUFACTURING PROCESS-II UNIT-5 NC MACHINE TOOLSMANUFACTURING PROCESS-II UNIT-5 NC MACHINE TOOLS
MANUFACTURING PROCESS-II UNIT-5 NC MACHINE TOOLS
 
Water Industry Process Automation & Control Monthly - April 2024
Water Industry Process Automation & Control Monthly - April 2024Water Industry Process Automation & Control Monthly - April 2024
Water Industry Process Automation & Control Monthly - April 2024
 
(RIA) Call Girls Bhosari ( 7001035870 ) HI-Fi Pune Escorts Service
(RIA) Call Girls Bhosari ( 7001035870 ) HI-Fi Pune Escorts Service(RIA) Call Girls Bhosari ( 7001035870 ) HI-Fi Pune Escorts Service
(RIA) Call Girls Bhosari ( 7001035870 ) HI-Fi Pune Escorts Service
 
Processing & Properties of Floor and Wall Tiles.pptx
Processing & Properties of Floor and Wall Tiles.pptxProcessing & Properties of Floor and Wall Tiles.pptx
Processing & Properties of Floor and Wall Tiles.pptx
 
Introduction to Multiple Access Protocol.pptx
Introduction to Multiple Access Protocol.pptxIntroduction to Multiple Access Protocol.pptx
Introduction to Multiple Access Protocol.pptx
 
Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...
Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...
Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...
 
Call for Papers - Educational Administration: Theory and Practice, E-ISSN: 21...
Call for Papers - Educational Administration: Theory and Practice, E-ISSN: 21...Call for Papers - Educational Administration: Theory and Practice, E-ISSN: 21...
Call for Papers - Educational Administration: Theory and Practice, E-ISSN: 21...
 
DJARUM4D - SLOT GACOR ONLINE | SLOT DEMO ONLINE
DJARUM4D - SLOT GACOR ONLINE | SLOT DEMO ONLINEDJARUM4D - SLOT GACOR ONLINE | SLOT DEMO ONLINE
DJARUM4D - SLOT GACOR ONLINE | SLOT DEMO ONLINE
 
Call Girls Service Nashik Vaishnavi 7001305949 Independent Escort Service Nashik
Call Girls Service Nashik Vaishnavi 7001305949 Independent Escort Service NashikCall Girls Service Nashik Vaishnavi 7001305949 Independent Escort Service Nashik
Call Girls Service Nashik Vaishnavi 7001305949 Independent Escort Service Nashik
 
Software Development Life Cycle By Team Orange (Dept. of Pharmacy)
Software Development Life Cycle By  Team Orange (Dept. of Pharmacy)Software Development Life Cycle By  Team Orange (Dept. of Pharmacy)
Software Development Life Cycle By Team Orange (Dept. of Pharmacy)
 
MANUFACTURING PROCESS-II UNIT-2 LATHE MACHINE
MANUFACTURING PROCESS-II UNIT-2 LATHE MACHINEMANUFACTURING PROCESS-II UNIT-2 LATHE MACHINE
MANUFACTURING PROCESS-II UNIT-2 LATHE MACHINE
 
UNIT - IV - Air Compressors and its Performance
UNIT - IV - Air Compressors and its PerformanceUNIT - IV - Air Compressors and its Performance
UNIT - IV - Air Compressors and its Performance
 
Microscopic Analysis of Ceramic Materials.pptx
Microscopic Analysis of Ceramic Materials.pptxMicroscopic Analysis of Ceramic Materials.pptx
Microscopic Analysis of Ceramic Materials.pptx
 
(SHREYA) Chakan Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Esc...
(SHREYA) Chakan Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Esc...(SHREYA) Chakan Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Esc...
(SHREYA) Chakan Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Esc...
 
(PRIYA) Rajgurunagar Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
(PRIYA) Rajgurunagar Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...(PRIYA) Rajgurunagar Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
(PRIYA) Rajgurunagar Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
 

Validation Framework for Autonomous Aerial Vehicles

  • 1. Validation Framework for Autonomous Aerial Vehicles Research Efforts on the V&V of Autonomous Vehicles 03/03/2020 RKA 2016-06-22 M. Ilhan Akbas, Ph.D. Assistant Professor of Electrical and Computer Engineering Embry-Riddle Aeronautical University
  • 2. Outline • About Our Research • Rise of Autonomy and Challenges • Validation Framework • Related Research Themes • Summary
  • 3. About Our Research • M. Ilhan Akbas – BS in EE, MS and PhD on Communication Technologies – Post Grad Work on Modeling & Simulation Projects – Industry Experience in Defense, NATO Projects • Research on AVs, CPS, Intelligent Mobility • Projects from NSF, Cyber Florida, State • Published in SAE, IEEE Trans., ACM • Teaching AV, M&S, Soft. Eng, Networks, Security
  • 4. Outline • About Our Research • Rise of Autonomy and Challenges • Testing Framework • Related Research Themes • Summary
  • 5. Self-Driving Cars McKinsey defines the DNA of Industry 4.0 convergent disruption as the proliferation of big data, adv. analytics, HMI and dig.-to-physical transfers.
  • 6. Autonomous Drones McKinsey defines the DNA of Industry 4.0 convergent disruption as the proliferation of big data, adv. analytics, HMI and dig.-to-physical transfers.
  • 7. Market Disruptions Autonomous Cars • Changing car ownership, MaaS. • Insurance, maintenance, towing etc. • Disabled and elderly will have access to mobility. • Parking practices will change. Autonomous Drones • Ground delivery vs drone delivery. • Air taxis, MaaS. • Efficient services such as surveillance, mapping. • Airline/helicopter piloting changes.
  • 8. Potential Impact: ● 24x7 Access ● Reuse of Infrastructure (Utilization) ● On-call Access Simplifications: ● Limited Paths ● Managed Intersections and Pedestrians ● Lower Speeds Public Transport
  • 9. Potential Impact: ● Warehouse Operations ● Outdoor Logistics Operations ● Long Haul and Last Mile Simplifications: ● Controlled Environments ● Human Leverage (“follow-me” model) Logistics
  • 10. Potential Impact: ● Enable driverless elderly communities ● Increase Safety and Health Simultaneously ● Efficient Architectural Designs Simplifications: ● Lower Speeds ● Controlled Environments ● Less Complex Interaction Models Planned Communities
  • 11. Potential Impact: ● 24x7 Operation ● Higher Level of Capability (e.g. Fruit Picking Robots) Simplifications: ● Lower Speeds ● Less Complex Interaction Models Agriculture
  • 12. Autonomous Car Market Estimates Market estimates vary but several groups estimate the market over $80 Billion in just under fifteen years
  • 13. Autonomous Car Market Estimates Market estimates vary but several groups estimate the market over $80 Billion in just under fifteen years
  • 14. Autonomous Drone Market Estimates Market estimates vary but several groups estimate the market over $40 Billion in just under fifteen years
  • 15. Autonomous Drone Market Estimates Market estimates vary but several groups estimate the market over $35 Billion in just under fifteen years
  • 16. Research Goal Our research goal is focused on building a framework to identify complex rare scenarios for AV Validation
  • 17. Current Efforts in AV Validation • Real World Testing • Low probability tests are difficult to produce • Extremely slow and costly • Test Tracks & Labs • Recreates various situations • Can’t be the sole solution for scenario analysis • Image Dataset Based Testing • Datasets of images for assisted control • Still slow and costly • Simulation Based Testing • Current solutions are not progressive All current verification efforts are slow, costly, hard to repeat and not progressive NY Times - 1991
  • 18. Challenges Autonomous Cars • 2D environment • Established regulations • Congested operation domain • More prescriptive (roads, signs etc.) Autonomous Drones • 3D environment • Shifting regulations • Challenging last 10 feet of delivery • Possible high number of adversarial actors Autonomous technology is applicable in both domains with similar challenges and different constraints
  • 19. Outline • About Me • Rise of Autonomy and Challenges • Validation Framework • Other Research Themes • Summary
  • 20. Technology Core • Hard-wired vehicles operated by people replaced by software-defined & networked computers operated by intelligent agents • Fundamental technology is a traditional networked sensor and signal processing chain with a decision support system PERCEPTION SIGNAL PROCESSING ACTUATION Signal Processing Signal Processing Signal Processing Signal Processing DataFusion Artificial Intelligence Network Acceleration Steering Brake... ... ... ... Passive Active GPS Network/IoT
  • 21. Critical Issues • Conceptual Model: What are the conceptual models for decision making and perception stages? • Test Regime: What is the test regime that can build confidence for the operation of the AV? • Completeness: How do we understand the state space sufficiently? • Accumulative Learning: How do we know the next version of the AV is safer?
  • 23. AV Testing Solution Smart Cities Controlled Environment Lab Our research aims to create a full framework to conduct research, development and testing of AVs
  • 24. Similarities to Hardware V&V • Semiconductor chips are composed of complex components • Most semiconductor chips can be simulated in the low kilo-hertz range while run in giga-hertz range • There is a need to compress long learning cycle into a reasonable development cycle • There is a need for robustness to environmental conditions • There is a need for completeness and accumulated learning
  • 25. Solutions from Hardware V&V • Use of abstraction to decompose the problem • Development of various abstraction levels (transistor, gate, RTL, micro-architecture, architecture, network) • At the highest level: • Formal verification • Constrained-random test generation • Real-world test injection • Coverage analysis Our solution aims to use the powerful methods of hardware and software V&V for Autonomous Vehicles
  • 26. Scenario Testing Solution • Characterization • Decompose data sets from physical world into atomic blocks • Scenario generation • Build virtual models using atomic elements • Coverage analysis • Track cross-product cases • Certification • Based on coverage completion The solution is focused on the Decision Making of Autonomous Vehicles
  • 27. Scenario Abstraction Scenario Simulation Scenario Test Generation Constraints Scenario Abstraction Scenario Database - Converge Matrix Industry/ Regulators Test Lab Scenario Scenario Abstraction from Real Life Test Lab Diagnostic Scenario Abstraction The framework serves as a ground truth for testing other sources of error such as environmental conditions or sensor failures
  • 28. Formulation of Test Scenarios Assertion functionality on top of this inner core provides the concepts of good/bad or pass/fail
  • 30. • Semantic language is used to define scenarios • Actors, environment are created/validated • Low fidelity simulator is the first step for implementation Implementation
  • 31. Florida Poly AV Testing VisionAV Testing Framework Roadmap Simulation & Scenario Testing Hardware in the Loop Testing AV Testing Individual Sensor Testing TimeTime Next: Automatic test pattern generation to find edge cases, collaboration with environmental and HiL Simulators
  • 32. Outline • About Me • Rise of Autonomy and Challenges • Testing Framework • Related Research Themes • Summary
  • 33. Transportation OS• Transportation System is inefficient • Utilization of Market Economics and Network Ideas Transportation Operating System What if we could dynamically use the transportation system resources?
  • 34. Human/AV communication Incentive Mechanisms for Mobile Crowdsensing • Spatial and temporal coverage for sampling in a target area and isolated sub-regions is important • An incentive mechanism that dynamically assigns compensation for data collection in the sub-regions How can we incentivize users of ITS for coverage?
  • 35. Human/AV communication • Humans have operating languages, AVs need it as well Cooperation of AVs with Human Operators What about the tourists and residents?
  • 36. Outline • About Me and Florida Poly • Rise of Autonomy and Challenges • Florida Poly Solution • Florida Poly Research Themes • Summary
  • 37. Thank You! M. Ilhan Akbas, PhD Assistant Professor of Electrical and Computer Engineering Embry-Riddle Aeronautical University • akbasm@erau.edu • https://sites.google.com/site/miakbas/ • https://www.linkedin.com/in/miakbas/