With SDE (Software Development Environment) Silver Atena disposes of a high-grade development process for safety-relevant software in the area of embedded systems. By closely integrating the tools from the system specification to the software qualification, Silver Atena has standardised this process and can extensively support customers in the use of SDE.
- CWT Parser
- Model Checker
- SDE - Software Development Environment
- Unit Test Tool Chain