|
AdaIC News
Brief
|
Week Ending
April 19, 1996
|
Ada 95 PRODUCTS TO BE DEVELOPED THROUGH ATIP-P PROGRAM
- Stony Brook Software of Thousand Oaks, CA
- R.R. Software, Inc., of Madison, WI
- NOETIC Software, Inc., of Willow Grove, PA
- McKee Consulting of Littleton, CO
- DDC-I of Phoenix, AZ
- Objective Interface Systems, Inc., of Reston, VA
- Ada Software, Inc. of Laurel, MD
- OC Systems, Inc., of Fairfax, VA
- Intermetrics, Inc., of Cambridge, MA
- WPL Laboratories, Inc., of Haverford, PA
Further information regarding the ATIP-P program can be
obtained from the INEL program manager, Doug Colonel, at
208/526-0204, fax: 208/562-8086, or e-mail: col@inel.gov.
The AdaIC will provide additional information on the details
of each contract award.
THOMSON SOFTWARE PRODUCTS OFFERING FREE Ada 95 SEMINAR!
Ada 95 BOOCH COMPONENTS AVAILABLE FOR FREE!
Ada 95 Booch Components has just been released and is
available for free at ftp://ftp.dfw.net/pub/users/dweller!
This release only provides the Queues sequential
hierarchy, but near-future releases will include other
components. Select the ".zip" file if using a Microsoft
operating system other than Windows 95 or Windows NT.
Make sure to read the supplemental data provided and check
out the web page located at http://www.ocsystems.com/booch.
SOURCE:
Posted by David Weller to comp.lang.ada
Ada 95 AND RATIONAL: WORKING TOGETHER IN SAFETY-CRITICAL/
MISSION-CRITICAL APPLICATIONS
Rational Software Corporation is heightening awareness of
Ada's important role in safety-critical applications as
businesses have begun self-imposing tougher internal
standards for testing and documenting software. Rational's
article, "Look to Rational for Safety-Critical/Mission-
Critical Application Development Tools", discusses the
number of standards that have emerged to help improve the
quality of applications and to shorten the development
cycles that produce them.
Rational offers Ada and its own line of Ada products as a
means of cutting down on the expense and time needed to
develop safety-critical applications. Because Ada is,
"rigorously defined, formally standardized, and designed for
the creation of reliable systems", it can only aid
businesses in their development of safety-critical
applications.
Rational now offers VADS-sc, a line of Ada products
specially configured for the development of safety-critical
applications to the toughest level of criticality specified
by DO-178B level A (standard enforced by the FAA). Other
elements of Rational's Ada toolset that can be used to
improve the quality and reduce the risk of software
development efforts include: Rational Rose/Ada, Rational
Apex, TestMate and SoDA.
SOURCE:
"Look to Rational for Safety-Critical/Mission-Critical
Application Development Tools," The Rational Watch.
1996, Vol.6, No.1.
Ada VERIFICATION TOOLS AVAILABLE FROM DDC-I
DDC-I, Inc. recently announced the release of DACS -
Qualified, a set of FAA qualified Ada verification tools.
The tools are used for verification of structural coverage
in testing applications supporting both source level
statement coverage as well as object code coverage. Each
tool has been qualified and used for FAA certification of
Assembly applications, Ada applications and Ada Run-Time
Systems. The tools are non-intrusive, support cross
development and are easy to use.
For more information, contact:
Jennifer C. Sanchez
DDC-I, Inc.,
400 N.5th St.
Phoenix, AZ 85004
Phone: 602/275-7172
Fax: 602/252-6054
http://www.ddci.com
SOURCE:
DDC-I, Inc. News Release.
The AdaIC's "Ada News Brief" is a compilation of summaries from Ada-
related articles in trade magazines, newsletters and press releases. The
AdaIC welcomes suggestions for and pointers to Ada-related articles.
|
|
Contact the AdaIC at:
Ada Information Clearinghouse
P.O. Box 1866
Falls-Church, VA 22041
1-800/232-4211 or 703/681-2466
adainfo@sw-eng.falls-church.va.us
http://sw-eng.falls-church.va.us
| |