Runtime de Execução Declarativa OpenSCENARIO 2
Motor de DSL compatível com ASAM OpenSCENARIO 2 executando comportamentos de tráfego baseados em restrições e manobras dinâmicas.
Solucionadores de Atores por Satisfação de Restrições
Backends SMT compilam intenções abstratas de cenários em perfis concretos e fisicamente plausíveis de aceleração dos atores.
- Compliant with ASAM OpenSCENARIO 2.0 language specifications.
- Deterministic pseudo-random seed guarantees 100% reproducible results.
- Support for complex urban roundabouts, highway merges, and jaywalkers.
- Native coupling with vehicle-under-test (VUT) control APIs.
Explorar Portfólio de Domínios