com)-- From ARM TechCon, Santa Clara, CA - November 10, 2015 - LDRA, the leader in standards compliance, automated software verification
, source code analysis, and test tools, announced today that Express Logic selected LDRA as a preferred partner for automotive and rail certification.
Bruno Bratti will explore the topic of AXI hardware and software verification
Although the basic principles of software verification
have been known for decades and researchers have developed an abundance of techniques for formal reasoning about programs, modern software has lots of errors, as everyday users can testify.
Appropriate software verification
, validation, and hazard analysis must be performed; and
This product marks a major step forward in software verification
technology, providing users with more powerful and easier to use tools that support the latest version of the SPARK language, SPARK 2014.
The Palladium XP II platform is part of Cadence's System Development Suite, which speeds up hardware and software verification
Software designers are as swamped during development with the wealth of code that must be written and verified for complex modern computing systems that allow for such massive amounts of data to be collected, said Daniel Ragsdale, program manager for DARPA's crowdsourced software verification
P)eople who are doing large chips find that simulation is only adequate for the blocks within those chips, and that full-chip verification, especially software verification
, requires the addition of emulation," Rhines said.
Another 20 short papers look at software process improvement, education and human factors, software quality, software verification
, and software effort and productivity.
Included in this release is a new generation of code generation products, MATLAB Coder, Simulink Coder and Embedded Coder, as well as updates for 80 other products, including Polyspace embedded software verification
The primarily Chinese contributors propose a formal model for service choreography with exception handling and finalization, a certifying compiler for the Clike subset of the C programming language, and lazy decision diagrams for word-level model manipulation in software verification
The new technology builds on Symbolic Java PathFinder(1), a software verification
system developed by NASA, and expands it by adding efficient handling of not only numerical data, but also text data as input values.