Mar 24 '10
AMSTERDAM, NEW YORK and PARIS, March 24, 2010 – Avionics Europe 2010 – AdaCore today announced that global display company Barco has developed an advanced business jet avionics display system using the AdaCore GNAT Pro Ada development environment. Barco selected the GNAT Pro High Integrity Edition, along with the Traceability Kit, running on Wind River’s VxWorks 653 RTOS in order to meet the highest levels of safety standard DO-178B.
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.