TNI-Software provides a suite of CAD Software and services that enables designers of real-time applications in aerospace, automotive, energy, transportation, and industrial automation to build high quality applications using models and simulation for implementation, verification and validation.
TNI-Software provides solutions for development and verification of embedded applications in Aerospace, Automotive, Transportation and Automation industries:
- Reqtify: Solution for requirements management, traceability and impact analysis.
- Safety Test Builder: Solution fully integrated in the Simulink environment, for automatic generation of test scenarios on Simulink & Stateflow models.
- Safety Checker Blockset: Simulink library dedicated to formal verification of Simulink / Stateflow models).
- RT-Builder: Solution for Modeling, Simulation and exploration of distributed, multi-processor and multi-bus real-time architectures.
- ControlBuild: best-of-breed development solution on the Automation market providing a global and consistent approach from specifications validation to system delivery and exploitation.
More Info | Previous Page | Company Search
If you found this page useful, bookmark and share it on: