“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. a. “Program” proof and validation “software” using mathematical and analytical techniques and designed or modified for “programs” having more than 500,000 “source code” instructions; b. “Software” allowing the automatic generation of “source codes” from data acquired on line from external sensors described in Annex I of the Dual-Use Regulation; c. Operating system “software” specially designed for “real-time processing” equipment that guarantees a “global interrupt latency time” of less than 20 µs. Note: “Global interrupt latency time” is the time taken by the computer system to recognise an interrupt due to the event, service the interrupt and perform a context switch to an alternate memory-resident task waiting on the interrupt.