Posts

Showing posts from January 29, 2016

AdaCore’s CodePeer for mission-critical software, safety-critical, and security-critical systems

Image
AdaCore’s CodePeer static analysis tool is streamlining its experiences within industries through mission-critical software, safety-critical, and security-critical systems.In our connected world where imperfections are not tolerated, this analysis tool is helping improve computational accuracy; verify that code is free of certain categories of run-time errors such as buffer overflows, floating point underflows and overflows, integer overflows and references to uninitialized variables.
Atlantic Inertial Systems Limited, a UTC Aerospace Systems company in the U.K., is implementing the tool for usage on its TERPROM® digital terrain system for military transport aircraft.

New Hybrid Cloud Capabilities at IBM and supported software and capabilities for LinuxONE

Image
IBM is henceforth deeply committed within the open source community where the global company aims to play a fundamental role through powerful contributions, technologies, services and collaborations. 
On this momentum, IBM is optimizing its Cloudant and StrongLoop technologies for LinuxONE. The new features will offer a highly scalable environment on Node.js, which enables developers to write applications for the server side using the language they prefer. For those are unfamiliar, Cloudant is an enterprise-grade fully managed NoSQL database, that stores data in JSON format, common for mobile data, enabling users to save time by storing data natively in the system, without the need to first convert it to a different language.
IBM is also expanding supported software and capabilities for LinuxONE with Go, designed for building simple, reliable and efficient software.