Syndeia and Simulink Requirements