Safety analysis of high consequence

Safety analysis of high consequence arming systems is complex, many arguments about the behaviour of a design are required to validate that the system fulfils its safety requirements. Manual analysis of such systems can miss potential paths of energy flow and this process becomes increasingly difficult when the concept of defence in depth is incorporated into the design. Utilising the process algebra Communicating Sequential Processes allows component specifications and system level safety specifications to be formalised. Model checking techniques can then be applied to ensure the design of each component meets their individual specifications and that when composed together achieve the required system level behaviour, demonstrating both system level safety and meeting the requirements of defence in depth. We present validation of the technique through the use of a small example representative of the systems of interest we are analysing. The approach is then demonstrated to identify potential problems in this example through various scenarios.

ผลลัพธ์ (ไทย) 1:

การวิเคราะห์ความปลอดภัยของสัจจะสูง arming ระบบมีความซับซ้อน อาร์กิวเมนต์มากเกี่ยวกับพฤติกรรมของการออกแบบจะต้องตรวจสอบว่า ระบบครบถ้วนความต้องการความปลอดภัย ระบบวิเคราะห์ด้วยตนเองสามารถคิดถึงเส้นทางที่เป็นไปได้ของกระแสพลังงาน และกระบวนการนี้จะยากขึ้นเมื่อแนวคิดของการป้องกันในลึกจะรวมอยู่ในการออกแบบ โดยพีชคณิตกระบวนการสื่อสารเป็นกระบวนการที่ต่อเนื่องกันได้รายละเอียดส่วนประกอบและระบบข้อกำหนดระดับความปลอดภัยถูก formalised แล้วสามารถใช้เทคนิคการตรวจสอบแบบจำลองเพื่อการออกแบบของแต่ละส่วนประกอบตรงตามข้อกำหนดเฉพาะของแต่ละและเมื่อประกอบเข้าด้วยกันให้การระบบที่จำเป็นระดับพฤติกรรม เห็นทั้งระบบระดับความปลอดภัย และข้อกำหนดของการป้องกันในลึก เรานำเสนอเทคนิคผ่านการใช้มีขนาดเล็กเช่นตัวแทนของระบบที่น่าสนใจเราจะวิเคราะห์ตรวจสอบ แล้วมีสาธิตวิธีการระบุปัญหาในตัวอย่างนี้ผ่านสถานการณ์ต่าง ๆ

ผลลัพธ์ (ไทย) 2:

การวิเคราะห์ความปลอดภัยของระบบอาวุธผลสูงที่มีความซับซ้อนข้อโต้แย้งมากมายเกี่ยวกับพฤติกรรมของการออกแบบจะต้องตรวจสอบว่าระบบการตอบสนองความต้องการความปลอดภัยของ การวิเคราะห์คู่มือการใช้งานของระบบดังกล่าวสามารถพลาดเส้นทางที่มีศักยภาพของการไหลของพลังงานและกระบวนการนี​​้จะกลายเป็นเรื่องยากมากขึ้นเมื่อแนวคิดของการป้องกันในเชิงลึกเป็นนิติบุคคลที่จัดตั้งในการออกแบบ Utilising พีชคณิตกระบวนการสื่อสารกระบวนการต่อเนื่องช่วยให้รายละเอียดองค์ประกอบและข้อกำหนดความปลอดภัยของระบบในระดับที่จะได้รับอย่างเป็นทางการ เทคนิคการตรวจสอบรูปแบบจากนั้นจะสามารถนำมาใช้เพื่อให้แน่ใจว่าการออกแบบของแต่ละองค์ประกอบตามข้อกำหนดของแต่ละคนและเมื่อประกอบเข้าด้วยกันให้เกิดพฤติกรรมที่ระดับระบบที่ต้องการแสดงให้เห็นถึงความปลอดภัยทั้งในระดับของระบบและการประชุมความต้องการของการป้องกันในเชิงลึก เรานำเสนอการตรวจสอบของเทคนิคที่ผ่านการใช้ตัวแทนตัวอย่างเล็ก ๆ ของระบบที่น่าสนใจที่เรากำลังวิเคราะห์ วิธีการที่จะแสดงให้เห็นแล้วเพื่อแจ้งปัญหาที่อาจเกิดขึ้นในตัวอย่างผ่านสถานการณ์ต่างๆนี้

ผลลัพธ์ (ไทย) 3:

การวิเคราะห์ความปลอดภัยของระบบมีความซับซ้อนสูง ผลพวงอาวุธ ข้อโต้แย้งมากมายเกี่ยวกับพฤติกรรมของการออกแบบจะต้องตรวจสอบว่าระบบที่ตอบสนองความต้องการด้านความปลอดภัยของ การวิเคราะห์คู่มือของระบบดังกล่าวสามารถพลาดเส้นทางที่มีศักยภาพของการไหลของพลังงานและกระบวนการนี้จะยากยิ่งขึ้น เมื่อแนวคิดของการป้องกันในความลึกรวมอยู่ในการออกแบบการใช้กระบวนการพีชคณิตกระบวนการสื่อสารแบบลำดับช่วยให้กำหนดองค์ประกอบและระดับของระบบข้อมูลความปลอดภัยที่จะ formalised . การตรวจสอบรูปแบบเทคนิคสามารถใช้เพื่อให้การออกแบบของแต่ละองค์ประกอบที่ตรงกับคุณสมบัติของตนและเมื่อประกอบกันให้เกิดเป็นระบบระดับพฤติกรรมแสดงให้เห็นถึงระดับความปลอดภัย และการประชุมความต้องการของการป้องกันในระดับลึก เรานำเสนอการตรวจสอบเทคนิคผ่านการใช้ตัวแทน ตัวอย่างเล็ก ๆของระบบที่น่าสนใจที่เราวิเคราะห์ วิธีการระบุปัญหาที่อาจเกิดขึ้นจะแสดงให้เห็นในตัวอย่างนี้ ผ่านสถานการณ์ต่าง ๆ