This task is about creating an unanswerable question based on a given passage. Construct a question that looks relevant to the given context but is unanswerable. Following are a few suggestions about how to create unanswerable questions:
(i) create questions which require satisfying a constraint that is not mentioned in the passage
(ii) create questions which require information beyond what is provided in the passage in order to answer
(iii) replace an existing entity, number, date mentioned in the passage with other entity, number, date and use it in the question
(iv) create a question which is answerable from the passage and then replace one or two words by their antonyms or insert/remove negation words to make it unanswerable.

Passage: One use of the term "computer security" refers to technology that is used to implement secure operating systems. In the 1980s the United States Department of Defense (DoD) used the "Orange Book" standards, but the current international standard ISO/IEC 15408, "Common Criteria" defines a number of progressively more stringent Evaluation Assurance Levels. Many common operating systems meet the EAL4 standard of being "Methodically Designed, Tested and Reviewed", but the formal verification required for the highest levels means that they are uncommon. An example of an EAL6 ("Semiformally Verified Design and Tested") system is Integrity-178B, which is used in the Airbus A380 and several military jets.
Which system is used by the Airbus A380 and military jets?