Business-critical software development

In conjunction with our partner Precision Design Technology, 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 organisations that are unable to provide this degree of quality assurance. Please contact us for further information.

Safety-critical software consultancy

We provide safety-critical software development and consultancy services using a range of tools and languages including MISRA C, C++ and Perfect Developer.

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, or under his direct supervision. Please contact us to discuss your requirements.

Software translation to new programming languages

We can provide customised translation services from one programming language to another. Using our proven static analysis and rule-based code generation technologies, program translation is often possible even between difficult language pairs. In partlcular, we expect to offer a service to translate C++ to C# in the near future.