Welcome to AVUnit’s documentation!

Explore our guides and examples for using AVUnit.

Get started here.

Warning

AVUnit is still under developing, this version’s source code hasn’t been published. We will publish the source code as soon as possible.

Translations

There is a plan to translate this documentation into several languages. They have varying degrees of completeness and up-to-dateness(all not available at now stage). The English version stands as a reference.

• Simplified Chinese (not available)

Table of Contents

Getting started

• Introduction to AVUnit
  • What is AVUnit?
  • Why we need AVUnit?
  • What can you do with AVUnit?
• Install AVUnit
  • Installiation
• AVUnit examples
  • No Collision

Language Description

• Types
  • Basic Types
  • Special Types
• Generate Scenarios by AVUnit
  • Describe a Scenario
  • Probabilistic Programming
  • A Complete Example
• Semantics of Describing Scenes
  • Basic Defination of scene
  • Feasible Regions
  • Unchangeable Parameters
  • Overall Defination
• Define Specifications by AVUnit
  • Trajectories
  • Expressions
  • Predicates and Assertions
  • A Complete Example
• Semantics of Describing Specifications
  • Expression Semantics
  • Satistic Semantics
  • Quantitative Semantics
• Overall BNF
  • Basic Symbols and Arithmatic Operations
  • Scenario Part
  • Trace Part
  • Specification Part
  • Overall Expression Assignment

Extension to simulations

• AVUnit connected to Simulator and Autonomous Vehicle