02. ​หน่วย​วัด​และ​ข้อสมมติ​ฐาน — ​ความไม่​เข้ากัน​ที่​ไม่​มี​ใคร​รับผิดชอบ

​จุด​เชื่อมต่อ​ใน​ฐานะ​จุดบกพร่อง

​ระบบ​ซับซ้อน​ไม่​พัง​ที่​แกนกลาง​ที่​ป้องกัน​ไว้​แน่นหนา ​เพราะ​ส่วน​นั้น​ถูก​ตรวจสอบ​ภายใน​อย่าง​เข้มงวด ​มัน​พัง​ที่​จุด​เชื่อมต่อ​ที่​มองไม่เห็น ​ตรง​ที่​ส่วนประกอบ​สอง​ส่วน​ซึ่ง​ต่าง​ก็​ทำงาน​ถูกต้อง​ถูก​บังคับ​ให้​ส่ง​ข้อมูล​สำคัญ​ให้​กัน ​กรณี Mars Climate Orbiter ​เดือน​กันยายน 1999 ​คือ​ตัวอย่าง ​ซอฟต์แวร์​ภาคพื้นดิน​ส่ง​ค่าแรง​ขับดัน​เป็น​หน่วย​ปอนด์-​วินาที ​ระบบ​นำทาง​ถูก​สร้าง​มา​ให้​อ่าน​ค่า​เหล่านั้น​เป็น​นิวตัน-​วินาที​เท่านั้น ​ค่า​จึง​คลาด​กัน​จาก​การแปลง​หน่วย 4.45 ​เท่า ​และ​ไม่​มี​ใคร​สังเกตเห็น​เลย NASA Mishap Investigation Board ​ยืนยัน​ว่า​ระบบ​ย่อย​แต่ละ​ส่วน​ถูกต้อง​ตาม​ข้อกำหนด​ของ​ตนเอง​ทุก​ประการ ​แต่​ไม่​มี​หน่วยงาน​ใด​เป็นเจ้าของ​จุด​เชื่อมต่อ ​เมื่อ​ไม่​มี​ใคร​ถืออำนาจ​เหนือ​จุด​ส่งต่อ ​ข้อบกพร่อง​จึง​อยู่​ใน​ช่องว่าง​ระหว่าง​ทีม​วิศวกร​สอง​ทีม​ที่​ต่าง​ก็​ทำงาน​ถูกต้อง​ตามมาตร​ฐาน

​ต้นทุน​ของ​ข้อสมมติ​ฐาน​โดยนัย

​เดือน​มิถุนายน 1996 Ariane 5 Flight 501 ​ล้มเหลว ​และ​แสดงให้เห็น​ว่า​ซอฟต์แวร์​ที่​นำ​กลับมา​ใช้​ใหม่​กลายเป็น​ความเสี่ยง​ถึงชีวิต​ได้​เมื่อ​บริบท​เดิม​ถูก​ละเลย ​คณะกรรมการ​สอบสวน​ที่​มี Prof. Jacques-Louis Lions ​เป็น​ประธาน​พบ​ว่า​ซอฟต์แวร์​จัด​แนว​แรงเฉื่อย​ถูก​ยก​มาจาก​แบบ​ของ​จรวด Ariane 4 ​รุ่น​ก่อน​โดยตรง ​ค่า​ความเร็ว​แนว​ระดับ​ขนาด 64-bit ​ถูก​ส่ง​เข้าตัว​แปร​จำนวนเต็ม​ขนาด 16-bit ​ค่า​ล้น​ตอน​แปลง​โดย​ไม่​มี​อะไร​ป้องกัน ​และ​ระบบ​ไม่​เคย​ถูก​ออกแบบ​ให้​รับมือ​กรณี​นี้​อย่าง​ปลอดภัย ​เหตุการณ์ Gimli Glider ​เดือน​กรกฎาคม 1983 ​เป็น​แบบ​เดียวกัน ​เจ้าหน้าที่​ภาคพื้นดิน​ใช้​ตัวคูณ​แปลง​ความหนาแน่น​เชื้อเพลิง​ของ​หน่วย​ปอนด์ ​ไม่​ใช่​กิโลกรัม ​คณะกรรมการ​สอบสวน​ที่​นำ​โดย George H. Lockwood ​ระบุ​ว่า​ทีมงาน​ใช้​ตัวคูณ 1.77 ​แทนที่จะ​เป็น 0.803 kg/L ​ตามที่​ต้อง​ใช้ ​เครื่องบิน​จึง​มี​เชื้อเพลิง​ไม่​ถึง​ครึ่ง​ของ​ที่​ต้องการ ​เพราะ​ทั้งสองฝ่าย​ต่าง​ถือว่า​หน่วย​ของ​ตน​คือ​มาตรฐานสากล​สำหรับ​การคำนวณ​ทุกอย่าง

​ข้อสรุป​จาก​การสอบสวน

​ข้อ​ค้นพบ​เหล่านี้​ไม่​มี​ข้อโต้แย้ง​ที่จริง​จัง ​การสอบสวน​อย่าง​เป็นทางการ​ทุก​ชุด​เห็น​ตรงกัน​ว่า​กลไก​ของ​ความล้มเหลว​ผูก​อยู่​กับ​ข้อสมมติ​ที่​ไม่​ตรงกัน​ทั้งหมด NASA Mishap Investigation Board, ​คณะกรรมการ​สอบสวน​ที่​นำ​โดย Prof. Jacques-Louis Lions ​และ​คณะกรรมการ​สอบสวน​ที่​นำ​โดย George H. Lockwood ​ให้​ความเห็น​เดียวกัน ​แต่ละ​คณะ​ยืนยัน​ว่าความ​ล้มเหลว​ทางเทคนิค​เกิดขึ้น​เพราะ​จุด​เชื่อมต่อ​ไม่​ได้​ถูก​ปฏิบัติ​เป็น​ส่วนประกอบ​หนึ่ง​ของ​ระบบ​รวม​ที่​แยก​ออกมา​และ​มีเจ้าของ​ชัดเจน

​ตัวอย่าง: ​สะพาน​พัง​ไม่​ใช่​เพราะ​เหล็กกล้า​อ่อน ​แต่​เพราะ​สถาปนิก​กับ​วิศวกร​ใช้​หน่วย​น้ำหนัก​บรรทุก​คนละ​หน่วย

​คำตัดสิน. ​ความน่าเชื่อถือ​เป็นคุณ​สมบัติ​ของ​จุด​เชื่อมต่อ ​ข้อบกพร่อง​ที่​ไม่​มีเจ้าของ​จะ​ซ่อน​อยู่​จนกว่า​ระบบ​จะ​เข้าสู่​สถานะ​ล้มเหลว ​และ​นั่น​เลี่ยง​ไม่​ได้

​จะ​พลิก​คำตัดสิน​ได้​เมื่อ: ​มี​การวิเคราะห์​ในอนาคต​แสดงว่า​ค่า​ล้น​ใน​ซอฟต์แวร์ Ariane 5 ​ถูกจับ​ได้​จริง​โดย​โปรโตคอล​ทดสอบ​หน่วย​ย่อย​ที่​มี​อยู่แล้ว ​ระหว่าง​ขั้น​เตรียมการ​บิน

​แหล่ง​อ้างอิง. 1999 · NASA Mishap Investigation Board, "Mars Climate Orbiter Mishap Investigation Board Phase I Report" — NASA report PDF · 1996 · Inquiry Board (chair J.-L. Lions), "ARIANE 5 Flight 501 Failure — Report by the Inquiry Board" — ESA