Support was given to a partner developing high integrity (DO-178C Level A) Flight Control Systems (FCS). The initial work focussed on requirements for the control law, the interfaces and voting mechanisms. The initial work, focussed solely on the control law, and took around 2 days to write using Kapture®. The more detailed work was completed by the D-RisQ team in around a month assisting in writing the 23 system and 400 software requirements using Kapture® tools as the enabler.DISCOVER MORE
The major problem with unmanned air vehicles is knowing what they will do once they are Beyond Visual Line of Sight, when situational awareness is difficult to obtain and even when communications are interrupted. The software produced by D-RisQ enabled the unmanned air vehicle to always comply with the rules-of-the-air. In an evolution from USMOOTH, we added an extra capability which ensured that the vehicle behaved as though it was piloted.
Predicate Guard: High assurance software for autonomous systems air safetyDISCOVER MORE
This case study focussed on the difficulty and cost associated with developing software for use in an uncertain environment. The requirement was that the software must satisfy “that the estimated Ground Velocity shall be within 3 km/hr of the true velocity of the aircraft at some moment within the past 3 seconds”. This seemingly simple requirement leads to some subtle issues about the physical environment that the software must deal with. For example what is meant by the true velocity of the aircraft? In a specification generated before the software has been tested on an aircraft makes this difficult to define.DISCOVER MORE