Formal Requirements

Collaboration initiated with the Innopolis University on the use of formal methods in Requirements Engineering

AutoReq: expressing and verifying requirements for control systems

The considerable effort of writing requirements is only worthwhile if the result meets two conditions: the requirements reflect stakeholders' needs, and the implementation satisfies them. In usual approaches, the use of different notations for …

MBSE & Early Validation

An integrated model-based early validation approach for Railway Systems