13050 Equipment List.xlsx
XLSX spreadsheet 29 KB Posted
- Attached to
- AdaCore GNAT Pro Software Federal contract opportunity
- Solicitation number
- FA813925Q0009
About this file
The file is an Equipment List Excel spreadsheet detailing software license renewals for AdaCore GNAT Pro software, specifically for the Department of the Air Force. The document outlines software license renewals for GNAT Pro Assurance, Enterprise, and Analysis tools for Ada development across multiple platforms including PowerPC VxWorks and x86 Windows, with support for 32-bit and 64-bit environments. The licensing is structured with three option years, each with a tiered pricing model where certain licenses are offered at discounted rates (ranging from free to 75% off) when purchased in combination with specific core licenses.
The acquisition is for a software license renewal with a 30-day delivery timeline after receipt of order, to be shipped to Michael Myer at Tinker Air Force Base in Oklahoma. The pricing includes guaranteed price increases of 6% for year 2 and 5% for year 3, covering a range of software tools including assurance products, enterprise development licenses, dynamic and static analysis suites, and ASIS tools for analyzing Ada sources. The solicitation is identified as a sole source procurement with solicitation number FA813925Q0009, indicating AdaCore is the exclusive provider for these specific software licenses and tools.
View the file
Other files for this federal contract opportunity
| File | Type | Posted |
|---|---|---|
| AdaCore_Combined Synopsis and Solicitation.pdf |
On GovTribe
Work with this file on GovTribe
- Download the original file
- Contacts named in this file
- Similar government files
- Ask GovTribe AI about this file
Text version
Instructions Equipment List Instructions
| Alexsys & PRI | Identify the Alexsys # and the PRI # applicable to this purchase |
| Acquisition Type | Identify whether the acquisition is for Service, Supply, New Software Only, Software Renewal Only or a combination of new and renewal of software licenses. If using the combo for software licenses be sure to identify which ones are new and which ones are renewals on separate line items. If an acquisition is a hybrid of service and supply, the acquisition type shall be identifed as the predominant type. |
| Acquisition Schedule | Service - Identify Period of Performance Dates (From/To) |
*If specific dates are unknown, identify the number of months After Receipt Of (ARO) contract award (e.g., 90 days ARO)* Supply - Identify delivery due date New Software - Identify software delivery due date and license coverage period Software License Renewal - Identify software delivery due date and software license coverage period *** All dates shall be from contract award forward. Contracts shall not be backdated due to missed license renewal or to avoid reinstatement fees for gaps in coverage. If license was not renewed prior to expiration renewal/reinstatement fees are mandatory and shall be included as a separate line item when developing CLIN structure***
| Shipping Information | If applicable, insert the physical shipping address or inbox location for deliverables. Include the POC Name and Phone # |
| Line Item Structure | IAW DFARS 204.7103-1; Contract Line Item Numbers (CLINs) are established based on specific characteristics: |
Single Unit Price Separately Identifiable Supplies = Separately identifiable National Stock Numbers (NSNs), Item Description, Manufacturer Part Number Services = Separately identifiable scope of work or description of services Separate Delivery Schedule The line item listed on the equipment list shall correlate to the Purchase Request (PR) CLIN structure
Description Write a description of the supply or service required. If purchasing a supply that includes incidental services (travel, installation, maintenance, or other support separate from the supply unit cost), a separate CLIN is required.
Include license coverage period with the applicable software line item If Options are required for continued services beyond the first year, include a separate line item for every year, to include the services required for those option years.
| Manufacturer | If applicable, identify manufacturer for brand name or equivalent |
| Part Number | Verify part numbers are not End-of-Life (EOL) or obsolete when selecting. |
Utilize market research to identify software versions available on the market that meet the Government's need to avoid rework later in the acquisition process that causes delays.
| Software Renewal Information | When renewing software licenses provide the current/prior software account information from the manufacturer. This helps the manufacturer to identify current license status and reinstatement/renewal fees without delays in the acquisition process. |
| Quantity | Identify quantities needed |
| Unit of Measure | Identify the appropriate Unit of Measure for each line item. Supplies are generally "Each"; Services can be "Months" or "Lots" depending on when payment/invoicing is most appropriate. |
| Additional lines needed on Equipment List | Select the last cell in the bottom right corner of the table and hit Tab. This will drop down a new line. Continue to do this for as many line items as needed |
Equipment List
| Equipment List |
| Acquisition Information |
| Alexsys # and PRI | 13050 |
| Acquisition Type (select from drop down at right) | Software License Renewal |
| Acquisition Schedule | 30 Days After Receipt of Order (ARO) |
| Shipping Information | DoDAAC: Attn: Michael Myer 76 SWEG/555 SWES MXDPEA 7277 Building 9001 Post B51 Tinker AFB, OK 73145 michael.meyer.49@us.af.mil Alt: Lori Vivin, lori.vivin@us.af.mil |
| Line Item | Description | Option Year | Part Number | Indicate New or Renewal Licenses from Drop Downs in each cell | Software Renewal Information | ||||
| Current account identifier information | Quantity | Unit of Measure | |||||||
| 1 | GNAT Pro Assurance for Ada for long-lived or certified/safety-critical Ada development for PowerPC VxWorks 653 cross hosted on x86 Windows on version 7.2. This product is a Sustain-Only Assurance product. These products are supported on a stable version of the technology, up to version 20. Corrective releases are part of Assurance subscriptions and can be made available on an as-needed basis, including fixes to critical known problems. | Option Year 1 | T25:ASR-ADA/CV653PPCWIN/SBR-7.2 | Renewal License | 1 | Each | |||
| 2 | GNAT Pro Assurance for Ada for long-lived or certified/safety-critical Ada development for PowerPC e500v2 VxWorks 6.x/Cert (32 bits) cross hosted on x86 Windows on version 7.2. This product is baselined at version 19. Baselined products are supported, but do not undergo active development and neither releases nor wavefronts are provided. | ||||||||
| 50% when purchased with ASR-ADA/CV653PPCWIN/SBR-7.2 | Option Year 1 | T25:ASR-ADA/CVX6EV2WIN/SBR-7.2 | Renewal License | 1 | Each | ||||
| 3 | GNAT Pro Enterprise for Ada to develop Ada software for PowerPC VxWorks 653 cross hosted on x86 Windows. This product is baselined at version 20. Baselined products are supported, but do not undergo active development and | ||||||||
| neither releases nor wavefronts are provided. Free when purchased with ASR-ADA/CV653PPCWIN/SBR-7.2 | Option Year 1 | T25:ENT-ADA/CV653PPCWIN | Renewal License | 1 | Each | ||||
| 4 | GNAT Pro Enterprise for Ada to develop Ada software for PowerPC ELF format (32 bits) cross hosted on x86 Windows | ||||||||
| 50% when purchased with ASR-ADA/CV653PPCWIN/SBR-7.2 | Option Year 1 | T25:ENT-ADA/BBPPCWIN | Renewal License | 1 | Each | ||||
| 5 | ASIS Assurance to create tools for analyzing Ada sources for x86 Windows (32 bits) native on version 7.2 50% when purchased with ASR-ADA/CV653PPCWIN/SBR-7.2 | Option Year 1 | T25:ASR-ASI/X86WIN/SBR-7.2 | Renewal License | 1 | Each | |||
| 6 | GNAT Pro Assurance for Ada for long-lived or certified/safety-critical Ada development for x86 Windows (32 bits) native on version 7.2 75% when purchased with ASR-ADA/CV653PPCWIN/SBR-7.2 | Option Year 1 | T25:ASR-ADA/X86WIN/SBR-7.2 | Renewal License | 1 | Each | |||
| 7 | ASIS to create tools for analyzing Ada sources for x86 Windows (32 bits) native 50% when purchased with ASR-ADA/CV653PPCWIN/SBR-7.2 | Option Year 1 | T25:ENT-ASI/X86WIN | Renewal License | 1 | Each | |||
| 8 | GNAT Pro Enterprise for Ada to develop Ada software for x86 Windows (32 bits) native Free when purchased with ASR-ADA/X86WIN/SBR-7.2 | Option Year 1 | T25:ENT-ADA/X86WIN | Renewal License | 1 | Each | |||
| 9 | GNAT Dynamic Analysis Suite (formerly GNATcoverage), including coverage and testing toolset for x86 Windows (64 bits) native 25% when purchased with ASR-ADA/CV653PPCWIN/SBR-7.2 | Option Year 1 | T25:ENT-DAS/X8664WIN | Renewal License | 1 | Each | |||
| 10 | GNAT Static Analysis Suite (formerly CodePeer) including coding error analysis, vulnerability detection, coding standard verification and metric computation for x86 Windows (64 bits) native 25% when purchased with ASR-ADA/CV653PPCWIN/SBR-7.2 | Option Year 1 | T25:ENT-SAS/X8664WIN | Renewal License | 1 | Each | |||
| 11 | 6% guaranteed price increase for year 2 | Option Year 1 | Fee | Renewal License | 1 | Each |
| 1 | GNAT Pro Assurance for Ada for long-lived or certified/safety-critical Ada development for PowerPC VxWorks 653 cross hosted on x86 Windows on version 7.2. This product is a Sustain-Only Assurance product. These products are supported on a stable version of the technology, up to version 20. Corrective releases are part of Assurance subscriptions and can be made available on an as-needed basis, including fixes to critical known problems. | Option Year 2 | T25:ASR-ADA/CV653PPCWIN/SBR-7.2 | Renewal License | 1 | Each | ||
| 2 | GNAT Pro Assurance for Ada for long-lived or certified/safety-critical Ada development for PowerPC e500v2 VxWorks 6.x/Cert (32 bits) cross hosted on x86 Windows on version 7.2. This product is baselined at version 19. Baselined products are supported, but do not undergo active development and neither releases nor wavefronts are provided. | |||||||
| 50% when purchased with ASR-ADA/CV653PPCWIN/SBR-7.2 | Option Year 2 | T25:ASR-ADA/CVX6EV2WIN/SBR-7.2 | Renewal License | 1 | Each | |||
| 3 | GNAT Pro Enterprise for Ada to develop Ada software for PowerPC VxWorks 653 cross hosted on x86 Windows. This product is baselined at version 20. Baselined products are supported, but do not undergo active development and neither releases nor wavefronts are provided. | |||||||
| Free when purchased with ASR-ADA/CV653PPCWIN/SBR-7.2 | Option Year 2 | T25:ENT-ADA/CV653PPCWIN | Renewal License | 1 | Each | |||
| 4 | GNAT Pro Enterprise for Ada to develop Ada software for PowerPC ELF format (32 bits) cross hosted on x86 Windows. | |||||||
| 50% when purchased with ASR-ADA/CV653PPCWIN/S | Option Year 2 | T25:ENT-ADA/BBPPCWIN | Renewal License | 1 | Each | |||
| 5 | ASIS Assurance to create tools for analyzing Ada sources for x86 Windows (32 bits) native on version 7.2. | |||||||
| 50% when purchased with ASR-ADA/CV653PPCWIN/SBR-7.2 | Option Year 2 | T25:ASR-ASI/X86WIN/SBR-7.2 | Renewal License | 1 | Each | |||
| 6 | GNAT Pro Assurance for Ada for long-lived or certified/safety-critical Ada development for x86 Windows (32 bits) native on version 7.2 75% when purchased with ASR-ADA/CV653PPCWIN/SBR-7.2 | Option Year 2 | T25:ASR-ADA/X86WIN/SBR-7.2 | Renewal License | 1 | Each | ||
| 7 | ASIS to create tools for analyzing Ada sources for x86 Windows (32 bits) native. | |||||||
| 50% when purchased with ASR-ADA/CV653PPCWIN/SBR-7.2 | Option Year 2 | T25:ENT-ASI/X86WIN | Renewal License | 1 | Each | |||
| 8 | GNAT Pro Enterprise for Ada to develop Ada software for x86 Windows (32 bits) native. | |||||||
| Free when purchased with ASR-ADA/X86WIN/SBR-7.2 | Option Year 2 | T25:ENT-ADA/X86WIN | Renewal License | 1 | Each | |||
| 9 | GNAT Dynamic Analysis Suite (formerly GNATcoverage), including coverage and testing toolset for x86 Windows (64 bits) native. | |||||||
| 25% when purchased with ASR-ADA/CV653PPCWIN/SBR-7.2 | Option Year 2 | T25:ENT-DAS/X8664WIN | Renewal License | 1 | Each | |||
| 10 | GNAT Static Analysis Suite (formerly CodePeer) including coding error analysis, vulnerability detection, coding standard verification and metric computation for x86 Windows (64 bits) native. | |||||||
| 25% when purchased with ASR-ADA/CV653PPCWIN/SBR-7.2 | Option Year 2 | T25:ENT-SAS/X8664WIN | Renewal License | 1 | Each | |||
| 11 | 5% guaranteed price increase for year 3 | Option Year 2 | Fee | Renewal License | 1 | Each |
| 1 | GNAT Pro Assurance for Ada for long-lived or certified/safety-critical Ada development for PowerPC VxWorks 653 cross hosted on x86 Windows on version 7.2. This product is a Sustain-Only Assurance product. These products are supported on a stable version of the technology, up to version 20. Corrective releases are part of Assurance subscriptions and can be made available on an as-needed basis, including fixes to critical known problems. | Option Year 3 | T25:ASR-ADA/CV653PPCWIN/SBR-7.2 | Renewal License | 1 | Each | ||
| 2 | GNAT Pro Assurance for Ada for long-lived or certified/safety-critical Ada development for PowerPC e500v2 VxWorks 6.x/Cert (32 bits) cross hosted on x86 Windows on version 7.2. This product is baselined at version 19. Baselined products are supported, but do not undergo active development and neither releases nor wavefronts are provided. | |||||||
| 50% when purchased with ASR-ADA/CV653PPCWIN/SBR-7.2 | Option Year 3 | 25:ASR-ADA/CVX6EV2WIN/SBR-7.2 | Renewal License | 1 | Each | |||
| 3 | GNAT Pro Enterprise for Ada to develop Ada software for PowerPC VxWorks 653 cross hosted on x86 Windows. This product is baselined at version 20. Baselined products are supported, but do not undergo active development and | |||||||
| neither releases nor wavefronts are provided. Free when purchased with ASR-ADA/CV653PPCWIN/SBR-7.2 | Option Year 3 | T25:ENT-ADA/CV653PPCWIN | Renewal License | 1 | Each | |||
| 4 | GNAT Pro Enterprise for Ada to develop Ada software for PowerPC ELF format (32 bits) cross hosted on x86 Windows | |||||||
| 50% when purchased with ASR-ADA/CV653PPCWIN/SBR-7.2 | Option Year 3 | T25:ENT-ADA/BBPPCWIN | Renewal License | 1 | Each | |||
| 5 | ASIS Assurance to create tools for analyzing Ada sources for x86 Windows (32 bits) native on version 7.2 | |||||||
| 50% when purchased with ASR-ADA/CV653PPCWIN/SBR-7.2 | Option Year 3 | T25:ASR-ASI/X86WIN/SBR-7.2 | Renewal License | 1 | Each | |||
| 6 | GNAT Pro Assurance for Ada for long-lived or certified/safety-critical Ada development for x86 Windows (32 bits) native on version 7.2 | |||||||
| 75% when purchased with ASR-ADA/CV653PPCWIN/SBR-7.2 | Option Year 3 | T25:ASR-ADA/X86WIN/SBR-7.2 | Renewal License | 1 | Each | |||
| 7 | ASIS to create tools for analyzing Ada sources for x86 Windows (32 bits) native | |||||||
| 50% when purchased with ASR-ADA/CV653PPCWIN/SBR-7.2 | Option Year 3 | T25:ENT-ASI/X86WIN | Renewal License | 1 | Each | |||
| 8 | GNAT Pro Enterprise for Ada to develop Ada software for x86 Windows (32 bits) native | |||||||
| Free when purchased with ASR-ADA/X86WIN/SBR-7.2 | Option Year 3 | T25:ENT-ADA/X86WIN | Renewal License | 1 | Each | |||
| 9 | GNAT Dynamic Analysis Suite (formerly GNATcoverage), including coverage and testing toolset for x86 Windows (64 bits) native | |||||||
| 25% when purchased with ASR-ADA/CV653PPCWIN/SBR-7.2 | Option Year 3 | T25:ENT-DAS/X8664WIN | Renewal License | 1 | Each | |||
| 10 | GNAT Static Analysis Suite (formerly CodePeer) including coding error analysis, vulnerability detection, coding standard verification and metric computation for x86 Windows (64 bits) native | |||||||
| 25% when purchased with ASR-ADA/CV653PPCWIN/SBR-7.2 | Option Year 3 | T25:ENT-SAS/X8664WIN | Renewal License | 1 | Each | |||
| 11 | 5% guaranteed price increase for year 4 | Fee | Renewal License | 1 | Each |
File details come from the government source that posted it. Updated .