NicolasRouquette / cs-vehicle-perception

Contract-based design for evaluating perception in the context of system-level specifications

Contract-based Design for Vehicle Perception via Pacti.

This notebook contains the code to run the notebook on evaluating perception with respect to system level requirements.

Important links:

1. Pacti homepage
2. Pacti Case Studies
3. A detailed description of the case study
4. Pacti source code for developers

Installation

Run pdm install

Run

Run the notebook evaluate_perception.ipynb for an instantiation of the car pedestrian example.

For scalability analysis, run the notebook evaluate_perception_scalability.ipynb for a performance analysis that instantiates multiple car pedestrian examples.