Category: 2014

RT-Tester’s Model-based Testing Component RTT-MBT Creates Test Data for the ETCS Onboard Controller

In collaboration with a research team at the University of Bremen, Verified Systems International GmbH has published a SysML model of the Ceiling Speed Control function specified for the ETCS onboard controller, the so-called European Vital Computer (EVC). This model

RT-Tester Bounded Model Checker Verifies Interlocking System Components

Bounded model checkers are verification tools that investigate model correctness for a limited number of steps in the vicinity of a given model state. The model-based testing component of RT-Tester, RTT-MBT, has an integrated bounded model checker that is able