Farnborough, UK. 22 July 2024. D-RisQ, an established high-tech company based in Malvern, Worcestershire, is delighted to announce the launch of its D-RisQ Toolsuite at the company’s stand at Farnborough International Airshow.
This is the first-of-its-kind set of tools, underpinned by formal methods, for the development and verification of control systems software. There is no equivalent product set available commercially.
These tools provide automatic end-to-end verification of safety regulated embedded software, substantially reducing cost and design timeline. They find errors quickly and early, ensure from the outset that requirements are clear and unambiguous, and provide automatic evidence for certification to DO-178C.
Due to a number of factors, embedded software is reaching an ‘affordability ceiling’ that all affects all sizes of company. A shortage of skilled engineers, the increasing complexity and connectivity of software, autonomy and the limitations of the standard “build then test” approach to embedded software design are the main factors driving this. The D-RisQ Toolsuite will ensure companies of all sizes can quickly and efficiently produce safe, effective certifiable software.
Nick Tudor (or any of your other founders but best to pick one spokesman for quotes), Founding Director and CEO of D-RisQ said:
“The new D-RisQ tools will enable our customers to increase their productivity and save costs by up to 80% with little training, while also producing the evidence required for certification. The tools provide easily accessible verification at every stage of software development, which we believe is a unique offering enabling clients to get to market faster.”
