Category Archives: Applications & Testing & Experience

Royal Canadian Mounted Police Tests Draganflyer to Replace Helicopters

[Hover over image for video]

The Royal Canadian Mounted Police is testing a Draganflyer to hover over crash sites and crime scenes to take photos or beam video back to officers on the ground. The remote-controlled unmanned aircraft should help crash analysts get better, faster images to reconstruct what happened.

Continue reading

New Software Verification Tools: Mathematical Proof Techniques, Automated Requirements Tracing

Approaches to software verification tools are widely varied, but tend to segment into static tools, which work with the source code itself, and dynamic test tools, which execute the code with test cases to verify that the software works correctly. New kinds of dynamic software code verification tools seek to automate the process of following software verification requirements.

Continue reading