基于交通规则的数据处理方法、电子设备和产品

本申请实施例涉及智能交通领域，公开了一种基于交通规则的数据处理方法、电子设备和产品，数据处理方法包括：构建异步事件流的监控规范，监控规范使用扩展巴科斯范式进行形式化描述；监控规范包括至少一个输入事件流、至少一个输出派生流以及至少一个触发器；对监控规范执行静态分析，得到低阶中间表示，静态分析用于对监控规范进行校验；基于低阶中间表示对原始数据进行仿真验证，并根据验证结果输出告警，从而通过统一的输入事件流/输出派生流/触发器模型，对智能驾驶场景中各种关键安全事件进行形式化描述，在短时间内构建满足复杂交通场景表达需求的高可读性、高可验证性规范，提高了智能交通系统的监控效率与自动化程度。