Safety case
सुरक्षा मामले की एक परिभाषा यह है कि यह एक संरचित तर्क है, जो साक्ष्य द्वारा समर्थित है, जिसका उद्देश्य यह उचित ठहराना है कि एक प्रणाली एक विशिष्ट संचालन वातावरण में एक विशिष्ट अनुप्रयोग के लिए स्वीकार्य रूप से सुरक्षित है। सुरक्षा मामलों की अक्सर एक नियामक प्रक्रिया के हिस्से के रूप में आवश्यकता होती है, सुरक्षा का प्रमाण पत्र केवल तभी दिया जाता है जब नियामक सुरक्षा मामले में प्रस्तुत तर्क से संतुष्ट होता है। इस तरह से विनियमित उद्योगों में परिवहन (जैसे विमानन, मोटर वाहन उद्योग और रेलवे) और चिकित्सा उपकरण शामिल हैं। इस प्रकार जोखिम मूल्यांकन तैयार करने के लिए उपयोग किए जाने वाले जोखिम के औपचारिक मूल्यांकन के साथ मजबूत समानताएं हैं, हालांकि परिणाम मामला विशिष्ट होगा। एक वाहन सुरक्षा मामला इसे सड़क पर चलाने के लिए स्वीकार्य रूप से सुरक्षित दिखा सकता है, लेकिन यह निष्कर्ष निकाल सकता है कि यह उबड़-खाबड़ जमीन पर गाड़ी चलाने के लिए अनुपयुक्त हो सकता है, या उदाहरण के लिए एक ऑफ-सेंटर लोड के साथ, यदि तब खतरे का अधिक खतरा होगा जैसे। नियंत्रण की हानि या रहने वाले को चोट लगना। सुरक्षा मामले को संकलित करने के लिए उपयोग की जाने वाली जानकारी औपचारिक रूप से आगे के विनिर्देशों की गारंटी दे सकती है, जैसे कि अधिकतम सुरक्षित गति, अनुमत सुरक्षित भार, या कोई अन्य परिचालन पैरामीटर। एक सुरक्षा मामले पर फिर से विचार किया जाना चाहिए जब एक मौजूदा उत्पाद को एक नए तरीके से फिर से बनाया जाना है, अगर यह मूल मूल्यांकन के दायरे से परे है। एक सुरक्षा मामले को प्रस्तुत करना एक सुरक्षा मामले का उद्देश्य यह दिखाना है कि विशिष्ट सुरक्षा दावों की पुष्टि की जाती है और यू. के. में, जोखिमों को 'उचित रूप से व्यावहारिक रूप से कम' (ए. एल. ए. आर. पी.) रखा जाता है। अमेरिका में, एफ. डी. ए. ने 2010 में एक मार्गदर्शन दस्तावेज जारी किया जिसमें जलसेक पंप निर्माताओं को 510 (के) के हिस्से के रूप में सुरक्षा मामले प्रस्तुत करने की आवश्यकता होती है। यू. के. रक्षा मानक 00-56 अंक 4 की एक परिभाषा में कहा गया हैः इस तरह के साक्ष्य-आधारित दृष्टिकोण को सुरक्षा प्रमाणन के लिए एक निर्देशात्मक दृष्टिकोण के साथ विपरीत किया जा सकता है, जिसके लिए एक निर्धारित प्रक्रिया का उपयोग करके सुरक्षा को उचित ठहराने की आवश्यकता होती है। इस तरह के मानकों को आमतौर पर सुरक्षा के लिए स्पष्ट रूप से एक स्पष्ट तर्क की आवश्यकता नहीं होती है और इसके बजाय इस धारणा पर निर्भर करता है कि निर्धारित प्रक्रिया का पालन करने से सुरक्षा के लिए आवश्यक साक्ष्य उत्पन्न होंगे। ब्रिटेन के कई मानक गैर-निर्देशात्मक हैं और सुरक्षा को सही ठहराने के लिए एक तर्क-आधारित दृष्टिकोण की आवश्यकता है, इसलिए एक सुरक्षा मामले की आवश्यकता है। सुरक्षा मामलों को आम तौर पर पाठ्य और चित्रमय संकेतन दोनों में प्रलेखित किया जाता है, जैसे। लक्ष्य संरचना संकेतन (जी. एस. एन.) का उपयोग करना। सिविल/वाणिज्यिक विमानों और रक्षा विभाग (डी. ओ. डी.) हथियार प्रणालियों पर सुरक्षा मामले अधिक लोकप्रिय हो रहे हैं क्योंकि जटिलता और गंभीरता बढ़ रही है। सुरक्षा मामलों को स्वीकार करने के लिए एक प्रतिमान बदलाव अक्सर आवश्यक होता है क्योंकि पारंपरिक प्रणाली सुरक्षा और सॉफ्टवेयर सुरक्षा विश्लेषण और सत्यापन दृष्टिकोण और प्रक्रियाएं आधुनिक विकास उपकरणों और औपचारिक तरीकों का उपयोग करके कुछ और आधुनिक वास्तुकला पर एक प्रभावी सुरक्षा तर्क प्रस्तुत करने के लिए पर्याप्त रूप से संरचित नहीं हैं। अमेरिकी रक्षा विभाग के कुछ प्रमुख कार्यक्रम, जैसे कि एफ-35 वाहन प्रबंधन प्रणाली (वी. एम. एस.) लक्ष्य संरचना संकेतन (जी. एस. एन.) के साथ-साथ अत्यधिक जटिल, सॉफ्टवेयर गहन और सुरक्षा-महत्वपूर्ण हवाई प्रणाली कार्यों पर मॉडल आधारित प्रणाली इंजीनियरिंग (एम. बी. एस. ई.) का प्रभावी ढंग से उपयोग कर रहे हैं। जी. एस. एन. के साथ सुरक्षा आकलन और अधिक विस्तृत और व्यापक सुरक्षा मामले तब तक प्रभावी हैं जब तक कि पारंपरिक खतरे के विश्लेषण और सुरक्षा दृष्टिकोण का उपयोग करके तर्कों का खंडन और बहुत जांच शामिल की जाती है और प्रणाली के व्यवहार को चित्रित करने के लिए मॉडल का उपयोग किया जाता है। सामूहिक सुरक्षा साक्ष्य के लिए अधिक विस्तृत मॉडल और औपचारिक तरीकों का उपयोग किया जा रहा है। यू. के. में, सुरक्षा मामलों के हिस्से के रूप में जी. एस. एन. वस्तुनिष्ठ सुरक्षा साक्ष्य प्रदान करने के लिए उपयोगी साबित हुआ है। एक सुरक्षा मामला एमबीएसई मॉडल, सॉफ्टवेयर उपयोग के मामलों, सुरक्षा वास्तुकला, सुरक्षा महत्वपूर्ण कार्यात्मक व्यवहार, सुरक्षित अवस्थाओं और सुरक्षा क्षेत्र में अनुक्रमण को प्रतिबिंबित करने का एक आदर्श तरीका है। कार्यात्मक व्यवहार को अक्सर बेहतर ढंग से समझा जाता है, व्यक्त किया जाता है और बचाव किया जाता है जब एमबीएसई बनाम पारंपरिक विकास में हर कदम को भारी कागजी कार्रवाई के साथ ग्राफिक रूप से प्रदर्शित किया जाता है जिसे एक प्रभावी सुरक्षा मामले में सहसंबंधित करना बहुत मुश्किल होता है। एस. ए. ई. अंतर्राष्ट्रीय जी-48 प्रणाली सुरक्षा समिति ने 15 जनवरी 2014 को हंट्सविले, ए. एल. में ए. पी. टी. अनुसंधान में सुरक्षा मामले की कार्यशाला का आयोजन किया, जिसमें कई डी. ओ. डी. एजेंसियां और प्रमुख ठेकेदार सुरक्षा मामले की प्रक्रिया और कई सुरक्षा मानकों में परिष्करण और संभावित भविष्य की घोषणा के तरीकों का आगे अध्ययन करने और पकड़ने के लिए उपस्थित थे, जैसा कि कई पहले से ही आंतरिक सर्वोत्तम प्रथाओं के हिस्से के रूप में उपयोग करते हैं। जी-48, जो नासा सुरक्षा कार्यालय, डीओडी एजेंसियों और कई प्रमुख रक्षा ठेकेदार प्रतिनिधियों से बना है, एएनएसआई/जीईए-एसटीडी-2010 और एमआईएल-एसटीडी-882 पर सुरक्षा मामलों के कई साक्ष्य आधारित सुरक्षा लाभों का हवाला देता है, जिसमें 1 शामिल है। उपयोग किए जाने वाले तर्कों (तर्क और दावों) की स्पष्ट अभिव्यक्ति और (2) सत्यापन और सत्यापन के लिए स्वतंत्र समीक्षा। चूंकि सुरक्षा मामले संरचित होते हैं, कार्यक्रमों की शुरुआत में स्थापित सुरक्षा तर्क को संतुष्ट करने के लिए साक्ष्य आधारित दृष्टिकोण, वे मौजूदा और सिद्ध खतरे के विश्लेषण के तरीकों और तकनीकों को बढ़ाने में एक अच्छा फिट पा सकते हैं। इसकी परिकल्पना की गई है क्योंकि सुरक्षा मामले लोकप्रियता प्राप्त करते हैं और वर्तमान सर्वोत्तम प्रथाओं में शामिल होते हैं, वे किसी भी वर्तमान प्रभावी सुरक्षा विधियों, जैसे कि कार्यात्मक जोखिम मूल्यांकन (एफ. एच. ए.) को प्रतिस्थापित नहीं करेंगे, लेकिन तर्क करने और कार्यक्रम के माध्यम से वस्तुनिष्ठ सुरक्षा साक्ष्य को पकड़ने और दस्तावेजीकरण में सुधार करने के लिए अधिक व्यापक और मिश्रित सुरक्षा विधियों में शामिल किए जा सकते हैं। एक अंतिम सुरक्षा मामले में सभी आवश्यक और आवश्यक विशिष्ट कलाकृतियाँ होनी चाहिए जैसे कि सुरक्षा दावों का समर्थन करने वाले परीक्षण साक्ष्य। एक अच्छी तरह से संतुलित सुरक्षा मामले को विशेष सुरक्षा निर्देशित सत्यापन के लिए भी अनुमति देनी चाहिए, जैसे कि विश्वसनीय विफलता स्थितियों का परीक्षण, अनुमानित सुरक्षित स्थितियों और नियोजित व्यवहार का निरीक्षण करने के लिए खराबी का परीक्षण, बदतर स्थिति में अपेक्षित कार्यक्षमता के लिए दोष सम्मिलन, प्रणाली को सुनिश्चित करने के लिए विफलता प्रतिरक्षा भ्रष्टाचार और दुष्ट खतरों की अनदेखी करती है, और नाममात्र या संशोधित स्थितियों से बाहर, सीमा से बाहर, और अन्य प्रकार के परीक्षण परिणाम यह साबित करने के लिए कि सुरक्षा आवश्यकताओं को सामान्य संचालन से बाहर पूरा किया जाता है। आदर्श रूप से, भविष्य की सुरक्षा मामलों की अवधारणाएं, जो सॉफ्टवेयर गहन और प्रणालियों की उच्च प्रौद्योगिकी प्रणालियों के रूप में विकसित हो रही हैं, अधिक जटिल हो जाती हैं, उनमें व्यापक सुरक्षा कलाकृतियों के साथ एक केंद्रित डेटा पैकेज होना चाहिए और इसमें सभी सुरक्षा विश्लेषण, निष्कर्ष और प्रणाली जोखिम के कुल योग का निर्धारण शामिल होना चाहिए। सुरक्षा मामलों को वर्तमान एम. आई. एल.-एस. टी. डी.-882 सुरक्षा मूल्यांकन रिपोर्टों से परे जाना चाहिए जो खतरे और जोखिम आधारित निष्कर्षों का अधिक सामान्य सारांश हैं। संरचित तर्कों, लक्ष्यों और उद्देश्यों के साथ सुरक्षा मामलों को विभिन्न आधुनिक सुरक्षा पहलुओं के अधिक समावेशी होने की आवश्यकता है, जिसमें आमतौर पर आवश्यकता आधारित सुरक्षा (आईएनसीओएसई), मॉडल आधारित सुरक्षा, सॉफ्टवेयर आधारित सुरक्षा (आईईईई एसटीडी-1228), कार्य आधारित सुरक्षा (आईईसी-61508, सुरक्षा के लिए डिजाइन आधारित एयरोस्पेस अनुशंसित प्रथाएं (एसएई एआरपी 4761/4754 ए) शामिल हैं। सुरक्षा केस उत्पादन के लिए फुर्तीले विकास विधियों को लागू किया गया है। सुरक्षा मामलों की समीक्षा सुरक्षा इंजीनियरिंग प्रक्रिया में एक महत्वपूर्ण गतिविधि है, जो विकास, संचालन और रखरखाव के दौरान की जाती है, जिसमें सुरक्षा मामले के तर्क और साक्ष्य की जांच की जाती है और उन्हें चुनौती दी जाती है। संदर्भ बाहरी लिंक अंग्रेजी बोलने वाले सुरक्षा मामले पाठ्यक्रम फ्रेंच बोलने वाले सुरक्षा मामले पाठ्यक्रम (फ्रांस में) स्पेनिश बोलने वाले सुरक्षा मामले पाठ्यक्रम (स्पेनिश में) इतालवी बोलने वाले सुरक्षा मामले पाठ्यक्रम (इतालवी में) जर्मन बोलने वाले सुरक्षा मामले पाठ्यक्रम (जर्मन में) सुरक्षा