This is the first release of the TYX ATLAS Code Analyzer. It is an extension of the TYX TRD System.
It contains the following categories of functionality:

• Preprocessing of ATLAS modules
• Parsing ATLAS code
• Analyzing ATLAS code
• Test Requirements extraction
• Manual refinement of analyzed ATLAS code

This release includes custom Parsers developed specifically for:

• ATLAS subset 85/89
• ATLAS subset 82

This release includes customs Analyzers developed specifically for:

• TYX ATLAS TPS family
• 716-82 TPS family
• C-130 TPS family

This release includes custom Preprocessors developed specifically for:

• C-130 TPS family
• 716-82 TPS family

The release package contains the following main items:

• ATLAS Code Analyzer installation package
• The ATLAS-to-TRD Object model document

2.1 Critical items

2.1.1. Operating system

Operating systems: this version was tested with Windows XP.

None.