High integrity software
उच्च-अखंडता सॉफ्टवेयर वह सॉफ्टवेयर है जिसकी विफलता संभावित "जानलेवा परिणामों" के साथ गंभीर क्षति का कारण बन सकती है। "ईमानदारी महत्वपूर्ण है क्योंकि यह लोगों की सुरक्षा, सुरक्षा और रखरखाव को दर्शाती है। कोड "। उच्च-अखंडता सॉफ्टवेयर के उदाहरण परमाणु रिएक्टर नियंत्रण, एवियोनिक्स सॉफ्टवेयर और प्रक्रिया नियंत्रण सॉफ्टवेयर हैं। उच्च-अखंडता सॉफ्टवेयर के लिए कई मानक लागू होते हैं, जिनमें शामिल हैंः डीओ-178सी, एयरबोर्न सिस्टम में सॉफ्टवेयर पर विचार और उपकरण प्रमाणन सी. ई. एन. ई. एल. ई. सी. ई. एन. 50128, रेलवे अनुप्रयोग-संचार, संकेत और प्रसंस्करण प्रणाली-रेलवे नियंत्रण और सुरक्षा प्रणालियों के लिए सॉफ्टवेयर आई. ई. सी. 61508, विद्युत/इलेक्ट्रॉनिक/प्रोग्रामेबल इलेक्ट्रॉनिक सुरक्षा से संबंधित प्रणालियों की कार्यात्मक सुरक्षा (ई./ई./पी. ई., या ई./ई./पी. ई. एस.) सुरक्षा-महत्वपूर्ण प्रणाली भी देखें उच्च उपलब्धता सॉफ्टवेयर औपचारिक तरीके अज्ञात वंशावली संदर्भों का सॉफ्टवेयर बाहरी लिंक सॉफ्टवेयर प्रकार सॉफ्टवेयर गुणवत्ता सुरक्षा इंजीनियरिंग