The D-RisQ team wishes to send a very merry season’s greeting and warm tidings to everyone this Christmas and New Year. With all we achieved last year, we’re ready for a well-earned rest and won’t be back in the office until January the 6th. Here’s to an exciting 2025. #MerryChristmans #Christmas2024 #HappyNewYear #SoftwareEngineering #ComputerScience
About us
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.
- Website
-
http://www.drisq.com
External link for D-RisQ Ltd
- Industry
- Software Development
- Company size
- 11-50 employees
- Headquarters
- Malvern
- Type
- Public Company
- Founded
- 2012
Locations
-
Primary
Get directions
Malvern Hills Science Park
Geraldine Road
Malvern, WR14 3SZ, GB
Employees at D-RisQ Ltd
Updates
-
2024 unwrapped. 📅 While we couldn’t possibly cram everything in, here are our top takeaways from a phenomenal 2024: 🔹Institution of Mechanical Engineers (IMechE) in Manchester as Technical Authority Chair for OLTER - Robotics and Autonomous Systems 🔹Presented at the Ocean Connector event for COVE 🔹Delivered the SEAMless (Subsea Enhanced Autonomous Mapping) Project as part of UK Research and Innovation 🔹Finished our Demeter Project Success (UKRI) 🔹Attended/Sponsored the Safety-Critical Systems Symposium 🔹Presented at the DE&S Digital Engineering Conference 🔹Presented at the H2O conference - (COVE) alongside delivering demos at Halifax harbour with Deep Vision Inc. and Rosborough Boats 🔹Launched Modelworks® and CLawZ® and had a stand at Farnborough International Air Show 🔹Presented at Safety Critical Systems Club SCSC Developing Safe AI Systems seminar 🔹Completed the Airbus UK Space Accelerator Cohort 1 programme 🔹Colin O'Halloran presented for the Computer Science Department at University of York after providing a guest lecture on Computability, Complexity and Logic. 🔹Attended the European Space Agency - ESA (ESTEC) Industry Space Day in Noordwijk, Holland 🔹Attended the Community for Space Prosperity (CUSP) reception at the Palace of Westminster as part of the Space Accelerator after a morning hosted by Viasat 🔹Created a virtual exhibition for the Malvern Festival of Innovation (You can still visit!) 🔹Attended and presented at ADS Group Ltd ‘Engage Space Forum & Networking’ and ‘Engage Yorkshire’ space event 🔹Helped sponsor and fundraise for Help for Heroes 🔹Sponsored the “Employer of the Year” award at the Platinum Media Group Ltd Sussex Business Awards 2024 🔹Presented a webinar for the Institution of Engineering and Technology (IET) on “Accessible Formal Methods in Nuclear Engineering” 🔹Hosted from the (former) Minister for Security, Mr Tom Tugendhat MP accompanied by our local MP, Dame Harriett Baldwin Thanks to everyone who made 2024 a ground-breaking year for D-RisQ. We look ahead to 2025 ready to keep this immense momentum going. #SoftwareEngineering #FormalMethods #SoftwareVerification #Apprecation #Reflection
-
-
-
-
-
+8
-
-
An all-encompassing software verification tool suite that works as one. From requirements through to design and source code, we've designed our software verification tool suite to tackle every stage of the software lifecycle. Saving you time and resources alongside a 30-80% decrease in development costs. For more details about our tools, visit https://lnkd.in/ekY2-gy6. #SoftwareVerification #ComputerScience #SoftwareEngineering #FormalMethods #SoftwareEngineer https://lnkd.in/eT7KF7xM
Unlock Efficiency: Cut Costs in Software Development with D-RisQ's Advanced Verification Tools.
https://www.youtube.com/
-
Another pioneering project is on the horizon. We’re delighted to announce that D-RisQ is part of the pioneering PlaTFoRm (Practical Testing of Formal Requirements) project, awarded £1 million in funding by UK Research and Innovation and the German government. In collaboration with Newcastle University, fortiss, and Verified Systems International GmbH, this international research initiative aims to transform how we can ensure safety-critical embedded software. The two main focuses of the project will be: 🔹An automatic lane-keeping system (automotive). 🔹A medical device addressing the software quality challenges in healthcare. Stay tuned for further updates on this exciting project. #EmbeddedSoftware #AutonomousVehicles #SoftwareEngineering #SoftwareEngineer #FormalMethods
-
-
Catch up on our webinar – Accessible Formal Methods in Nuclear Engineering. If you missed the live session, don’t worry. The "Accessible Formal Methods in Nuclear Engineering" webinar, hosted by the Institution of Engineering and Technology (IET), is now available to watch online at your convenience. Learn all about how formal methods are transforming the assurance of software system behaviour, offering both accessibility and cost-efficiency for engineering processes. And if that’s not enough, don’t forget that watching the webinar can count towards your Continuing Professional Development (CPD) hours under the IET’s CPD monitoring scheme. Watch it here – https://lnkd.in/e_Fmu4zf. #FormalMethods #EmbeddedSoftware #SoftwareEngineering #SoftwareEngineer #ComputerScience
-
-
D-RisQ founder, Professor Colin O'Halloran inspiring the next generation of software engineers in the art of the possible. #SoftwareVerification #FormalMethods #EmbeddedTechnology #SoftwareEngineering #SoftwareDevelopment
We were delighted to have Colin O'Halloran from D-RisQ Ltd give a guest lecture to our second-year undergraduate students this week. Colin impressed upon us the importance of abstraction in design, and how computer-aided reasoning tools can tackle real-world problems. He presented D-RisQ's impressive suite of assurance tools, which both inspired and complement the RoboStar approach.
-
-
After an excellent three-month programme run by Plexal, we very much enjoyed our graduation for the Airbus Defence and Space Accelerator alongside our fellow Cohort 1 members. Aquark Technologies | ANGOKA | BioOrbit | Applied Atomics | Magdrive Technology Ltd | LIA Aerospace | Physical Mind London | Yondar Space | Calnex Solutions It was a pleasure collaborating on this exciting project and we look forward to future collaborations within the Cohort as well as supporting future Cohorts. #Graduation #SpaceProgramme #SpaceInnovation #SoftwareEngineering #FormalMethods
From manufacturing cancer drugs in zero gravity, to turning space junk into fuel - the future of space is being redefined by a new generation of innovators🌌 Follow these inspiring space startups as they embark on the Airbus Space Accelerator to develop groundbreaking technologies that push the boundaries of what's possible. ➡️Watch the full video on YouTube: https://lnkd.in/eyczmxcG #Airbus #SpaceAccelerator #Innovation #UKSpace #Startups #ShootingForTheStars
-
Thanks to everyone who joined us on the Institution of Engineering and Technology (IET) ‘Accessible formal methods in Nuclear Engineering’ webinar. We were delighted to have so many professionals interested in learning more about the accessibility of formal methods and how they can become the practice for assuring software. If you had any questions following the webinar, we invite you to get in touch – https://lnkd.in/eNJECJsV. #FormalMethods #EmbeddedSoftware #SoftwareEngineering #SoftwareEngineer #ComputerScience
-
Achieve verification at the press of a button. ▶️ Our Proof tool suite can automate verification without the required specialist skills, helping to provide software assurance and reduce costs for your business. Explore the capabilities of our intelligent verification tools – https://lnkd.in/ekY2-gy6. #SoftwareVerification #FormalMethods #EmbeddedTechnology #SoftwareEngineering #SoftwareDevelopment
-
-
It's Maths Week England! Within D-RisQ we exploit mathematics every day in what we do with software engineering (emphasis on the word 'engineering'). This is a good article that shows the breadth of application of maths into some very cool areas... https://lnkd.in/eSV5WaMc
2️⃣ ➕ 2️⃣ 🟰 4️⃣ It's Maths Week England! Read our latest insight from ADS' Head of Policy Nathan Mathiot into how #maths underpins our problem-solving, creativity and logic: https://lnkd.in/ejdaCMkp #MWE #STEM #MathsCareers
-