BELMONT, Mass. [April 21, 2005]--The Ada Resource Association (ARA) announced today the addition of a new member, PolySpace Technologies. Headquartered in Woburn, Mass., and maintaining over a dozen international offices and distributors, PolySpace specializes in tools that statically analyze the internal dynamics of embedded applications.

"The ARA is pleased to welcome PolySpace as a new member," said Ben Brosgol, ARA President. "One of our goals is to have Ada widely understood as the best choice for high-reliability applications. PolySpace is a well-known provider of static analysis tools in this domain, and their joining the ARA will help us get our message across."

PolySpace, Inc., President Chris Hote explained his decision to join the ARA: "The ARA offers a unique platform through which to support the ongoing development of the Ada standard, to help shape the Ada market, and to contribute to the Ada community," he said. "We want to be part of the future of Ada, and know we can do that best through the ARA."

PolySpace Technologies provides a variety of bug-detection products that help increase software development productivity and quality. Its static analysis tools been chosen by more than 250 customers from the defense, airborne, space, automotive, ground transportation, and medical devices industries.

The Ada Resource Association (http://www.adaresource.com) is an international trade group comprising the principal vendors of Ada-related technology. The ARA promotes and publicizes Ada technology usage (http://www.adaic.org), and sponsors the ongoing development and maintenance of the Ada language standard and associated infrastructure.

The ARA's current members are AdaCore, Aonix, IBM Rational, Polyspace Technologies, Praxis Critical Systems, and SofCheck.