Articles & News


The PICASSOS project dissemination event held at the Motor Heritage Museum in Gaydon on the 28th February attended by around 100 specialists from companies in all UK business sectors, proved a great success. The conclusion from four years worth of research was that the adoption of Formal Methods techniques in the development of automotive software would provide significant cost and time benefits as well as complete coverage when compared with traditional test-based development methods.

Mr. Nick Tudor, Director of D-RisQ Ltd. one of the project partners and developer of the Formal Methods based tool Modelworks® which was used in the benchmark process said, 

the application of Formal Methods tools such as Modelworks® not only provides complete assurance that systems can only deliver the behaviours the designers specify but it also provides the evidence to support it and in a fraction of the time and cost over normal development methods. This technique can solve many of the software safety issues in emerging markets such as driverless and autonomous cars and at a cost that the industry can afford”.

More about the Picassos Project and the dissemination event;

At an event on 28 February marking the successful conclusion of the PICASSOS project, the specialists involved – drawn from Ricardo and research partners Jaguar Land Rover, Johnson Matthey Battery Systems, YorkMetrics, D-RisQ and the universities of Oxford, Coventry and Warwick – will share the results of the project and the relevance of these to the development of safety-critical systems of all types. The event will focus upon the practical applications of Formal Methods (mathematically based techniques for the development of electronic systems) to the functional safety of automotive systems as well as in other industrial sectors.

More about D-RisQ Lld.

D-RisQ is an SME based in Malvern, Worcestershire, changing the way the world produces systems and software through the development and application of Formal Methods based automated tools.
The company is developing a suite of tools covering the whole systems and software development life cycle, Modelworks® verifying systems requirements, ClawZ® verifying source code and FEVER® verifying object code. Formal Methods is a mathematical technique based on the concept of mathematical proof which was successfully harnessed for the verification of source code software on the critical systems of the Eurofighter (typhoon) fighter aircraft.

For further information contact: David Sheppard, Director D-RisQ Ltd,

Posted in: Automotive

Post Rating


There are currently no comments, be the first to post one.

Post Comment

Only registered users may post comments.

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