BURLINGTON, Mass. (October 28, 2002)— Old friends who turn into new are even better than gold. The Ada Resource Assoc. (ARA) today announced that a new member, SofCheck, Inc., is replacing an old, AverCom. S. Tucker Taft is the first president of SofCheck and the long-standing one of the ARA.

“Ada’s future growth and stability are crucial to my new company’s bottom line,” Taft said. “The ARA works hard to guarantee both for me and my colleagues.”

Formerly of AverCom, Mr. Taft has founded SofCheck in order to support quality-oriented software development teams. One of his first moves was to make the new company a member of the ARA, an Ada-promotion group that includes over 90 percent of the object-oriented programming language’s tool and software developers.

Established in April 2002, SofCheck has three technology specialties: an automated bug detector, a software development portal, and AdaMagic™.

SofCheck’s AdaMagic technology has a broad and deep history in leading Ada software development. Created in 1993 at Intermetrics, Inc., by the same team that designed the Ada95 standard, AdaMagic was the basis for the first Ada95 compiler validated under the Ada95 version of the ACVC/ACAS test suite.

The AdaMagic technology suite includes an Ada95 front end adaptable to generate various different intermediate representations, and a portable Ada95 runtime system suitable for both bare board and RTOS-based environments. Existing versions of the AdaMagic front end generate Java byte codes (AppletMagic), optimized ANSI C, and various other more “conventional” compiler ILs.

AdaMagic technology is used in the Green Hills Software AdaMulti™ product line, the Aonix ObjectAda™ product line, the SHARC AdaMagic compiler for the Analog Devices SHARC DSP, and for other proprietary chips. The ANSI-C-generating variant of the AdaMagic front end has been used on various projects enabling existing Ada code to be used in environments where there is no “traditional” Ada compiler available.

A founder of the ARA, Mr. Taft is a cornerstone in the Ada community. From 1990-95, he led the Ada9X design team and succeeded in making Ada95 the first ISO standardized object-oriented programming language. In his twenty years with AverCom/AverStar/Intermetrics, Taft became Chief Technology Officer of AverCom Corporation (a Titan Company).

Prior to 1990, Mr. Taft participated in the development of the Ada Integrated Environment (AIE) for the Air Force, a commercial C cross-compiler (InterTools C), the Common APSE Interface Set (CAIS), and an Ada binding to SQL (SAME).

Mr. Taft graduated from Harvard College in 1975 with a bachelor’s in Chemistry, Summa Cum Laude.

For further information, visit www.sofcheck.com, or contact SofCheck by phone +1 (781) 750-8068, Fax +1 (781) 750-8064 or E-mail info@sofcheck.com. .

Media Contact:
Eileen Pacheco
eileen@tango-group.com
+1 (781) 556-1026