D-RisQ develops high integrity software verification tools, uses them to produce for example decision making software for autonomous vehicles. We have shown that it is possible to make up to 80% savings in safety critical software development while also showing compliance to various software standards and regulations. Indeed, we helped to write DO-178C. We can either develop the software for you or we can help you to do so with our licenced tools. We have, for example, developed software that assures the behaviour of an autonomous vehicle, ie it behaves as though it was crewed
Safety Critical Software, Software Tools, IoT/Industry 4.0 & Data Management, Space Software
