logo slogan

Escher Consultancy

We provide consultancy and software development services for safety-critical and other high-integrity applications, using a range of tools and languages including MISRA C and C++.

All consultancy work is carried out by our founder, Dr. David Crocker, and all software development is done under his direct supervision. David has more than 25 years' experience of using C and C++ to develop high-integrity software, including:

 

safe use of C and C++
static analysis
formal specification and verification
process improvement
development of real-time operating systems
development of embedded control systems
hardware device drivers
communication protocols

 

David is familiar with the major safety standards, such as IEC 61508, DO-178B, DefStan 00-55 and 00-56.

 

Please click here to contact us to discuss your requirements.