Abstract

• 26500 lines of C generated from occam by SPoC [1]
• Radar based fluid level gauge [5], [6]
• Analysed by the static analysis tool PC-lint [7]
• TMS320C32 DSP - 32 bit read and writes
• No problems with the generated code
• It compiled with all error handling enabled
• But linted with 15-20 different active PC-lint filters
• Plus local filters via in-line C in the occam sources
• According to PC-lint occam(!?) could be stricter
• Changes to SPoC are suggested
• SPoC seems to have passed this test quite well.
• "Bazaar" development model [2]