PARIS and NEW YORK. AdaCore has announced the completion of Project Hi-Lite, a joint research project focused on enhancing formal verification for multi-language, open-source software projects that require safety certification. Leveraging Airbus verification methods and industry tools, Project Hi-Lite combined formal proofs with testing and static analysis to improve the development of high integrity software. In the process, the Hi-Lite project also produced the first tools capable of integrating testing and formal verification for Ada and C programs.
OMAHA, NE. The Flight Simulyzer (F-SIM) avionics databus protocol analyzer has been released for Linux Operating Systems by Avionics Interface Technologies (AIT). F-SIM is a Graphical User Interface (GUI) bus analyzer for analyzing, configuring, and controlling data from ARINC 429, ARINC 664/AFDX, and MIL-STD-1553 buses. It has been tested in CentOS Linux, Debian, and Ubuntu environments.
Software developers have enough on their plates without having to spend undue time analyzing their code. Sure, there is traditional source code analysis, whether done manually or by using techniques such as static or dynamic analysis, but Klocwork’s Insight 9.5 is intriguing because...