Neue Methoden für die Welt der Software

NUTZUNG FORTSCHRITTLICHER MATHEMATISCHER VERFAHREN FÜR DIE ENTWICKLUNG INTELLIGENTER SOFTWARESYSTEME FÜR IHRE ORGANISATION

MEHR ERFAHREN

Automatisierung der Vorteile formaler Methoden

UNTERSTÜTZUNG IHRER COMPLIANCE UND ERBRINGUNG OBJEKTIVER NACHWEISE DER FEHLERFREIHEIT

MEHR ERFAHREN

Agile Entwicklung mit hoher Zuverlässigkeit

KOSTENGÜNSTIGE, ANWENDERFREUNDLICHE AUTOMATISIERTE TOOLS FÜR IHRE SOFTWAREENTWICKLUNG

MEHR ERFAHREN

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.

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

Neue Methoden für die Welt der Software

NUTZUNG FORTSCHRITTLICHER MATHEMATISCHER VERFAHREN FÜR DIE ENTWICKLUNG INTELLIGENTER SOFTWARESYSTEME FÜR IHRE ORGANISATION

Automatisierung der Vorteile formaler Methoden

UNTERSTÜTZUNG IHRER COMPLIANCE UND ERBRINGUNG OBJEKTIVER NACHWEISE DER FEHLERFREIHEIT

Agile Entwicklung mit hoher Zuverlässigkeit

KOSTENGÜNSTIGE, ANWENDERFREUNDLICHE AUTOMATISIERTE TOOLS FÜR IHRE SOFTWAREENTWICKLUNG

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

Branchen, mit denen wir zusammenarbeiten

AUTONOME SYSTEME

LUFT- UND RAUMFAHRT

AUTOMOTIVE

CYBER-SECURITY

ERFAHREN SIE MEHR ÜBER UNSERE INTELLIGENTEN SOFTWARESYSTEME

UNSERE AKTUELLEN NACHRICHTEN LESEN

ERFAHREN SIE, WIE IHRE ORGANISATION VON UNSERER STEUERUNGSSOFTWARE PROFITIEREN KANN