Scenic-Foundation/Scenic

A compiler and scenario generator for the Scenic scenario description language.

解决的问题

Scenic 解决了为网络物理系统(CPS)创建多样且真实测试环境的难题。无需手动设计每一个测试用例,它允许开发者描述场景的一般特性——例如可能的道路布局或物体之间的相对位置——通过一种概率编程语言,基于这些描述生成大量有效的场景。

工作原理

它作为一个编译器和场景生成器运行。用户使用领域特定的概率编程语言(Scenic)编写环境模型程序,工具随后将这些描述编译为可在各种模拟器中使用的具体场景实例。

适用人群

专为从事网络物理系统的研究人员和工程师设计,特别是那些需要为仿真和验证生成大量真实、随机测试环境的人群。

主要亮点

  • 采用概率编程方法进行环境建模。
  • 基于编译器架构的场景生成机制。
  • 支持与多种模拟器集成,创建测试环境。
  • 基于加州大学伯克利分校和加州大学圣克鲁兹分校的学术研究。

相关

  • 项目
  • 项目
  • 项目
  • 项目