d-risq - image human

ENTWICKLUNG SCHNELLER, AGILER UND VERIFIZIERTER SOFTWARESYSTEME FÜR IHRE ORGANISATION

D-RisQ Ltd. ist ein führender Software- und Prüfsystemanbieter mit Sitz in Malvern, Worcestershire, Vereinigtes Königreich.
Durch die Nutzung mathematischer Verfahren aus dem Bereich der formalen Methodenhaben wir eine Reihe von Softwareprüfprodukten entwickelt, die Ihrer Organisation dabei helfen können, auch den strengsten Normen internationaler Regulierungsbehörden bezüglich der Zuverlässigkeit des Softwareverhaltens zuentsprechen.
Wir haben unsere intelligenten Softwareprüfprodukte, die ursprünglich von der britischen Regierung verwendet wurden, für den Einsatz in zahlreichen Branchen wie Luft- und Raumfahrt, autonome Systeme (in der Luft, an Land, zu Wasser und unter Wasser), Automotive, Schifffahrt, Verteidigung, Cybersicherheit und Stilllegung von Nuklearanlagen adaptiert.
Mit dem Einsatz unserer automatisiertenHightech-Softwaresysteme kann Ihre Organisation die Softwareentwicklungskosten im Vergleich zu herkömmlichen Test- und Prüfverfahren um 50-80 % senken.

Branchen, mit denen wir zusammenarbeiten

AUTONOME SYSTEME

LUFT- UND RAUMFAHRT

AUTOMOTIVE

CYBER-SECURITY

Was wir für Sie tun können

ERFAHREN SIE MEHR ÜBER UNSERE INTELLIGENTEN SOFTWARESYSTEME

Kapture®
Kapture® hilft Ihnen beim Verfassen eindeutigerer und verifizierbarer Softwareanforderungen und der Entdeckung von Problemen, bevor diese in späteren Entwicklungsphasen richtig teuer werden.
Es ist das perfekte Toolzur Unterstützung von Entwicklern bei ihren Entwürfen, Programmierern bei der Programmierung und Prüfingenieuren bei der Entwicklung stichhaltiger Testfälle. Ausführlichere Informationen finden Sie auf unserer Produktseite.


‍
Mehr erfahren
Modelworks®
Zur Minimierung von Iterationen und Kosten ist entscheidend, dass bereits in der Frühphase der Softwareentwicklung alles richtig gemacht wird. Modelworks® ermöglicht die automatische Verifizierung von Entwürfen in Simulink und Stateflow, sodass die Entwurfsingenieure verschiedene Entwürfe untersuchen und den wartbarsten, anwenderfreundlichsten Entwurf auswählen können.
Es ist das ideale Softwaresystem für die Vermeidung kostspieliger Entwurfsfehler, die Optimierung der Effizienz zukünftiger Programmieraufträge und die Erbringung von Nachweisender Fehlerfreiheit von Entwürfen.
Mehr erfahren
CLawZ®
Die manuelle Codeerstellung ist unvermeidlich fehlerbehaftet und erfordert kostspielige Nachbesserungen. Selbst wenn Code automatisch erstellt wird, ist ein Komponententest erforderlich, um die Fehlerfreiheit des Codes zu belegen, und weitere Tests müssen zeigen, dass der Softwareentwurf implementiert wird. 
 Mit CLawZ® kann der Zeit-und Kostenaufwand für einen Komponententest eingespart werden, da automatisch belegt wird, dass der automatisch erstellte Code einen in Simulink erstelltenEntwurf richtig, vollständig und zutreffend implementiert.
 
Mehr erfahren
CLawZ
CLawZ enables the automatic independent verification of C source code generated from Simulink models.  Should the autocoder have made a mistake, it will show where in the code the issues lies and relate it to the original design in Simulink.
CLawZ: Automating source code verification
Discover more
AUTONOME UNTERWASSERÜBERPRÜFUNG
Fallstudie

MEHR ERFAHREN

Kapture®
Fallstudie

MEHR ERFAHREN

Updates

UNSERE AKTUELLEN NACHRICHTEN LESEN

PRESS RELEASE
ROVCO - Logo
COMING SOON
SPITZENLEISTUNGEN BEI INNOVATIONEN

MEHR ERFAHREN

ERFAHREN SIE, WIE IHRE ORGANISATION VON UNSERER STEUERUNGSSOFTWARE PROFITIEREN KANN

Kontakt aufnehmen
D-RISQ - Logo

"Programmtests können dasVorhandensein von Bugs aufzeigen, jedoch nicht deren Fehlen"

Edsger W. Dijkstra

D-RisQ, Malvern Hills Science Park, Geraldine Road,
Malvern, Worcestershire
WR14 3SZ

Modelworks
KaptureClawz
Autonomous SystemsAerospace SystemsAutomotive Systems Cyber-Security Systems
Autonomous Aquatic InspectionModelworks KaptureFlight ControlUAV 
MEIF Investment Underwater Survey Robots
Why We Do What We Do
Software Requirements
U - Smooth
Beyond Visual Line Of Sight For UAS 
Software Design
Trust In Autonomy
Misunderstanding Of DO-178C
Use DO-178C To Save Money

Copyright © D-RisQ | Website Design by Design in the Shires