D-RisQ Ltd

Yesterday, as part of the Airbus Defence and Space Accelerator, we attended a reception held at the Palace of Westminster after a morning hosted by Viasat. The reception was part of the Community for Space Prosperity (CUSP) and included some STEM outreach activities. We were very pleased to be joined by Dame Harriett Baldwin MP where we discussed the plans D-RisQ has in the space sector....and beyond! Software assurance through our automated verification tools will potentially be used to assist some of the cohort in their plans to access space, saving them considerable time and money as well as complying with the strict certification standards applied in space. We're very much looking forward to even more value coming from the accelerator being run by Plexal #formalmethods #softwareassurance #verification

Reduce time and costs for your aerospace systems software development. Using D0-178C/ED-12C for compliance, we have the software verification tools to help you develop safety-critical aerospace software more efficiently and cost-effectively. Our use cases include various aerospace applications, including flight control systems and autonomous aircraft. Visit our aerospace page for more information – https://lnkd.in/eB_JJYsQ. #Aerospace #SoftwareVerification #SoftwareEngineering #FormalMethods #Aviation #ComputerScience

Verifying each stage of your software development process. After the recent launch of System Kapture®, Modelworks®, and CLawZ® (FEVER® forthcoming), D-RisQ is breaking new ground in the world of software verification solutions inclusive to all software engineers and organisations. With these solutions in place, your business can save between 30-80% of embedded software development costs by: ✅Avoiding errors ✅Creating clear, unambiguous and appropriate requirements ✅Elevating design and coding standards ✅Ensuring compliance with internationally recognised software standards such (DO-178C, ISO626262, and IEC62304 Learn more about our Proof Toolsuite – https://lnkd.in/ekY2-gy6. #SoftwareVerification #FormalMethods #SoftwareDevelopment #SoftwareEngineering #SoftwareEngineer #ComputerScience

We’re very proud to be once again supporting the Malvern Hills Challenge in aid of Help for Heroes. Should you wish to come along and see the beautiful Malvern Hills, have a challenging day out (bring you dog if you like) and raise some money for H4H, please register here; still a few spaces left and the forecast looks fine: https://lnkd.in/gRV9vsF

We’re really pleased to see the progression by ScubaTx Limited and this recent excellent news. We look forward to continuing to support them as they bring their life changing technology to market. https://lnkd.in/e6f-BeNP

Automatic verification of C source code (Simulink/Stateflow). The next link in our software verification chain provides automatic proof of autocode automatically checking for compliance to the design as well as coding standards. The benefits of CLawZ® include: ✅Reduces error opportunities ✅Automatic verification avoids unit test costs ✅Simple compliance to standards ✅Speeds up development Learn more about CLawZ® by visiting https://bit.ly/D-RisQCLawZ. #CodeVerification #SoftwareVerification #FormalMethods #SoftwareDevelopment #SoftwareEngineering #SoftwareEngineer

Today, Prof Colin O'Halloran, D-RisQ Technical Director, gave a presentation at the Festschrift for Prof Jim Woodcock at the Computer Science Department, York University, The day consisted of a number of presentations by a prestigious set of people who gathered to celebrate Jim’s career on the occasion of his retirement. This joyful, fun occasion revealed a lot about Jim’s outstanding career in industry and academia and it has been our privilege to work with Jim over many years and to have been invited to write a paper in his honour. All the papers from the day have been published https://lnkd.in/djuaTW-3. #FormalMethods #SoftwareDeveloper #SoftwareEngineer #ComputerScience

Slashing development costs | Verifying software design. Verify your software development process at the press of a button with no specialist engineering skills required. Our tool suite can help your business: ✅Avoid errors ✅Create clear requirements ✅ Rapidly and assuredly iterate ✅Ensure compliance with international software standards Ready to verify throughout your software life cycle? Visit our products page for more details. ⬇️ https://lnkd.in/ekY2-gy6 #SoftwareEngineering #FormalMethods #SoftwareEngineer #SoftwareEngineers #ComputerScience

Introducing the next level in our Proof Toolsuite. While you can verify your system and software requirements using our System Kapture® and Kapture® tools, Modelworks® verifies the next stage of your software design. By automatically verifying designs in Simulink and Stateflow, Modelworks® ensures your design captures verified requirements written in Kapture®. ✅Reduce design errors ✅Provides evidence of design correctness ✅Comply with design standards ✅Checks individual requirements satisfaction We’ve used Modelworks® to check behaviour across various systems, including highly assured decision-making for autonomous vehicles in air, maritime and sub-surface. Learn more about the capabilities of Modelworks® here – https://lnkd.in/ev7kr3e4 #DesignVerification #SoftwareVerification #FormalMethods #SoftwareDevelopment #SoftwareEngineering #SoftwareEngineer

A significant step in our bid to change how the world does software. Integrating formal methods into easily, accessible automated tools that address every stage of the software lifecycle is not just a resounding achievement in our industry. It’s a world first. Discover how we demonstrate this capacity in our latest case study. ⬇️ https://lnkd.in/eptV3Prc. #SoftwareEngineering #SoftwareVerification #ComputerScience #FormalMethods #EmbeddedSoftware