Safety case
ஒரு பாதுகாப்பு வழக்கின் ஒரு வரையறை என்னவென்றால், இது ஒரு கட்டமைக்கப்பட்ட வாதமாகும், இது ஒரு குறிப்பிட்ட இயக்க சூழலில் ஒரு குறிப்பிட்ட பயன்பாட்டிற்கு ஒரு அமைப்பு ஏற்றுக்கொள்ளக்கூடிய வகையில் பாதுகாப்பானது என்பதை நியாயப்படுத்தும் நோக்கில் சான்றுகளால் ஆதரிக்கப்படுகிறது. பாதுகாப்பு வழக்குகள் பெரும்பாலும் ஒரு ஒழுங்குமுறை செயல்முறையின் ஒரு பகுதியாக தேவைப்படுகின்றன, பாதுகாப்பு வழக்கில் வழங்கப்பட்ட வாதத்தால் கட்டுப்பாட்டாளர் திருப்தி அடைந்தால் மட்டுமே பாதுகாப்புச் சான்றிதழ் வழங்கப்படுகிறது. இந்த வழியில் கட்டுப்படுத்தப்படும் தொழில்துறைகளில் போக்குவரத்து (விமானப் போக்குவரத்து, வாகனத் தொழில் மற்றும் ரயில்வே போன்றவை) மற்றும் மருத்துவ சாதனங்கள் அடங்கும். எனவே, இடர் மதிப்பீட்டைத் தயாரிக்கப் பயன்படுத்தப்படும் அபாயத்தின் முறையான மதிப்பீட்டுடன் வலுவான ஒற்றுமைகள் உள்ளன, இருப்பினும் முடிவு குறிப்பிட்டதாக இருக்கும். ஒரு வாகன பாதுகாப்பு வழக்கு ஒரு சாலையில் ஓட்டுவது ஏற்றுக்கொள்ளத்தக்க வகையில் பாதுகாப்பானது என்பதைக் காட்டலாம், ஆனால் கடினமான தரையில் வாகனம் ஓட்டுவது பொருத்தமற்றது என்று முடிவு செய்யலாம், அல்லது ஒரு ஆஃப்-சென்டர் சுமையுடன், எடுத்துக்காட்டாக, அதிக ஆபத்து இருந்தால் எ. கா. கட்டுப்பாட்டை இழத்தல் அல்லது குடியிருப்பாளருக்கு காயம். பாதுகாப்பு வழக்கைத் தொகுக்கப் பயன்படுத்தப்படும் தகவல்கள் பின்னர் அதிகபட்ச பாதுகாப்பான வேகம், அனுமதிக்கப்பட்ட பாதுகாப்பான சுமைகள் அல்லது வேறு எந்த செயல்பாட்டு அளவுரு போன்ற கூடுதல் விவரக்குறிப்புகளுக்கு முறையாக உத்தரவாதம் அளிக்கலாம். இது அசல் மதிப்பீட்டின் எல்லைக்கு அப்பால் விரிவடைந்தால், ஏற்கனவே உள்ள ஒரு பொருளை புதிய வழியில் மறுபரிசீலனை செய்யும்போது ஒரு பாதுகாப்பு வழக்கை மறுபரிசீலனை செய்ய வேண்டும். ஒரு பாதுகாப்பு வழக்கை முன்வைப்பது ஒரு பாதுகாப்பு வழக்கு குறிப்பிட்ட பாதுகாப்பு உரிமைகோரல்கள் உறுதிப்படுத்தப்பட்டுள்ளன என்பதையும், இங்கிலாந்தில், அபாயங்கள் 'நியாயமான நடைமுறைக்கு குறைவாக' (ஏ. எல். ஏ. ஆர். பி) வைக்கப்படுகின்றன என்பதையும் காட்டுவதை நோக்கமாகக் கொண்டுள்ளது. அமெரிக்காவில், எஃப். டி. ஏ 2010 ஆம் ஆண்டில் ஒரு வழிகாட்டுதல் ஆவணத்தை வெளியிட்டது, உட்செலுத்தும் பம்ப் உற்பத்தியாளர்கள் 510 (கே) களின் ஒரு பகுதியாக பாதுகாப்பு வழக்குகளை சமர்ப்பிக்க வேண்டும். யு. கே பாதுகாப்பு தரநிலை 00-56 வெளியீடு 4 இன் வரையறை கூறுகிறதுஃ அத்தகைய சான்றுகள் அடிப்படையிலான அணுகுமுறையை பாதுகாப்பு சான்றிதழுக்கான பரிந்துரை அணுகுமுறையுடன் ஒப்பிடலாம், இது ஒரு பரிந்துரைக்கப்பட்ட செயல்முறையைப் பயன்படுத்தி பாதுகாப்பை நியாயப்படுத்த வேண்டும். இத்தகைய தரநிலைகளுக்கு பொதுவாக பாதுகாப்புக்கான வெளிப்படையான வாதம் தேவையில்லை, அதற்கு பதிலாக பரிந்துரைக்கப்பட்ட செயல்முறையைப் பின்பற்றுவது பாதுகாப்புக்குத் தேவையான ஆதாரங்களை உருவாக்கும் என்ற அனுமானத்தின் அடிப்படையில் அமைகிறது. பல இங்கிலாந்து தரநிலைகள் பரிந்துரைக்கப்படாதவை மற்றும் பாதுகாப்பை நியாயப்படுத்த ஒரு வாதம் அடிப்படையிலான அணுகுமுறைக்கு அழைப்பு விடுக்கின்றன, எனவே ஏன் ஒரு பாதுகாப்பு வழக்கு தேவைப்படுகிறது. பாதுகாப்பு வழக்குகள் பொதுவாக உரை மற்றும் வரைகலை குறியீடுகள் இரண்டிலும் ஆவணப்படுத்தப்படுகின்றன, எ. கா. இலக்கு கட்டமைப்பு குறியீட்டை (ஜி. எஸ். என்) பயன்படுத்துதல். சிக்கலான மற்றும் சிக்கலான தன்மை அதிகரிக்கும் போது சிவில்/வணிக விமானங்கள் மற்றும் பாதுகாப்புத் துறை (டிஓடி) ஆயுத அமைப்புகளில் பாதுகாப்பு வழக்குகள் மிகவும் பிரபலமடைந்து வருகின்றன. பாரம்பரிய கணினி பாதுகாப்பு மற்றும் மென்பொருள் பாதுகாப்பு பகுப்பாய்வு மற்றும் சரிபார்ப்பு அணுகுமுறைகள் மற்றும் செயல்முறைகள் நவீன மேம்பாட்டு கருவிகள் மற்றும் முறையான முறைகளைப் பயன்படுத்தி இன்னும் சில நவீன கட்டமைப்புகளில் ஒரு பயனுள்ள பாதுகாப்பு வாதத்தை முன்வைக்க போதுமான அளவு கட்டமைக்கப்படாததால் பாதுகாப்பு வழக்குகளை ஏற்றுக்கொள்ள ஒரு முன்னுதாரண மாற்றம் பெரும்பாலும் அவசியம். எஃப்-35 வாகன மேலாண்மை அமைப்பு (வி. எம். எஸ்) போன்ற அமெரிக்க பாதுகாப்புத் துறையில் உள்ள சில முக்கிய திட்டங்கள், மாதிரி அடிப்படையிலான சிஸ்டம் இன்ஜினியரிங் (எம். பி. எஸ். இ) ஐ மிகவும் சிக்கலான, மென்பொருள் தீவிர மற்றும் பாதுகாப்பு-முக்கியமான வான்வழி அமைப்பு செயல்பாடுகளில் திறம்பட பயன்படுத்துகின்றன. பாரம்பரிய ஆபத்து பகுப்பாய்வு மற்றும் பாதுகாப்பு அணுகுமுறைகளைப் பயன்படுத்தி வாதங்களை மறுப்பது மற்றும் அதிக ஆய்வு ஆகியவை சேர்க்கப்பட்டிருக்கும் வரை மற்றும் கணினி நடத்தையை சித்தரிக்க மாதிரிகள் பயன்படுத்தப்படும் வரை, ஜி. எஸ். என் உடன் பாதுகாப்பு மதிப்பீடுகள் மற்றும் மிகவும் விரிவான மற்றும் விரிவான பாதுகாப்பு வழக்குகள் பயனுள்ளதாக இருக்கும். கூட்டு பாதுகாப்பு சான்றுகளுக்கு மேலும் விரிவான மாதிரிகள் மற்றும் முறையான முறைகள் பயன்படுத்தப்படுகின்றன. இங்கிலாந்தில், பாதுகாப்பு வழக்குகளின் ஒரு பகுதியாக ஜி. எஸ். என் புறநிலை பாதுகாப்பு ஆதாரங்களை வழங்குவதற்கு பயனுள்ளதாக இருக்கும் என்று நிரூபிக்கப்பட்டுள்ளது. எம். பி. எஸ். இ மாதிரி, மென்பொருள் பயன்பாட்டு வழக்குகள், பாதுகாப்பு கட்டமைப்பு, பாதுகாப்பு முக்கியமான செயல்பாட்டு நடத்தை, பாதுகாப்பான நிலைகள் மற்றும் பாதுகாப்பு களத்தில் வரிசைமுறை ஆகியவற்றை பிரதிபலிக்க ஒரு பாதுகாப்பு வழக்கு ஒரு சிறந்த வழியாகும். செயல்பாட்டு நடத்தை பெரும்பாலும் நன்கு புரிந்து கொள்ளப்படுகிறது, வெளிப்படுத்தப்படுகிறது மற்றும் ஒரு பயனுள்ள பாதுகாப்பு வழக்கு தொடர்புபடுத்த மிகவும் கடினமாக உள்ளது என்று மகத்தான காகித வேலைப்பாடு கொண்டு எம். பி. எஸ். இ எதிராக பாரம்பரிய வளர்ச்சி வழியில் ஒவ்வொரு படி வரைபட காட்டப்படும் போது பாதுகாக்கப்படுகிறது. SAE இன்டர்நேஷனல் G-48 சிஸ்டம் சேஃப்டி கமிட்டி 15 ஜனவரி 2014 அன்று AL இன் ஹண்ட்ஸ்வில்லில் உள்ள APT ஆராய்ச்சியில் பாதுகாப்பு வழக்கு பட்டறையை நடத்தியது, இதில் பல DoD ஏஜென்சிகள் மற்றும் முன்னணி ஒப்பந்தக்காரர்கள் பாதுகாப்பு வழக்கு செயல்முறை மற்றும் பல பாதுகாப்பு தரநிலைகளில் சுத்திகரிப்பு மற்றும் சாத்தியமான எதிர்கால பிரகடனத்திற்கான முறைகளை மேலும் ஆய்வு செய்து கைப்பற்ற வந்தனர், ஏனெனில் பலர் ஏற்கனவே உள் சிறந்த நடைமுறைகளின் ஒரு பகுதியாக பயன்படுத்துகின்றனர். நாசா பாதுகாப்பு அலுவலகம், டிஓடி ஏஜென்சிகள் மற்றும் பல முன்னணி பாதுகாப்பு ஒப்பந்ததாரர் பிரதிநிதிகளைக் கொண்ட ஜி-48, ஏஎன்எஸ்ஐ/ஜிஇஏ-எஸ்டிடி-2010 மற்றும் எம்ஐஎல்-எஸ்டிடி-882 ஆகியவற்றை விட பாதுகாப்பு வழக்குகளின் பல சான்றுகள் அடிப்படையிலான பாதுகாப்பு நன்மைகளை மேற்கோள் காட்டுகிறது. பயன்படுத்தப்பட வேண்டிய வாதங்களின் (பகுத்தறிவு மற்றும் உரிமைகோரல்கள்) வெளிப்படையான வெளிப்பாடு மற்றும் (2) சரிபார்க்கவும் சரிபார்க்கவும் சுயாதீன மதிப்பாய்வு. பாதுகாப்பு வழக்குகள் கட்டமைக்கப்பட்டிருப்பதால், திட்டங்களின் தொடக்கத்தில் நிறுவப்பட்ட பாதுகாப்பு வாதத்தை திருப்திப்படுத்துவதற்கான சான்றுகள் அடிப்படையிலான அணுகுமுறைகள், தற்போதுள்ள மற்றும் நிரூபிக்கப்பட்ட ஆபத்து பகுப்பாய்வு முறைகள் மற்றும் நுட்பங்களை அதிகரிப்பதில் அவை ஒரு நல்ல பொருத்தத்தைக் காணலாம். பாதுகாப்பு வழக்குகள் பிரபலமடைந்து, தற்போதைய சிறந்த நடைமுறைகளில் சேர்க்கப்பட்டுள்ளதால், அவை செயல்பாட்டு ஆபத்து மதிப்பீடுகள் (எஃப். எச். ஏ) போன்ற தற்போதைய பயனுள்ள பாதுகாப்பு முறைகளை மாற்றாது, ஆனால் முன் மற்றும் மிகவும் விரிவான மற்றும் கலப்பு பாதுகாப்பு முறைகளில் சேர்க்கப்படலாம். ஒரு இறுதி பாதுகாப்பு வழக்கில் பாதுகாப்பு உரிமைகோரல்களை ஆதரிக்கும் சோதனை சான்றுகள் போன்ற தேவையான மற்றும் தேவையான குறிப்பிட்ட கலைப்பொருட்கள் அனைத்தும் இருக்க வேண்டும். நம்பகமான தோல்வி நிலைமைகளைச் சோதிப்பது, கணிக்கப்பட்ட பாதுகாப்பான நிலைகள் மற்றும் திட்டமிடப்பட்ட நடத்தையைக் கண்காணிக்க செயலிழப்புகளைச் சோதிப்பது, மோசமான நிலைமைகளின் கீழ் எதிர்பார்க்கப்படும் செயல்பாட்டிற்கான தவறு செருகுதல், அமைப்பு ஊழல் மற்றும் முரட்டுத்தனமான அச்சுறுத்தல்களைப் புறக்கணிக்கிறது என்பதை உறுதிப்படுத்துவதில் தோல்வியுற்ற நோய் எதிர்ப்பு சக்தி, பெயரளவு அல்லது மாற்றியமைக்கப்பட்ட நிலைமைகளுக்கு வெளியே, வரம்புகளுக்கு வெளியே, மற்றும் பிற வகை சோதனை முடிவுகள் போன்ற சிறப்பு பாதுகாப்பு வழிநடத்தப்பட்ட சரிபார்ப்புக்கும் ஒரு நன்கு சீரான பாதுகாப்பு வழக்கு அனுமதிக்க வேண்டும். வெறுமனே, மென்பொருள் தீவிர மற்றும் உயர் தொழில்நுட்ப அமைப்புகளின் அமைப்புகளாக உருவாகி வரும் எதிர்கால பாதுகாப்பு வழக்கு கருத்துக்கள் மிகவும் சிக்கலானதாகின்றன, விரிவான பாதுகாப்பு கலைப்பொருட்களுடன் ஒரு கவனம் செலுத்தும் தரவு தொகுப்பைக் கொண்டிருக்க வேண்டும், மேலும் அனைத்து பாதுகாப்பு பகுப்பாய்வுகள், கண்டுபிடிப்புகள் மற்றும் கணினி அபாயத்தின் மொத்த கூட்டுத்தொகையை தீர்மானித்தல் ஆகியவற்றை உள்ளடக்கியதாக இருக்க வேண்டும். பாதுகாப்பு வழக்குகள் தற்போதைய MIL-STD-882 பாதுகாப்பு மதிப்பீட்டு அறிக்கைகளுக்கு அப்பால் செல்ல வேண்டும், அவை ஆபத்து மற்றும் ஆபத்து அடிப்படையிலான கண்டுபிடிப்புகளின் பொதுவான சுருக்கமாகும். கட்டமைக்கப்பட்ட வாதங்கள், குறிக்கோள்கள் மற்றும் குறிக்கோள்களைக் கொண்ட பாதுகாப்பு வழக்குகள் பல்வேறு நவீன பாதுகாப்பு அம்சங்களை உள்ளடக்கியதாக இருக்க வேண்டும், பொதுவாக தேவைகள் அடிப்படையிலான பாதுகாப்பு (ஐ. என். சி. ஓ. எஸ். இ), மாதிரி அடிப்படையிலான பாதுகாப்பு, மென்பொருள் அடிப்படையிலான பாதுகாப்பு (ஐ. இ. இ. இ. எஸ். டி. டி-1228), செயல்பாட்டு அடிப்படையிலான பாதுகாப்பு (ஐ. இ. சி-61508, பாதுகாப்புக்கான வடிவமைப்பு அடிப்படையிலான விண்வெளி பரிந்துரைக்கப்பட்ட நடைமுறைகள் (எஸ். ஏ. இ. ஏ. ஆர். பி 4761/4754 ஏ) ஆகியவை அடங்கும். பாதுகாப்பு வழக்கு உற்பத்திக்கு சுறுசுறுப்பான மேம்பாட்டு முறைகள் பயன்படுத்தப்பட்டுள்ளன. பாதுகாப்பு வழக்குகளை மறுஆய்வு செய்வது பாதுகாப்பு பொறியியல் செயல்பாட்டில் ஒரு முக்கியமான செயலாகும், இது மேம்பாடு, செயல்பாடு மற்றும் பராமரிப்பு முழுவதும் செய்யப்படுகிறது, இதில் பாதுகாப்பு வழக்கு வாதம் மற்றும் சான்றுகள் ஆராயப்பட்டு சவால் செய்யப்படுகின்றன. மேற்கோள்கள் வெளி இணைப்புகள் ஆங்கிலம் பேசும் பாதுகாப்பு வழக்கு பாடநெறி பிரெஞ்சு பேசும் பாதுகாப்பு வழக்கு பாடநெறி (பிரான்சில்) ஸ்பானிஷ் பேசும் பாதுகாப்பு வழக்கு பாடநெறி (ஸ்பானிஷ் மொழியில்) இத்தாலியோ பேசும் பாதுகாப்பு வழக்கு பாடநெறி (இத்தாலியோவில்) ஜெர்மன் பேசும் பாதுகாப்பு வழக்கு பாடநெறி (ஜெர்மன் மொழியில்) பாதுகாப்பு பாடநெறி