02. Units and Assumptions — The Mismatch Nobody Owns
02. หน่วยวัดและข้อสมมติฐาน — ความไม่เข้ากันที่ไม่มีใครรับผิดชอบ
The Boundary as a Point of Failure
จุดเชื่อมต่อในฐานะจุดบกพร่อง
Complex systems do not fail at their singular, well-defended cores because those areas are subject to rigorous internal verification processes. Instead, these systems collapse at the invisible interface where two distinct, correctly functioning components are forced to exchange critical data. The Mars Climate Orbiter disaster in September 1999 illustrates this, as ground software transmitted thruster impulses using the unit of pound-force-seconds. The navigation system, however, was built to interpret these specific inputs only as Newton-seconds, creating a 4.45x conversion mismatch that remained entirely unobserved. The NASA Mishap Investigation Board confirmed that each subsystem was perfectly valid against its own local specification, yet no entity owned the interface. The lack of a unified authority over the handoff meant the defect existed in the space between the two otherwise functional, compliant engineering teams.
ระบบซับซ้อนไม่พังที่แกนกลางที่ป้องกันไว้แน่นหนา เพราะส่วนนั้นถูกตรวจสอบภายในอย่างเข้มงวด มันพังที่จุดเชื่อมต่อที่มองไม่เห็น ตรงที่ส่วนประกอบสองส่วนซึ่งต่างก็ทำงานถูกต้องถูกบังคับให้ส่งข้อมูลสำคัญให้กัน กรณี Mars Climate Orbiter เดือนกันยายน 1999 คือตัวอย่าง ซอฟต์แวร์ภาคพื้นดินส่งค่าแรงขับดันเป็นหน่วยปอนด์-วินาที ระบบนำทางถูกสร้างมาให้อ่านค่าเหล่านั้นเป็นนิวตัน-วินาทีเท่านั้น ค่าจึงคลาดกันจากการแปลงหน่วย 4.45 เท่า และไม่มีใครสังเกตเห็นเลย NASA Mishap Investigation Board ยืนยันว่าระบบย่อยแต่ละส่วนถูกต้องตามข้อกำหนดของตนเองทุกประการ แต่ไม่มีหน่วยงานใดเป็นเจ้าของจุดเชื่อมต่อ เมื่อไม่มีใครถืออำนาจเหนือจุดส่งต่อ ข้อบกพร่องจึงอยู่ในช่องว่างระหว่างทีมวิศวกรสองทีมที่ต่างก็ทำงานถูกต้องตามมาตรฐาน
The Cost of Implicit Assumptions
ต้นทุนของข้อสมมติฐานโดยนัย
In June 1996, the Ariane 5 Flight 501 failure demonstrated how software reuse can introduce fatal risks when the original context is ignored. The Inquiry Board chaired by Prof. Jacques-Louis Lions discovered that the inertial-alignment software was inherited directly from the previous Ariane 4 rocket design. A 64-bit horizontal-velocity value was passed into a 16-bit integer, causing an unprotected conversion overflow that the system was never designed to handle safely. Similarly, in July 1983, the Gimli Glider incident occurred because the ground crew utilized a fuel-density conversion factor for pounds instead of kilograms. The Board of Inquiry led by George H. Lockwood noted that the crew applied a 1.77 factor instead of the required 0.803 kg/L. This error left the aircraft with under half the required fuel because both sides assumed their unit convention was the universal standard for all calculations.
เดือนมิถุนายน 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 ตามที่ต้องใช้ เครื่องบินจึงมีเชื้อเพลิงไม่ถึงครึ่งของที่ต้องการ เพราะทั้งสองฝ่ายต่างถือว่าหน่วยของตนคือมาตรฐานสากลสำหรับการคำนวณทุกอย่าง
The Consensus of Investigations
ข้อสรุปจากการสอบสวน
There is no serious dispute regarding these findings, as the official investigations agree that the mechanisms of failure were entirely tied to mismatched assumptions. The NASA Mishap Investigation Board, the Inquiry Board led by Prof. Jacques-Louis Lions, and the Board of Inquiry led by George H. Lockwood all concur. Each body confirmed that the technical failure occurred because the interface was not treated as a distinct, owned component of the total system.
ข้อค้นพบเหล่านี้ไม่มีข้อโต้แย้งที่จริงจัง การสอบสวนอย่างเป็นทางการทุกชุดเห็นตรงกันว่ากลไกของความล้มเหลวผูกอยู่กับข้อสมมติที่ไม่ตรงกันทั้งหมด NASA Mishap Investigation Board, คณะกรรมการสอบสวนที่นำโดย Prof. Jacques-Louis Lions และคณะกรรมการสอบสวนที่นำโดย George H. Lockwood ให้ความเห็นเดียวกัน แต่ละคณะยืนยันว่าความล้มเหลวทางเทคนิคเกิดขึ้นเพราะจุดเชื่อมต่อไม่ได้ถูกปฏิบัติเป็นส่วนประกอบหนึ่งของระบบรวมที่แยกออกมาและมีเจ้าของชัดเจน
Example: A bridge fails not because the steel is weak, but because the architect and the engineer used different units for the load.
ตัวอย่าง: สะพานพังไม่ใช่เพราะเหล็กกล้าอ่อน แต่เพราะสถาปนิกกับวิศวกรใช้หน่วยน้ำหนักบรรทุกคนละหน่วย
Verdict. Reliability is a property of the boundary, and a defect that lacks an owner will inevitably remain hidden until the system reaches a failure state.
คำตัดสิน. ความน่าเชื่อถือเป็นคุณสมบัติของจุดเชื่อมต่อ ข้อบกพร่องที่ไม่มีเจ้าของจะซ่อนอยู่จนกว่าระบบจะเข้าสู่สถานะล้มเหลว และนั่นเลี่ยงไม่ได้
Overturned if: A future analysis demonstrates that the Ariane 5 software overflow was successfully caught by the existing unit testing protocols during the flight preparation phase.
จะพลิกคำตัดสินได้เมื่อ: มีการวิเคราะห์ในอนาคตแสดงว่าค่าล้นในซอฟต์แวร์ Ariane 5 ถูกจับได้จริงโดยโปรโตคอลทดสอบหน่วยย่อยที่มีอยู่แล้ว ระหว่างขั้นเตรียมการบิน
Sources. 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
แหล่งอ้างอิง. 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