With YAKINDU Statechart Tools, you can easily create complex systems in a visual way. Simulate and test your system’s behavior already while you are modeling. Code generators translate your state machine into high-quality source code for different target platforms.
www.itemis.com/en/yakindu/state-machine/
YAKINDU Traceability is a professional requirements traceability management tool. It adapts to your usual development tools and creates a homogeneous traceability graph, without interfering with your established workflows.
www.itemis.com/en/yakindu/traceability/