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.