Control system software plays a key role on many of today´s complex platforms, from industrial machinery to military aircraft. As they are performing increasingly complex tasks, the associated software development, maintenance and certification costs have escalated significantly. By using a combination of consultation and modelling coupled with licenced software, D-RisQ achieves the highest levels of assurance while not suffering from the prohibitively high costs normally associated with applying formal verification.
Successfully used in the certification of the Flight Control Computer of the Eurofighter Typhoon aircraft, D-RisQ will enable you to formally verify your system software and dramatically reduce associated costs without any compromise.