• Home
  • Ada Advantages
  • Learn Ada
  • Resources
  • ARA Community
Site Map | Contact Us

Ada Resource Association

News and resource for the Ada programming language

  • Press Release Apr 27 '10

    Rockwell Collins selects SPARK Pro

    Posted by AdaCore

    SPARK tools complement GNAT Pro for High Assurance Software projects

    NEW YORK and SAN JOSE, Calif. – April 27, 2010 – Embedded Systems Conference – AdaCore, a leading supplier of Ada development tools and support services, today announced the selection of SPARK Pro by Rockwell Collins for use on selected projects that have stringent security and information assurance requirements.

    Continue Reading
  • Press Release Mar 24 '10

    Barco selects GNAT Pro for Advanced Avionics Applications

    Posted by AdaCore
    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.
    Continue Reading
  • Press Release Feb 17 '10

    Advanced Technologies Selects Ada for U.S. DOT Traffic Signal Control Program

    Posted by Advanced Technologies

    Adoption of Ada and GNAT technology brings safety, reliability and security to SCoPE

    WINTER SPRINGS, FL, February 17, 2010 – Advanced Technologies, developer of real-time safety critical embedded systems, today announced its selection of the Ada language and GNAT Ada technology to implement the U.S. Department of Transportation’s Signal Control Program Environment (SCoPE). This Open Source system will control traffic instruments, such as lights and call buttons, while interfacing with various sensors and detectors at intersections. It will also implement new traffic flow and preemption algorithms. The GNAT environment was previously utilized for the SCoPE proof-of-concept research prototype, and is now being used for final product development.

    “The U.S. Department of Transportation realized the need for new intersection control programs to be developed in the same language as is used in other safety-critical applications, such as flight control and missile systems,” said ATI President Mark Gardinier. “With its strong track record for safety, reliability and security, and with features such as protected types to support well-engineered concurrent programming, Ada is an excellent language for transportation systems in general and SCoPE in particular.”

    ATI used the Ada language, the GNAT Ada development environment for GNU Linux, and the GNAT Programming Studio GPS) Integrated Development Environment to build the prototype system. ATI utilized AdaCore’s GTKAda toolkit along with the GLADE 2.0 GUI Builder to implement the graphical user interface (GUI) and display for the prototype. GLADE allowed ATI engineers to rapidly create a traffic intersection model using graphics downloaded from the internet along with the GIMP graphics tool. GTKAda was directly generated from GLADE. By using GTKAda, ATI only had to recompile and relink the source code to run the GUI on either Linux or Windows.

    For its new core logic, SCoPE will incorporate an Open Source signal control program developed at the University of California. ATI is improving on this program and re-writing it in Ada 95. SCoPE is being designed so that the Cooperative Intersection Collision Avoidance System (CICAS), and Adaptive Control Systems (ACS) Lite can be easily integrated into, and operate with, National Cooperative Highway Research Program (NCHRP) Signal Transition Logic. ATI is also incorporating additional NCHRP 3-66 algorithms selected by the Contracting Officer’s Technical Representative and other members of the CICAS and ACS consortium.

    The initial software will execute under GNU Linux and be integration tested on a PowerPC-based target platform. The final software will run on the newly developed Advanced Traffic Controller architecture. Software testing during the development stage will be done primarily using the Open Source Texas Model traffic simulator. Formal validation will then be performed at multiple University Transportation Center (UTC) locations.

    The software developed by ATI will be dual redundant. All requirements, including design, code, and unit tests, will be kept under configuration control. All software design, implementation, testing, configuration management and documentation for this project was developed using Open Source tools.

    About Advanced Technologies, Inc.

    Advanced Technologies Incorporated (ATI), founded in 1986, is a long-time supplier of aerospace research and development software. ATI engineers have designed and implemented a range of software, including a missile guidance system, redundancy software for a flight control system, the middleware of a satellite communications system, the run-time executive of a weapons tracking system, and black box interface software for a missile guidance system.

    ATI is based in Winter Springs, Florida. http://www.advancedtechcorp.com

    Press Contact

    Mark Gardinier, President
    Advanced Technologies, Inc.
    mark@advancedtechcorp.com
    407-588-7199

    Continue Reading
  • Press Release Feb 9 '10

    AdaCore Releases GNAT Pro 6.3

    Posted by AdaCore
    Ada development environment now supports 64-bit code generation on Windows.

    BRISTOL, United Kingdom, NEW YORK and PARIS, February 9, 2010 – Safety-Critical Systems Symposium – AdaCore, a leading supplier of Ada development tools and support services, today announced the latest major release of its GNAT Pro Ada development environment. GNAT Pro 6.3 is now available on several new platforms including 64-bit Windows, Windows 7, Mac OS X Snow Leopard, VxWorks MILS, and PikeOS (ARINC 653). The product incorporates performance improvements and a variety of enhancements, many based on customer feedback, and it offers the first implementation of new Ada 2012 features. GNAT Pro 6.3 works with a number of complementary tools, sold separately, including the CodePeer automated code review and validation tool.

    Continue Reading
  • Press Release Jan 26 '10

    GNAT Pro support for PikeOS

    Posted by AdaCore

    New Safety-Critical RTOS Platform for GNAT Pro High-Integrity Edition

    SANTA CLARA, NEW YORK and PARIS, January 26, 2010 – Real-Time & Embedded Computing Conferences (RTECC) – 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™.

    Continue Reading
  • Press Release Jan 12 '10

    AdaCore Launches CodePeer Tool

    Posted by AdaCore

    Automated code review assistant helps eliminate bugs and vulnerabilities

    NEW YORK and PARIS, January 12, 2010 – AdaCore, a leading supplier of Ada development tools and support services, today announced the release of CodePeer, a source code analysis tool that detects run-time and logic errors in Ada programs. Serving as an efficient and accurate code reviewer, CodePeer identifies constructs that are likely to lead to run-time errors such as buffer overflows, and it flags legal but suspect code typical of logic errors.

    Continue Reading
  • Press Release Oct 7 '09

    Praxis and AdaCore launch SPARK GPL

    Posted by AdaCore, Altran

    Praxis and AdaCore launch SPARK GPL, which makes the SPARK technology available under the GNU Public License (GPL). This brings a professional-grade toolset for high-assurance and safety-critical software development to the academic community and developers of Free Software.

    Continue Reading
  • Press Release Sep 22 '09

    AdaCore Announces Release of GNAT Pro for LynxOS 5.0

    Posted by AdaCore

    AdaCore Announces Release of GNAT Pro for LynxOS 5.0
    GNAT Pro 6.2.2 available for both PowerPC and x86 targets

    NEW YORK, PARIS and BOSTON, September 22, 2009 – Embedded Systems Conference – AdaCore, a leading supplier of Ada development tools and support services, today announced the release of the GNAT Pro Ada development environment for the LynuxWorks LynxOS 5.0 operating system. This release allows GNAT Pro users to develop applications for both LynxOS 4.x and 5.0, and also provides a smooth migration path from older versions of the operating system to LynxOS 5.0. GNAT Pro for LynxOS 5.0 is available for both Linux and Windows host platforms, and for both PowerPC and x86 embedded targets.

    Continue Reading
  • Press Release Sep 17 '09

    New Release of GNATbench for Wind River Workbench

    Posted by AdaCore

    New Release of GNATbench for Wind River Workbench Extends AdaCore’s Eclipse Technology – Ada plug-in supports latest Wind River Workbench version

    NEW YORK, PARIS and FRAMINGHAM, Mass., September 17, 2009 – Wind River Aerospace and Defense Regional Conference – 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.

    Continue Reading
  • Press Release Sep 7 '09

    General Dynamics UK selects SPARK language for major new Royal Navy helicopter project

    Posted by Altran

    SPARK used to develop safety-critical system for AgustaWestland AW159 Lynx Wildcat.

    Praxis, the international specialist in critical systems engineering and assurance, today announced that General Dynamics UK has selected Praxis’ SPARK language as part of its £6 million contract to develop the safety-critical Stores Management System for the Royal Navy’s new AgustaWestland AW159 Lynx Wildcat helicopter.

    Continue Reading
previous123456789101112131415161718next
  • Press
  • Articles
  • Events
Filter by Organization
  • Ada Europe
  • AdaCore
  • Advanced Technologies
  • Altran
  • ARA
  • Atego
  • LDRA
  • OC Systems
  • PTC
  • SIGAda
  • SofCheck
  • Sysgo

ARA Sponsor Spotlight
AdaCore View All Sponsors



AdaCore Altran_2019_Logo PTC Logo

Ada Advantages

  • Ada Overview
  • Features & Benefits
  • Ada Comparison Chart
  • Ada 2012
  • Ada 2005
  • SPARK Ada
  • Ada and Multicore
  • Case Studies
  • Ada Projects

Ada Projects

Learn Ada

  • Learning Materials
  • Professional Training
  • Ada in Academia

Resources

  • Ada Standards
  • Free Tools & Libraries
  • Professional Tools and Services
  • Associations
  • Ada on the Web

ARA Community

  • Sponsors
  • Compilers and Conformity
  • Join the ARA
  • ARA Press Releases

Copyright © 2009-2021 Ada Resource Association Site Map | Contact Us