SLIDE 1
OPAVES An open platform for autonomous vehicle tinkerers Fabien - - PowerPoint PPT Presentation
OPAVES An open platform for autonomous vehicle tinkerers Fabien - - PowerPoint PPT Presentation
OPAVES An open platform for autonomous vehicle tinkerers Fabien Chouteau Embedded Software Engineer at AdaCore Twitter : @DesChips GitHub : Fabien-Chouteau Hackaday.io: Fabien.C 1 What is this project? Open Platform for Autonomous
SLIDE 2
SLIDE 3
Video demo!
3
SLIDE 4
Autonomous vehicle competitions 1/2
4
SLIDE 5
Autonomous vehicle competitions 2/2
5
SLIDE 6
Advanced Driver Assistance System
Auto-Pilot ADAS Vehicle O’PAVES
6
SLIDE 7
For whom?
- O’PAVES as a prototyping platform:
- Students
- Researchers
- Hobbyists/Hackers/Makers
- OPAVES as an AdaCore tool demonstrator:
- Customers and prospects
- Trade shows visitor
7
SLIDE 8
Hardware
8
SLIDE 9
Hardware Requirements
- Capable of addressing the classical autonomous vehicle
challenges
- Lane following
- Collision avoidance
- Autonomous parking
- Affordable
- Easy to buy and/or build
9
SLIDE 10
Components MCU Bluetooth Motor(s) Steering IMU Range (x5) Power Battery
10
SLIDE 11
PCB Frame
11
SLIDE 12
3D Printed Parts
12
SLIDE 13
First Prototype
13
SLIDE 14
First prototype vs requirements
- Capable of addressing the challenges - YES
- Affordable - YES
- Easy to buy and/or build - Not really. . .
14
SLIDE 15
New Version
15
SLIDE 16
New Version
16
SLIDE 17
Open-Source Hardware
- Released under the CERN Open Hardware License
- Designed with open-source software:
- KiCad
- FreeCAD
- Repository: https://github.com/AdaCore/OPAVES
17
SLIDE 18
Software
18
SLIDE 19
Software Architecture
Pilot Communication Shared values and parameters database ADAS Control Steering Motors Collision Prediction? SLAM? Sensors Acquisition Sensors
19
SLIDE 20
Auto-pilot interface
Insert your auto-pilot here Communication Sensor Data Vehicle Satus SLAM? Pilot Commands
20
SLIDE 21
Tools and libraries
- Ada and SPARK: programming languages
- Ada_Drivers_Library: Drivers for micro-controllers
- Certyflie: Flight controller written in Ada and SPARK
- GNATprove: Formal proof of the the SPARK code
- GNATcoverage: Source coverage analysis (up to MCDC)
21
SLIDE 22
Costs
PCB (by 10) ~$50 Misc Components ~$110 Crazyflie 2.0 $180 Total ~$3801
1That’s less than a Tesla
22
SLIDE 23
Fork it, Build it, Use it, Improve it
Build it and make your own autonomous car! Potential improvements:
- Hardware
- Encoders on the motors
- Change the PCB to make it compatible with your favorite dev
board
- Software
- Active differential
- Actually use the sensors available
23
SLIDE 24
Follow the project on:
- GitHub: github.com/AdaCore/OPAVES
- Hackaday: hackaday.io/project/17555-opaves
- Twitter: @OpenPAVES