ECCN 4D993

AT

Program proof and validation software, software allowing the automatic generation of source codes, and operating system software that are specially designed for real-time processing equipment .

Category: 4 - ComputersProduct Group: D - SoftwareLast Updated: 2026-04-10

Items Covered

  • b."Software" allowing the automatic generation of "source codes" from data acquired online from external sensors described in the Commerce Control List; or
  • c.Operating system "software" specially designed for "real-time processing" equipment that guarantees a "global interrupt latency time" of less than 20 microseconds.

Control Reasons

ATAnti-Terrorism

Items controlled for anti-terrorism reasons. Most items on the CCL have AT controls.

Column 1: YesColumn 2: No

Disclaimer

This information is for reference only. For official classifications, consult BIS or a qualified export control professional.

Official Reference