അർദ്ധ ഔപചാരികമായി പരിശോധിച്ച രൂപകൽപ്പനയും പരിശോധനയും
എയർബസ് A380-ലും നിരവധി സൈനിക ജെറ്റുകളിലും ഉപയോഗിക്കുന്ന ഇന്റഗ്രിറ്റി-178B ആണ് EAL6 (സെമിഫോർമലി വെരിഫൈഡ് ഡിസൈൻ ആൻഡ് ടെസ്റ്റഡ്) സിസ്റ്റത്തിന്റെ ഒരു ഉദാഹരണം.
എന്താണ് EAL6 ന്റെ സ്റ്റാൻഡേർഡ്?