Escher Technologies Escher Technologies
Home Tools Services Support News Company Contact Publications Articles
Escher Technologies
“We have used this toolset on two substantial developments, and we intend to use it on future projects.”

John Warren of Precision Design Technology Ltd
Perfect Developer - Making software bugs extinct!
 

services

High-integrity software 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:

David Crocker
  • 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-178C, DefStan 00-55 and 00-56.

Please contact us to discuss your requirements.



 


Home    TOPTOP
Copyright © 1997-2017 Escher Technologies Limited. All rights reserved. Information is subject to change without notice.      Link to  Privacy/Cookie Policy (new window)