Model-based testing This is where DLR's research activity on model-based testing of railway control and safety technology comes in: if a system specification is available in the form of a model - as ...