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

Please contact us to discuss your requirements.

---