Search results for "AdaCore"

AdaCore, provider of Ada tools and expertise for the mission-critical, safety-critical, and security-critical software communities, today announced that the GNATcoverage tool has received an Electron d’Or prize in the Software Tools category. The prestigious award program, sponsored by France’s leading electronics trade publication, Electroniques magazine, identifies the most innovative products of the year in several different categories, hi...

AdaCore, a leading supplier of Ada development tools and support services, today announced that the Mobility Division of Siemens Switzerland Ltd., has selected GNAT Pro, along with the CodePeer static analysis tool, to develop the next generation of its railway control and information system. The contract with AdaCore provides Siemens software developers with state-of-the-art Ada tools and direct access to the world’s largest team of Ada expert...

AdaCore, fournisseur leader d’outils de développement sur Ada et de services de support, publie aujourd’hui la version 2.0 de CodePeer un outil d’analyse de code source capable de détecter statiquement des erreurs de logique et des erreurs d’exécution dans un programmes Ada.

AdaCore, provider of tools and expertise for mission-critical, safety-critical, and security-critical software development, today announced that EADS CASA is using the GNAT Pro High-Integrity Edition to implement the data exchange and air-to-ground data links systems for the nEUROn Unmanned Combat Air Vehicle (UCAV) demonstrator.

SPARK Pro 9, announced today by AdaCore and Altran Praxis, provides a major step forward for developers creating safety critical and high assurance systems. The advanced open source development environment now features increased security functionality, including the ability to verify and assure Multiple Independent Levels of Security (MILS) within the same application as well as support for the latest SPARK2005 language profile.

AdaCore, a leading supplier of Ada development tools and support services, today announced the launch of Ada Web Server (AWS) for Wind River’s VxWorks Real-Time Operating System (RTOS). When used in conjunction with the GNAT Pro development environment, AWS enables developers to embed an Ada-based web server within any application, accessible through web browsers. With AWS for VxWorks, users can connect through a direct TCP/IP link to board-lev...

AdaCore, a leading supplier of Ada language tools and support services, today announced the release of GNAT Programming Studio (GPS) 5.0. This new major version of AdaCore’s graphical Integrated Development Environment (IDE) offers enhanced support for C and C++, more powerful source editing, simpler use, and integration of GNATstack (a static analysis tool that determines a program’s maximum stack requirements). GPS is provided with GNAT Pro...

AdaCore and SYSGO today further strengthened their partnership by announcing the release of the GNAT Pro High-Integrity Edition for DO-178B toolset targeting SYSGO’s PikeOS platform, a safety-critical real-time operating system (RTOS). GNAT Pro has been ported to this platform in direct response to growing customer demand. This new development follows GNAT Pro support for ELinOS.

AdaCore, a leading supplier of Ada development tools and support services, today announced a new release of its Ada Integrated Development Environment (IDE) plug-in, GNATbench 2.3.1. This new release supports Workbench 3.1 and VxWorks 6.7, the latest versions of Wind River’s Eclipse-based IDE and real-time operating system, offering real-time/embedded systems developers a sophisticated Ada programming environment tightly integrated into the Win...

AdaCore, a leading supplier of Ada tools and support services, today announced the release of GNAT Programming Studio (GPS) 4.4. This new version of AdaCore’s graphical Ada-oriented Integrated Development Environment (IDE) offers an improved user interface, faster performance and greater integration with AdaCore’s Project Coverage and SPARK Pro toolsets. GPS is provided with GNAT Pro on most platforms, for both native and embedded software de...