D-RisQ - Modelworks
If you want to minimise iterations and costs, it’s essential to get things right early in the software development cycle. Modelworks® enables the automatic verification of designs in Simulink and Stateflow, enabling design engineers to explore various designs and choose the most maintainable, easy to use design. It’s an ideal software system for reducing costly design errors, optimising the efficiency of future coding jobs and providing evidence of design correctness.
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
Teal Consulting
Developing Collaborative Business Relationships
CALL FOR ASSISTANCE
Developing Collaborative Business Relationships - ISO 44001Organisations have long recognised tha
Product DetailtlmNexus Ltd
RESOLVE
CALL FOR ASSISTANCE
Tool overview: what will Resolve solve for me?Equipment issues that affect airworthiness, saf
Product Detail
D-RisQ
Clawz
CALL FOR ASSISTANCE
The manual generation of code is inevitably fraught with errors leading to expe
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 DetailtlmNexus Ltd
OBSERVE
CALL FOR ASSISTANCE
Tool overview: what will Observe -Post-Sortie Database solve for me?Designed by pilots for pi
Product Detail
Valqari
Valqari Single Locker (DevKit) Drone Delivery Station
CALL FOR ASSISTANCE
The Valqari single locker (DevKit) drone delivery station, enables full autonomous point-to-poi
Product DetailHeven Drones
H100
CALL FOR ASSISTANCE
The H100 represents the beginning of Hevens heavy lifter drones.
Product Detail
Teal Consulting
Operational Excellence
CALL FOR ASSISTANCE
Teal Consulting - Operational ExcellenceOperational excellence is crucial to businesses achieving
Product Detail
Heven Drones
Urban Heven
CALL FOR ASSISTANCE
The Urban Heven is an advanced stage hexacopter drone capable of serving multiple mission types.
Product DetailIntelligent Energy
2.4 kW Fuel Cell Power Module
CALL FOR ASSISTANCE
Lightweight power module for UAVs and other portable applications
Product Detail
