Altera discuss successful use of Imperas tools to find complex OS bugs

Altera Embedded NASCUG 2013 paper

At the June 3, 2013 North American SystemC User Group meeting as part of the Design Automation Conference 2013 in Austin Texas, Victoria (Vicki) Mitchell of Altera presented a paper titled: Embedded Software Dynamic Analysis: A New Life for the Virtual Platform.

The presentation introduces the Software part of HW/SW co-design, with the issues of Code Safety and Security being addressed and how Dynamic Analysis using simulation and virtual platforms can address them. It continues with Software Analysis by using a platform modeled with OVP and using the Imperas tools shows examples of how bugs were found in the use of Linux and uC/OS-ii. The presentation concludes with the conclusion that the use of virtual platforms and dynamic analysis provides safe and secure code for embedded systems.

The slides are available here:  http://nascug.org/events/19th/Dynamic_Analysis_6-3-2013.pdf

Victoria (Vicki) Mitchell was voted one of the Most Influential Women in Embedded for 2013 and manages the worldwide embedded software team at Altera. Her group is responsible for models and simulation, development tools, and OS enablement for Altera’s microprocessor subsystems. She is responsible for the build-out of the software function at the Austin Technology Center. Vicki has more than 25 years of experience in low-level, systems software, mostly at semiconductor companies such as Cirrus Logic, SigmaTel, and IDT. There is an interview here:  http://embedded-computing.com/articles/2013-influential-engineering-altera-corporation/#

 

##