D-RisQ Ltd
Software Development
United Kingdom
8 employees
- Employees
- 8
D-RisQ Ltd Overview
- Headquarters
- United Kingdom
- Phone Number
- Available in AeroLeads
- Website
- www.drisq.com
- Industry
- Software Development
- Employees
- 8
- Founded
- 2012
- Company Email
- Available in AeroLeads
- NAICS
-
Software Publishers
About D-RisQ Ltd
D-RisQ products have been developed to ease the verification of software design through automation and the exploitation of automatic proof, cutting cost while meeting regulatory needs. Visit our virtual stand at Malvern Festival of Innovation https://virtual.festival-innovation.com/d-risq/ Safety Critical systems software that controls machines, requires high levels of assurance. It must perform and be safe and represents a significant investment in time and budget, in any project or product. This unaffordability is due to multiple factors: the normal “build then test” approach to software development has limitations that can result in exponential cost, regulatory assurance expertise can be expensive or not readily available; automation and connectedness (‘systems of systems’) means that systems are becoming more complex particularly when required to operate autonomously; the engineering manpower shortage is driving up the cost of software engineering man hours. The Toolsuite provides a solution: Streamlining Clear Requirements: Most software failures stem from inadequate requirements. The Toolsuite supports software engineers by: o Clear Requirements Creation: Using drop-down menus and data dictionaries, developers craft clear and unambiguous requirements. o Verifiable Requirements: all aspects are automatically given a formal specification for verification. o Cascade Effect: Changes made late in development automatically propagate through the software, minimizing manual rework. Formal Methods for Assurance: The Toolsuite leverages formal methods for automatic verification of design, autocode and binary without requiring the developer to be a formal methods expert, and the evidence-based assurance ensures compliance and safety. Cost Reduction and Accessibility: The Toolsuite slashes costs and development timelines by up to 80% through: o Efficiency: Streamlined processes reduce man-hours. o User-Friendly: Less senior talent can use the tools.
D-RisQ Ltd Contact Details
- People in AeroLeads
- 3
D-RisQ Ltd Org Chart
Sample employees and titles| Name | Title | Location | Contact |
|---|---|---|---|
| Mark Baggott | Portfolio Fd Supporting a Number |
View
|
|
| Michael) Anthony Smith | Senior Software Engineer at D-risq | Worcestershire, England, United Kingdom |
View
|
| Hannah Saunders | Software Engineer at D-risq |
View
|
Employees by Management Level
Individual contributor
4 profiles
Senior / Lead
1 profile
Department Contact Coverage
| Department | Contacts | Phone | |
|---|---|---|---|
| IT | 1 | 1 | 0 |
D-RisQ Ltd Tech Stack
Engineering
4 profiles
Compare Similar Companies to D-RisQ Ltd
Calnex Solutions
Telecommunications
Magdrive
Defense & Space
ANGOKA
Computer And Network Security
ANTOBOT
Technology, Information And Internet
BioOrbit
Space Research And Technology
Applied Atomics
Aviation And Aerospace Component Manufacturing
LIA Aerospace
Aviation And Aerospace Component Manufacturing
Electrify Everything Now Ltd
Renewable Energy Equipment Manufacturing
EVIE Autonomous
Software Development
Yondar Space
Space Research And Technology