How we help the Chief Executive Officer

Almost every business sector in the economy has an increasing reliance on distributed processing systems and the software within them. Whether as part of a product or the support of a service, the reliability of these systems is often critical to business success and continuity. Failure of these systems can result in loss of business reputation, high recall or support costs and in the worst cases, loss of life.

CEOs are increasingly being called to account in public for failures of their product or service and are being driven by internal corporate governance to assess and minimise the risk to their business of failure of their systems. It has to be the number one priority to ensure that the development or support process must not subject the corporation to the risk of loss of life or loss of business reputation. This may be obvious in sectors such as Aerospace, Defence, Transportation, and Nuclear Power, but more and more other sectors such as Finance, Mobile Devices and Public Utilities, are seeing their reputation hinge on their products or services being free of failure.

Coupled with the increasing business risk systems and software create, is the government authorities' wish to apply global measures to ensure safety and correct operation. As users and consumers, CEOs should be gratified that Aerospace apply certification requirements such as DO-178C, Automotive are instigating ISO 26262 and Rail EN 50218&9 to force these sectors into a compliance regime that guarantees reasonable safety.

This assurance and compliance comes at a cost. Gone are the days when prototype software could be cobbled together at low cost on a customer's product, although the number of software bug fixes in mobile apps or vehicle servicing might suggest otherwise. In order to ensure the systems and software do what they are meant to do and will not do anything they are not meant to do, rigorous testing and verification, with the provision of necessary evidence, has to be carried out which typically accounts for over 60% of the cost of the whole systems and software development.

The CEO's dilemma therefore is how to achieve compliance and business reputation at an affordable cost as the systems and software grow ever larger and more complex? It is easy to be lulled into a false assumption that more processing and software is inevitable but it is only an up-front cost. It is a false assumption because the same level of systems integrity is required on every change and update throughout the life of the product or service, repeating the costs of test, verification and provision of evidence.

In systems and software development the most efficient path in terms of time and cost is to identify errors as early as possible in the development process so avoiding rework. The key to affordable error free systems is the use of the emerging technique of "Formal Methods" in the automation of systems requirements capture and the automation of ensuring software code implements the required design, as well as providing the evidence to meet certification requirements.

Formal Methods is a mathematical process around logic and proof from which D-RisQ has  developed two software development tools;

  • Modelworks™ ensuring the systems requirement capture and
  • CLawZ™ ensuring the code implements the design.


To use this new technology to reduce risk, lower development costs, reduce support costs and reduce time to market, please contact us for a D-RisQ consultant to provide more detail.

D-RisQ Limited

Malvern Hills Science Park

Geraldine Road
United Kingdom
WR14 3SZ
+44(0)1684 252452

Company Number: 7754903

What we do?

With a wide experience in analysis of complex systems and software across many sectors ranging from embedded systems to IT, safety and security critical systems, automotive, aerospace, robotics and many others, D-RisQ has developed huge experience from which to build automated formal analysis tools.

Learn more