Safety case
একটি নিরাপত্তা মামলার একটি সংজ্ঞা হল যে এটি একটি কাঠামোগত যুক্তি, যা প্রমাণ দ্বারা সমর্থিত, একটি নির্দিষ্ট অপারেটিং পরিবেশে একটি নির্দিষ্ট প্রয়োগের জন্য একটি সিস্টেম গ্রহণযোগ্যভাবে নিরাপদ বলে ন্যায়সঙ্গত করার উদ্দেশ্যে। সুরক্ষা মামলাগুলি প্রায়শই একটি নিয়ন্ত্রক প্রক্রিয়ার অংশ হিসাবে প্রয়োজন হয়, সুরক্ষার একটি শংসাপত্র কেবল তখনই দেওয়া হয় যখন নিয়ন্ত্রক কোনও সুরক্ষা মামলায় উপস্থাপিত যুক্তি দ্বারা সন্তুষ্ট হয়। এইভাবে নিয়ন্ত্রিত শিল্পগুলির মধ্যে রয়েছে পরিবহন (যেমন বিমান চলাচল, মোটরগাড়ি শিল্প এবং রেলপথ) এবং চিকিৎসা সরঞ্জাম। যেমন একটি ঝুঁকি মূল্যায়ন প্রস্তুত করতে ব্যবহৃত ঝুঁকির আনুষ্ঠানিক মূল্যায়নের সাথে দৃঢ় সমান্তরালতা রয়েছে, যদিও ফলাফলটি কেস নির্দিষ্ট হবে। একটি যানবাহন নিরাপত্তা ক্ষেত্রে রাস্তায় গাড়ি চালানো গ্রহণযোগ্যভাবে নিরাপদ বলে প্রমাণিত হতে পারে, তবে এই সিদ্ধান্তে উপনীত হতে পারে যে এটি রুক্ষ মাটিতে গাড়ি চালানোর জন্য অনুপযুক্ত হতে পারে, বা উদাহরণস্বরূপ অফ-সেন্টার লোড সহ, যদি তখন বিপদের ঝুঁকি বেশি থাকে যেমন। নিয়ন্ত্রণ হারানো বা দখলকারীর আঘাত। নিরাপত্তা মামলাটি সংকলনের জন্য ব্যবহৃত তথ্য তখন আনুষ্ঠানিকভাবে আরও নির্দিষ্টকরণের নিশ্চয়তা দিতে পারে, যেমন সর্বাধিক নিরাপদ গতি, অনুমোদিত নিরাপদ লোড বা অন্য কোনও কার্যকরী পরামিতি। একটি নিরাপত্তা মামলা পুনর্বিবেচনা করা উচিত যখন একটি বিদ্যমান পণ্য একটি নতুন উপায়ে পুনরায় উদ্দেশ্য করা হয়, যদি এটি মূল মূল্যায়নের আওতার বাইরে প্রসারিত হয়। একটি নিরাপত্তা মামলা উপস্থাপন করা একটি নিরাপত্তা মামলার লক্ষ্য হল নির্দিষ্ট নিরাপত্তা দাবিগুলি প্রমাণিত হয় এবং যুক্তরাজ্যে ঝুঁকিগুলি 'যুক্তিসঙ্গতভাবে ব্যবহারিক হিসাবে কম' (এ. এল. এ. আর. পি) রাখা হয়। মার্কিন যুক্তরাষ্ট্রে, এফডিএ 2010 সালে একটি নির্দেশিকা নথি জারি করে যাতে ইনফিউশন পাম্প নির্মাতাদের 510 (কে)-এর অংশ হিসাবে সুরক্ষা মামলা জমা দেওয়ার প্রয়োজন হয়। ইউকে ডিফেন্স স্ট্যান্ডার্ড 00-56 ইস্যু 4-এর একটি সংজ্ঞায় বলা হয়েছেঃ এই ধরনের প্রমাণ-ভিত্তিক পদ্ধতির সুরক্ষা শংসাপত্রের জন্য একটি নির্দেশমূলক পদ্ধতির সাথে বৈপরীত্য করা যেতে পারে, যার জন্য একটি নির্ধারিত প্রক্রিয়া ব্যবহার করে সুরক্ষার ন্যায্যতা প্রয়োজন। এই ধরনের মানগুলির জন্য সাধারণত সুরক্ষার জন্য স্পষ্টভাবে কোনও যুক্তির প্রয়োজন হয় না এবং পরিবর্তে এই ধারণার উপর নির্ভর করে যে নির্ধারিত প্রক্রিয়াটি অনুসরণ করলে সুরক্ষার জন্য প্রয়োজনীয় প্রমাণ তৈরি হবে। যুক্তরাজ্যের অনেক মান অ-নির্দেশমূলক এবং সুরক্ষার ন্যায্যতা প্রমাণের জন্য একটি যুক্তি-ভিত্তিক পদ্ধতির আহ্বান জানায়, তাই কেন একটি সুরক্ষা মামলা প্রয়োজন। নিরাপত্তা মামলাগুলি সাধারণত পাঠ্য এবং গ্রাফিকাল নোটেশন উভয় ক্ষেত্রেই নথিভুক্ত করা হয়, যেমন। গোল স্ট্রাকচারিং নোটেশন (জিএসএন) ব্যবহার করে। জটিলতা এবং সমালোচনা বৃদ্ধির সাথে সাথে বেসামরিক/বাণিজ্যিক বিমান এবং প্রতিরক্ষা বিভাগের (ডিওডি) অস্ত্র ব্যবস্থায় নিরাপত্তা মামলাগুলি আরও জনপ্রিয় হয়ে উঠছে। আধুনিক উন্নয়ন সরঞ্জাম এবং আনুষ্ঠানিক পদ্ধতি ব্যবহার করে আরও কিছু আধুনিক স্থাপত্যের উপর কার্যকর সুরক্ষা যুক্তি উপস্থাপন করার জন্য ঐতিহ্যবাহী সিস্টেম সুরক্ষা এবং সফ্টওয়্যার সুরক্ষা বিশ্লেষণ এবং যাচাইকরণ পদ্ধতি এবং প্রক্রিয়াগুলি পর্যাপ্তভাবে কাঠামোগত নয় বলে সুরক্ষা মামলাগুলি গ্রহণ করার জন্য প্রায়শই একটি দৃষ্টান্ত পরিবর্তন প্রয়োজন। মার্কিন প্রতিরক্ষা বিভাগের কিছু বড় প্রোগ্রাম, যেমন এফ-35 ভেহিকেল ম্যানেজমেন্ট সিস্টেম (ভিএমএস) অত্যন্ত জটিল, সফ্টওয়্যার নিবিড় এবং সুরক্ষা-সমালোচনামূলক বায়ুবাহিত সিস্টেম ফাংশনগুলিতে কার্যকরভাবে মডেল ভিত্তিক সিস্টেম ইঞ্জিনিয়ারিং (এমবিএসই) ব্যবহার করছে, গোল স্ট্রাকচারিং নোটেশন (জিএসএন) সহ। নিরাপত্তা মূল্যায়ন এবং জিএসএন-এর সাথে আরও বিস্তৃত এবং ব্যাপক নিরাপত্তা মামলাগুলি ততক্ষণ কার্যকর যতক্ষণ না প্রচলিত বিপদ বিশ্লেষণ এবং সুরক্ষা পদ্ধতির ব্যবহার করে যুক্তিগুলি প্রত্যাখ্যান করা এবং অনেক পরীক্ষা-নিরীক্ষা অন্তর্ভুক্ত করা হয় এবং সিস্টেমের আচরণ চিত্রিত করার জন্য মডেলগুলি ব্যবহার করা হয়। সম্মিলিত নিরাপত্তা প্রমাণের জন্য আরও বিস্তৃত মডেল এবং আনুষ্ঠানিক পদ্ধতি ব্যবহার করা হচ্ছে। যুক্তরাজ্যে, সুরক্ষা মামলার অংশ হিসাবে জিএসএন উদ্দেশ্যমূলক সুরক্ষা প্রমাণ প্রদানের জন্য কার্যকর বলে প্রমাণিত হয়েছে। একটি সেফটি কেস হল এম. বি. এস. ই মডেল, সফ্টওয়্যার ব্যবহারের কেস, সুরক্ষা স্থাপত্য, সুরক্ষা সমালোচনামূলক কার্যকরী আচরণ, নিরাপদ অবস্থা এবং সুরক্ষা ডোমেনে সিকোয়েন্সিং প্রতিফলিত করার একটি আদর্শ উপায়। কার্যকরী আচরণ প্রায়শই আরও ভালভাবে বোঝা যায়, প্রকাশ করা হয় এবং রক্ষা করা হয় যখন এম. বি. এস. ই বনাম ঐতিহ্যবাহী বিকাশের প্রতিটি পদক্ষেপকে প্রচুর কাগজপত্রের সাথে গ্রাফিকভাবে প্রদর্শিত করা হয় যা একটি কার্যকর সুরক্ষা মামলার সাথে সম্পর্কযুক্ত করা খুব কঠিন। এস. এ. ই ইন্টারন্যাশনাল জি-48 সিস্টেম সেফটি কমিটি 15 জানুয়ারী 2014-এ হান্টসভিল, এ. এল-এ এ. পি. টি রিসার্চ-এ সেফটি কেস ওয়ার্কশপ অনুষ্ঠিত করে, যেখানে বেশ কয়েকটি ডি. ও. ডি সংস্থা এবং শীর্ষস্থানীয় ঠিকাদাররা সেফটি কেস প্রক্রিয়া এবং বিভিন্ন সুরক্ষা মানগুলিতে পরিমার্জন এবং সম্ভাব্য ভবিষ্যতের ঘোষণার পদ্ধতিগুলি আরও অধ্যয়ন এবং ক্যাপচার করতে উপস্থিত ছিলেন, যেমন অনেকগুলি ইতিমধ্যে অভ্যন্তরীণ সর্বোত্তম অনুশীলনের অংশ হিসাবে ব্যবহার করে। নাসার সুরক্ষা অফিস, ডিওডি এজেন্সি এবং বেশ কয়েকটি শীর্ষস্থানীয় প্রতিরক্ষা ঠিকাদার প্রতিনিধিদের সমন্বয়ে গঠিত জি-48, এএনএসআই/জিইএ-এসটিডি-2010 এবং এমআইএল-এসটিডি-882 এর তুলনায় সুরক্ষা মামলার বেশ কয়েকটি প্রমাণ ভিত্তিক সুরক্ষা সুবিধার উল্লেখ করেছে। ব্যবহার করার জন্য যুক্তিসমূহের (যুক্তি ও দাবি) স্পষ্ট উচ্চারণ এবং (2) যাচাই ও বৈধতা দেওয়ার জন্য স্বাধীন পর্যালোচনা। যেহেতু সুরক্ষা মামলাগুলি কাঠামোগত, প্রোগ্রামের শুরুতে প্রতিষ্ঠিত সুরক্ষা যুক্তি সন্তুষ্ট করার জন্য প্রমাণ ভিত্তিক পন্থা, তারা বিদ্যমান এবং প্রমাণিত বিপদ বিশ্লেষণ পদ্ধতি এবং কৌশলগুলিকে বাড়ানোর জন্য একটি ভাল উপযুক্ত খুঁজে পেতে পারে। যেহেতু নিরাপত্তা মামলাগুলি জনপ্রিয়তা অর্জন করে এবং বর্তমান সর্বোত্তম অনুশীলনের মধ্যে অন্তর্ভুক্ত করা হয়, তারা কার্যকরী বিপত্তি মূল্যায়ন (এফ. এইচ. এ)-এর মতো কোনও বর্তমান কার্যকর নিরাপত্তা পদ্ধতি প্রতিস্থাপন করবে না, তবে এগুলিকে যুক্তির জন্য এবং প্রোগ্রামের মাধ্যমে উদ্দেশ্যমূলক নিরাপত্তা প্রমাণ সংগ্রহ এবং নথিভুক্ত করার উন্নতির জন্য আরও বিস্তৃত এবং মিশ্রিত নিরাপত্তা পদ্ধতিতে অন্তর্ভুক্ত করা যেতে পারে। একটি চূড়ান্ত সুরক্ষা মামলায় সুরক্ষার দাবিকে সমর্থনকারী পরীক্ষার প্রমাণের মতো সমস্ত প্রয়োজনীয় এবং প্রয়োজনীয় নির্দিষ্ট নিদর্শন থাকা উচিত। একটি সুষম নিরাপত্তা কেসকে অবশ্যই বিশেষ সুরক্ষা নির্দেশিত যাচাইকরণের অনুমতি দিতে হবে, যেমন বিশ্বাসযোগ্য ব্যর্থতার অবস্থার পরীক্ষা, ভবিষ্যদ্বাণীকৃত নিরাপদ অবস্থা এবং পরিকল্পিত আচরণ পর্যবেক্ষণের জন্য ত্রুটির পরীক্ষা, খারাপ পরিস্থিতিতে প্রত্যাশিত কার্যকারিতার জন্য ত্রুটি সন্নিবেশ, সিস্টেমের প্রতিরোধ ক্ষমতা নিশ্চিত করতে ব্যর্থতা দুর্নীতি ও দুর্বৃত্ত হুমকিকে উপেক্ষা করে এবং নামমাত্র বা পরিবর্তিত অবস্থার বাইরে, সীমার বাইরে এবং অন্যান্য ধরণের পরীক্ষার ফলাফল যা প্রমাণ করে যে সুরক্ষার প্রয়োজনীয়তাগুলি স্বাভাবিক ক্রিয়াকলাপের বাইরে পূরণ করা হয়। আদর্শভাবে, ভবিষ্যতের সেফটি কেস ধারণাগুলি, যা সফ্টওয়্যার নিবিড় এবং সিস্টেমগুলির উচ্চ প্রযুক্তি ব্যবস্থা হিসাবে বিকশিত হচ্ছে আরও জটিল হয়ে উঠছে, অবশ্যই ব্যাপক সুরক্ষা নিদর্শনগুলির সাথে একটি ফোকাসড ডেটা প্যাকেজ থাকতে হবে এবং সমস্ত সুরক্ষা বিশ্লেষণ, ফলাফল এবং সিস্টেম ঝুঁকির মোট যোগফল নির্ধারণের অন্তর্ভুক্ত হতে হবে। নিরাপত্তা মামলাগুলি অবশ্যই বর্তমান এম. আই. এল-এস. টি. ডি-882 নিরাপত্তা মূল্যায়ন প্রতিবেদনের বাইরে যেতে হবে যা বিপদ এবং ঝুঁকি ভিত্তিক ফলাফলের আরও সাধারণ সারসংক্ষেপ। কাঠামোগত যুক্তি, লক্ষ্য এবং উদ্দেশ্য সহ সুরক্ষা মামলাগুলি সাধারণত প্রয়োজনীয়তা ভিত্তিক সুরক্ষা (আইএনসিওএসই), মডেল ভিত্তিক সুরক্ষা, সফ্টওয়্যার ভিত্তিক সুরক্ষা (আই. ই. ই. ই. এস. টি. ডি-1228), ফাংশন ভিত্তিক সুরক্ষা (আই. ই. সি-61508, সুরক্ষার জন্য নকশা ভিত্তিক মহাকাশ প্রস্তাবিত অনুশীলন (এস. এ. ই. এ. আর. পি <আই. ডি1> এ) সহ বিভিন্ন আধুনিক সুরক্ষা দিকগুলির আরও অন্তর্ভুক্ত হওয়া দরকার। নিরাপত্তা কেস উৎপাদনে চটপটে উন্নয়ন পদ্ধতি প্রয়োগ করা হয়েছে। নিরাপত্তা মামলার পর্যালোচনা নিরাপত্তা প্রকৌশল প্রক্রিয়ার একটি গুরুত্বপূর্ণ কাজ, যা উন্নয়ন, পরিচালনা এবং রক্ষণাবেক্ষণের সময় সঞ্চালিত হয়, যেখানে নিরাপত্তা মামলার যুক্তি এবং প্রমাণ যাচাই করা হয় এবং চ্যালেঞ্জ করা হয়। রেফারেন্স এক্সটার্নাল লিঙ্ক ইংরেজিভাষী সেফটি কেস কোর্স ফরাসিভাষী সেফটি কেস কোর্স (ফ্রান্সে) স্প্যানিশভাষী সেফটি কেস কোর্স (স্প্যানিশে) ইতালিয়ভাষী সেফটি কেস কোর্স (ইতালিয় ভাষায়) জার্মানভাষী সেফটি কেস কোর্স (জার্মানিতে) সেফটি