News

Non-intrusive code coverage for safety-critical software

Process Safety Products, News, Articles, Application Stories, Events, Training & Resources >> 
Embedded Computing Design, November 2011
By Benjamin M. Brosgol, AdaCore
A coupled target emulator and non-intrusive coverage analyzer tool enhances safety-critical structural coverage verification and simplifies certification.

For more techical information visit our sister website www.engineeringmaintenance.info or for equipment procurement please visit www.engineeringtrader.com
Pin It