Innoteq Ltd - safety critical software development and vertification
Safety critical software development and verification for aerospace and rail industry. Model based safety critical software design with UML and MATLAB/Simulink.
Independent model and software scrutiny and verification.
Development to DO178B, IEC61508, DEF STAN 0055/0056 standards to level A and SIL4.
| Contact: | Terry Dicks |
| Email: | tdicks@innoteq.co.uk |
