A compiler and scenario generator for the Scenic scenario description language. Please see the documentation for installation instructions, as well as tutorials and other information about the Scenic language, its implementation, and its interfaces to various simulators.
For a description of the language and some of its applications, see our journal paper, which extends our PLDI 2019 paper (note: the syntax of Scenic has changed slightly since the PLDI paper, and many features such as support for dynamic scenarios have been added; these are described in the journal paper). Scenic was designed and implemented by Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia.
If you have any problems using Scenic, please submit an issue to our GitHub repository or contact Daniel at dfremont@ucsc.edu.
The repository is organized as follows:
- the src/scenic directory contains the package proper;
- the examples directory has many examples of Scenic programs;
- the docs directory contains the sources for the documentation;
- the tests directory contains tests for the Scenic compiler.