Assessment of languages and tools for the automatic formalisation of system requirements

As outlined in task 1.4. this deliverable comprises the selection of a requirements modeling language that will allow us to reason about formal properties of a cyber-physical system, the creation of user interfaces to input the requirements, and a process which describes how a safety requirement about the whole system can be represented in UnCoVerCPS. Multiple tools for representing requirements will be studied and results reported, e.g. AutoFocus 9, SCADE, and Simulink.