High integrity software
ઉચ્ચ-અખંડિતતા સોફ્ટવેર એ સોફ્ટવેર છે જેની નિષ્ફળતા સંભવિત "જીવલેણ પરિણામો" સાથે ગંભીર નુકસાન પહોંચાડી શકે છે. "પ્રામાણિકતા મહત્વપૂર્ણ છે કારણ કે તે લોકોની સલામતી, સુરક્ષા અને જાળવણીક્ષમતા દર્શાવે છે. કોડ ". ઉચ્ચ-અખંડિતતા સોફ્ટવેરના ઉદાહરણોમાં પરમાણુ રિએક્ટર નિયંત્રણ, એવિઓનિક્સ સોફ્ટવેર અને પ્રક્રિયા નિયંત્રણ સોફ્ટવેર છે. ઉચ્ચ-અખંડિતતા સોફ્ટવેર માટે સંખ્યાબંધ ધોરણો લાગુ પડે છે, જેમાં નીચેનાનો સમાવેશ થાય છેઃ ડીઓ-178સી, એરબોર્ન સિસ્ટમ્સમાં સોફ્ટવેર વિચારણાઓ અને ઇક્વિપમેન્ટ સર્ટિફિકેશન CENELEC EN 50128, રેલવે એપ્લિકેશન્સ-કોમ્યુનિકેશન, સિગ્નલિંગ અને પ્રોસેસિંગ સિસ્ટમ્સ-રેલવે નિયંત્રણ અને સુરક્ષા સિસ્ટમો માટે સોફ્ટવેર IEC 61508, ઇલેક્ટ્રિકલ/ઇલેક્ટ્રોનિક/પ્રોગ્રામેબલ ઇલેક્ટ્રોનિક સલામતી-સંબંધિત સિસ્ટમોની કાર્યાત્મક સલામતી (E/E/PE, અથવા E/E/PES) સલામતી-નિર્ણાયક સિસ્ટમ પણ જુઓ ઉચ્ચ ઉપલબ્ધતા સોફ્ટવેર ઔપચારિક પદ્ધતિઓ અજ્ઞાત વંશાવલિ સંદર્ભોનું સોફ્ટવેર બાહ્ય કડીઓ સોફ્ટવેર ગુણવત્તા સલામતી ઇજનેરી પ્રકાર દ્વારા