https://www.ansys.com/it-it/products/embedded-software/ansys-scade-architect
Ansys SCADE Architect | Embedded System Design & Verification
See how Ansys SCADE Architect gives engineers a functional and architectural system modeling and verification in a SysML-based environment.
ansys scade architectembedded system designverification