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