Feb 16 '10
in Embedded Computing Design
Static analysis tools are becoming more integrated into the software development process. Saving data from the compiler, change history, and error information during the process instead of as a post-code step can make static analysis more productive.
Feb 15 '10
Jack Ganssle at Embedded.com discusses the Sofcheck and AdaCore CodePeer tool in Executing software contracts; in particular he examines the tool’s ability to create contracts for subprograms.
Dec 7 '09
in Electronic Design
William Wong looks at the Dasher project being developed by Mälardalen University in Sweden.
Sep 23 '09
in Electronics Talk
LDRA has released a security-critical development and certification solution to ensure the company’s tool suite meets the growing demand for security-critical software.