D-RisQ Ltd

Streamline your software development with automated verification. 🔗 Two tools designed to support one another, Kapture® and Modelworks®, can provide your software development with correct requirements and enable the Simulink and Stateflow design to be easily verified. Together, these tools can be applied to any software life cycle, and we’ve demonstrated their capability for various safety-critical systems, such as autonomous air, maritime, and subsurface vehicles meeting software standards such as DO-178C. Discover how Kapture and Modelworks can support your business. 👇 https://lnkd.in/ekY2-gy6 #FormalMethods #EmbeddedSoftware #SoftwareVerification #SoftwareEngineering #SoftwareDesign #SoftwareRequirements

Assuring AI system behaviour is proving notoriously challenging, especially in safety-critical scenarios. However, we’ve developed an innovative approach that harnesses the power of AI while eliminating the complexities associated with behavioural assurance. For more details, visit – https://bit.ly/D-RisQ-AI. #AI #AutonomousVehicles #AutonomousSystems #SoftwareEngineering #FormalMethods

Ensuring your software requirements and design stay perfectly aligned throughout development. Create clear, unambiguous, and appropriate requirements for your software, ready for automated verification of designs in Simulink and Stateflow, giving you the best start to your software lifecycle before attempting to meet the correct coding standards. For more details about how Modelworks® and Kapture® combine inside our D-RisQ Toolsuite, visit our products page – https://lnkd.in/ekY2-gy6. #FormalMethods #EmbeddedSoftware #SoftwareVerification #SoftwareEngineering #ComputerScience

The last time I spent a night in Leeds was when I was graduating (for the first time), which was ...ahem...1 or 2 years ago (decades..?) and it has been great to be back today participating in the ADS Group Ltd, ‘Engage Yorkshire’ space event. Following on from our participation the highly successful Airbus Defence and Space Accelerator, I was asked to be part of a panel session run by Vanessa Viney of Airbus about our participation on this and other accelerators (we did one with Plexal on cyber security in 2019). There was an excellent networking session hosted by Hippo last night and I met lots of interesting local companies, as well as having the chance to talk to different ADS representatives. Hope to be back in Leeds again ....soon #space #SoftwareEngineering #SoftwareEngineers #SoftwareVerification #FormalMethods #ComputerScience

Automate your software verification without complication. As articulated in this famous quote by one of the world’s greatest computer scientists, we’ve developed our tools to be used with no specialist skills required. We aim to help your business harness the power of formal methods with just a click of a button. Discover how our verification tools can enhance your software engineering – https://lnkd.in/ekY2-gy6. #SoftwareDesign #SoftwareEngineering #SoftwareEngineer #ComputerScience #ComputerScience

Today the UK hosts the International Investment Summit, advancing opportunities for investment and growth across the country.   UKRI Chief Executive Professor Dame Ottoline Leyser said: “Investment in research and innovation is vital for kickstarting economic growth, improving public services, and creating high-quality jobs and prosperity for citizens across the UK and beyond.   Through our shared endeavour for growth, we are working with government, researchers, innovators, businesses and academia, to drive further investment into R&D, ensuring an innovative, high-productivity, high-growth economy, making Britain one of the best places in the world to invest.” #UKInvestment

5577 lines of code in 224.5 hours. During a study for our ‘Steam Boiler’ case study, we gathered the following metrics as a representation of our Toolsuite’s capabilities: Six weeks of effort by one software engineer = 930 lines of safety-critical code per week (Estimate). So, if your business/organisation produces 100 lines of verified code per week per engineer, with our D-RisQ Toolsuite you can increase productivity 9x while receiving the certification evidence required by regulators. For more details about how our software verification tools can streamline your processes, read our ‘Steam Boiler’ case study – https://lnkd.in/eptV3Prc. #SoftwareEngineering #SoftwareEngineers #SoftwareVerification #FormalMethods #ComputeScience

One small step for space innovation is one giant leap for D-RisQ. 👨🚀 We were delighted to be involved in the Airbus Space Accelerator project. Run by Plexal and joined by ten fellow Cohort 1 members, since onboarding in July, it’s been an amazing 14 weeks of tailored programming supporting our specific interests in space innovation and what emerging technology capabilities we can bring to the sector. Thank you to the team at Airbus and Plexal for your excellent coordination and continued support throughout the programme. #SpaceInnovation #EmbeddedTechnology #SoftwareEngineering #FormalMethods #SoftwareVerification

What is space exploration without software verification? 👨🚀 Whether its autonomous systems, AI or nuclear power, D-RisQ is delighted to be involved in the future of space exploration with our software verification solutions helping ensure safety and operational capacity in outer space. So, as we celebrate ‘World Space Week’: 🔹Nick (CEO) attended the ADS Group Ltd ‘Engage Space Forum & Networking’ yesterday (‘Symposium’ next week) 🔹D-RisQ sits on the verge of completing our Airbus Space Accelerator project tomorrow (Graduation in November) Exciting times ahead. We’ll keep you updated on any more future space exploration projects. #SpaceExploration #WorldSpaceWeek #SoftwareVerification #SoftwareEngineering #FormalMethods #ComputerScience

New for this year is the virtual Malvern Festival of Innovation and it launched last night. It's a new concept for us and this year we will be trialling how this works. It is open to anyone who wants to display their wares in this interactive manner. Both Innovate Malvern CIC as organisers and D-RisQ Ltd as Silver Sponsors of the event, hope that this is of interest and feel free to peruse our booth and the hotspots therein. https://lnkd.in/e-kdJRky #innovation #formalmethods