Company profile
Drisq Ltd
D-RisQ | UK | High Tech | Aerospace & Defence | Automotive | Cyber
D-RisQ Ltd. is a leading UK software and verification system provider based in Malvern, Worcestershire. Using formal methods mathematical techniques, weve developed a suite of software verification products designed to help your organisation meet the toughest software behavioural assurance standards set by international regulators.
Company events
Reference milestones and recent Companies House filing stream events.
Accounts due
Accounts DueNext accounts due date
Confirmation statement due
Confirmation DueNext confirmation statement due date
Confirmation statement filed
ConfirmationLast confirmation statement made up date
Accounts filed
AccountsLast accounts made up date
Confirmation Statement With Updates
Confirmation-statementCS01 | Transaction MzQzMzkzNDg3MGFkaXF6a2N4
Published 30 Aug 2024 09:18
Change To A Person With Significant Control
Persons-with-significant-controlPSC04 | Transaction MzQzMjkwNjcwNWFkaXF6a2N4
Published 21 Aug 2024 08:02
Change To A Person With Significant Control
Persons-with-significant-controlPSC04 | Transaction MzQzMjc2Nzg0OWFkaXF6a2N4
Published 20 Aug 2024 14:59
Change To A Person With Significant Control
Persons-with-significant-controlPSC04 | Transaction MzQzMjc2NzcxM2FkaXF6a2N4
Published 20 Aug 2024 14:58
Incorporated
InceptionCompany registered at Companies House
Public funding
Projects
PlaTFoRm: Practical testing of formal requirements
1 Dec 2024 to 31 Jul 2027
Within safety and security critical systems, a measure of sufficient test is Modified Condition/Decision Coverage (MC/DC). Constructing a sufficient set of test cases in order to achieve this MC/DC metric requires considerable time and expense and often delays project acceptance and commercial release. We propose to develop a mechanism for the automatic p...
Smart Shipping Safety and Cyber Assurance
1 Nov 2024 to 31 Mar 2025
This 5-month collaborative feasibility study will identify potential cyber and safety vulnerabilities with current small boat (<150 kW) electric propulsion and control technologies and then develop a roadmap which outlines tools and techniques to assess and address these vulnerabilities going forward. This is important work to allow the scaling of decarbo...
Capturing and Assuring System Requirements (CAeSaR)
1 Apr 2022 to 31 Mar 2023
Within aerospace and other industries, it is widely recognised that poor requirements are the root cause of cost overruns in systems development and, in thankfully rare cases, accidents after a system has been deployed. The aim of this project is to significantly reduce the opportunity for error in writing system requirements thus reducing cost and helpin...
Demeter
1 Oct 2021 to 30 Sep 2023
Demeter uses energy-harvesting, intelligent, uncrewed vehicles to provide a persistent, infrastructure-independent subsea sensor data retrieval and analysis service. It is a compelling alternative to CAPEX-heavy fixed power and communication networks that would otherwise be required to support the widespread use of subsea sensors and systems for long-term...
Subsea Enhanced Autonomous Mapping (SEAMless)
1 Oct 2021 to 30 Sep 2023
Subsea inspection and surveys require highly accurate mapping to support activities such as site assessment, detailed inspection, and asset maintenance. Data collected can be leveraged through the advancements and application of underwater robotics and autonomous systems to support future industry grow. By improving data accuracy and utility, operational ...
CHERI Standards Compliance (CHERI Stone)
1 Apr 2021 to 30 Sep 2021
A2I2 Extension: V&V of a semi-autonomous system in an operational environment
1 Apr 2021 to 31 Dec 2021
The A2I2 project have been developing untethered, underwater robotic platforms which make unmanned operations the standard for inspection and light intervention tasks for physical infrastructure, primarily in the offshore and nuclear domains. We are developing small, hover-capable Autonomous Underwater Vehicles (AUVs) equipped with a novel visual mapping ...
D-RisQ CV-19 Grant Request
1 Jun 2020 to 30 Nov 2020
no public description
High-Integrity, Complex, Large, Software and Electronic Systems – HICLASS
1 Jul 2019 to 30 Jun 2023
HICLASS is a project to enable the delivery of the most complex software-intensive, safe and cyber-secure systems in the world. It is a strategic initiative to drive new technologies and best-practice throughout the UK aerospace supply chain, enabling the UK to affordably develop systems for the growing aircraft and avionics market expected over the next ...
Autonomous Aquatic Inspection and Intervention (A2I2)
1 Jan 2019 to 30 Jun 2021
Underwater robots are increasingly utilised for commercial and scientific applications to make measurements and interact with the underwater environment. The A2I2 (Autonomous Aquatic Inspection and Intervention) robots will operate in hazardous underwater environments, for offshore renewables, oil and gas, and nuclear applications. Two specific interventi...
Enhancing Safety, Reliability and Airworthiness of BVLOS Autonomous UAV operations
1 Oct 2017 to 31 Dec 2018
Enhancing Safety, Reliability and Airworthiness of BVLOS Autonomous UAV operations is a critical element in the development of technology which will allow the safe, routine use of UAV (Drone) technology in the civil environment. The project seeks to bridge the gap between the unmanned and manned aerospace domains, combining the structured approach to "cer...
SECT-AIR
1 Jul 2016 to 30 Jun 2019
SECT-AIR’s aims are to develop strategies for the UK high integrity software industry to significantly lower development costs and to scope a UK aerospace software centre-of excellence to maintain these strategies in the future. SECT-AIR plans to define processes and technologies that will make a step change reduction to software development costs; gain a...