Requirements Management is not just a nice-to-have practice in the Train industry. As emphasized in the latest version of EN 50128, it is critical for your dispatched teams and multiple suppliers around the world to both ensure requirements compliance and reduce the costs of re-work and re-engineering that can occur when requirements change and something is missed along the way.

With our long experience in Requirements Management for Safety-Critical Embedded Systems, we help you specify your Software requirements as well as set up Requirements Management Best Practices:

 Advanced Training & consulting on Requirements Traceability.

 Specification of Software requirements

• Structured Method including for example JSD, MASCOT, SADT, SDL, SSADM and YOURDON
• Formal methods including for example CCS, CSP, HOL, LOTOS, OBJ, temporal logic, VDM, Z and B
• Semi-formal Methods

 Advanced Training & consulting on Requirement Management and Requirement Allocation.