D-RisQ - Clawz
The manual generation of code is inevitably fraught with errors leading to expensive re-work. Even if code is automatically generated unit test is required to demonstrate that the code is error free and further tests must show that it implements the software design. CLawZ® avoids the time and cost of undertaking unit test because it automatically proves that the automatically generated code correctly, completely, and accurately implements a design generated in Simulink.
The Detail
D-RisQ develop automatic, high integrity, software verification tools that can reduce the cost of developing safety related software by 80% while also complying with standards such as DO-178C. D-RisQ has used this technology to develop software that assures the behaviour of autonomous vehicles in various sectors. In the aerospace sector we have assured compliance to SERA, in maritime to COLREGS and have also developed similar for underwater nuclear decommissioning vehicles as well as for the off-shore industry.
You may also like
DRONE TRACKING TECHNOLOGIES
The F-Series VAD drone detection system
CALL FOR ASSISTANCE
The F-Series VAD drone detection system.
Product DetailtlmNexus Ltd
DAMAGE AND REPAIR TRACKER (DaRT)
CALL FOR ASSISTANCE
A popular consultancy and software solutionYour entire system’s damage and repair can be recorde
Product DetailDRONE TRACKING TECHNOLOGIES
The P-Series VAD drone detection system
CALL FOR ASSISTANCE
The P-Series VAD drone detection system
Product DetailtlmNexus Ltd
RESOLVE
CALL FOR ASSISTANCE
Tool overview: what will Resolve solve for me?Equipment issues that affect airworthiness, saf
Product DetailtlmNexus Ltd
EVIDENCE DOCUMENT BUILDER
CALL FOR ASSISTANCE
Tool overview: what will Evidence Document Builder (EDB) solve for me? Complying with t
Product DetailALTI
Reach - VTOL UAV
CALL FOR ASSISTANCE
The ALTI Reach is the upcoming 'bigger brother' to the ALTI Transition.
Product Detail
Heven Drones
H250
CALL FOR ASSISTANCE
The H250 will be the workhorse of Heven’s heavy lifting drones.
Product Detail
tlmNexus Ltd
OBSERVE
CALL FOR ASSISTANCE
Tool overview: what will Observe -Post-Sortie Database solve for me?Designed by pilots for pi
Product Detail
Microbyte Solutions Ltd
Telecoms
CALL FOR ASSISTANCE
Complete telecoms for a fixed monthly feeWhen it comes to business grade telephone solutions,
Product Detail
Teal Consulting
Operational Excellence
CALL FOR ASSISTANCE
Teal Consulting - Operational ExcellenceOperational excellence is crucial to businesses achieving
Product DetailTeal Consulting
Developing Collaborative Business Relationships
CALL FOR ASSISTANCE
Developing Collaborative Business Relationships - ISO 44001Organisations have long recognised tha
Product DetailMicrobyte Solutions Ltd
White Label 24/7 IT Helpdesk
CALL FOR PRICE
You can outsource your IT Helpdesk from only £500 a month.Microbyte White Label boosts your suppo
Product Detail