ERTMSFormalSpecs – Open Source

ERTMSFormalSpecs jest programem narzędziowym specjalnie zaprojektowanym przez ERTMS Solutions, aby formalnie modelować wymagania ERTMS dla systemów pokładowych i przytorowych.

ERTMSFormalSpecs zawera w 100% Subset-026 ERTMS Business Logic, pozwalając na:

• •  Testowanie Twojego EVC
• •  Testowanie i ocenę zmian zpytań Subset-026
• •  Wdrożenie na wczesnym etapie rozwoju oceny testów wykonawczych projektów.

Naszym celem w stosunku do ERTMSFormalSpecs jest model w 100% zgodny z ERTMS Business Logic: zarządzanie procesami i projektem, wymagania analiz, wykrywalność, Domain Specific Language (DSL), diagramy, testy i wizualizacje.

• •  Wyświetla stan modelu zgodnie ze specyfikacją DMI
• •  Łatwość kreowania specyficznych scenariuszy przez ERTMSFormalSpecs edytor scenariuszy
• •  Statyczne analizy i odtwarzanie przy użyciu edytora scenariuszy.

Szukasz więcej informacji o ERTMSFormalSpecs? Przeczytaj artykuły lub skontaktuj się z nami: [email protected]