How we help the Chief Financial 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 and warranty costs and in the worst cases, loss of life.

Whilst 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, CFO's have to balance the ever increasing costs of development, support and compliance and ensure long term profitability.

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 ever 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. Sadly many banking customers have recently witnessed the effects of systems failure at first hand. How often does this have to happen before customers switch accounts?

Coupled with the increasing business risk that systems and software create, is the government authorities' wish to apply global measures to ensure safety and correct operation. As users and consumers, CFOs 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.

CFOs will see the escalating costs from technical departments to achieve compliance as the systems and software grow ever larger and more complex. This is a trend that is likely to continue as compliance regimes become stricter. The impact on project development cost increases is well known, particularly when the task is underestimated, but longer term is the impact on margins when the level of support and warranty is calculated. 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 produced two software development tools;

  • Modelworks ™ ensuring the systems requirements are captured and
  • CLawZ™ ensuring the code implements the design.


The automation of these processes can reduce the test and verification costs by over 50% over normal manual test methods.

To use this new technology to reduce risk, lower development costs, reduce support and warranty 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