ERTMSFormalSpecs (EFS) jest programem narzędziowym
specjalnie zaprojektowanym przez ERTMS Solutions, aby formalnie
modelować wymagania ERTMS dla systemów pokładowych i przytorowych. Zawiera w 100% Subset-026 ERTMS Business Logic, umożliwiając:
•
Przetestowanie Twojego EVC
Ten pulpit roboczy spełnia dwa sprzeczne cele: jest
zrozumiały dla eksperta srk i jest wystarczająco formalny, aby być
animowanym.
Nasze najlepsze referencje: |
|
|||||
|
Wyświetla stan modelu zgodnie ze
|
|
Ułatwia tworzenie określonych scenariuszy
|
|
Analiza
statyczna i odtwarzanie za
|
|
|
||||||
|
|
|
||||
Onboard Monitoring Box (OMB) to pasywne urządzenie do
do zbierania i analizy danych i opracowane przez ERTMS Solutions. |
TrackCircuitLifeCheck to wszechstronne urządzenie
pomiarowo-diagnostyczne wspomagające proces utrzymania obwodów torowych
i jest użyteczny zarówno w pojazdach diagnostycznych, jak i
komercyjnych. |
BaliseLifeCheck to urządzenie diagnostyczno-
|
||||
|
|
|
||||
Copyright © Rail-Mil Computers sp. z o.o., Wszystkie znaki towarowe i nazwy firm zostały użyte jedynie w celu informacyjnym i są wyłączną własnością tychże firm. |