services
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++.
Our experience covers many fields including
embedded control software,
real-time operating systems,
static analysis tools,
language processing,
device drivers
and communications.
We are familiar with major safety standards including
IEC 61508, DO-178B, DefStan 00-55 and 00-56.
All consultancy work is carried out by our founder Dr. David Crocker,
and all software development under his direct supervision.
Please contact us to discuss your requirements.
In conjunction with our partner
Precision Design Technology Ltd,
we develop business software that precisely matches your stated requirements.
For web-based applications, we can provide guarantees - backed by mathematical proof - that the software
has no buffer overflow, cross-site scripting or SQL injection vulnerabilities.
Our charges are comparable to those of organizations that are unable to provide this degree
of quality assurance.
Please contact us for further information.
|