التحقق من المجموع الاختباري في تصميم المنتجات وتصنيعها: كيفية منع الملصقات الخاطئة، وأخطاء مسح الباركود، وعمليات سحب المنتجات المكلفة

تغادر منصة نقالة الرصيف حاملةً المنتج الصحيح ولكن بملصق خاطئ. يقوم المصنع المستلم بمسحها ضوئيًا، ويقبل نظام تخطيط موارد المؤسسات (ERP) الرمز، وبعد ثلاثة أسابيع، ترد شكوى تُشير إلى دفعة إنتاجية لم يتمكن أحد من تحديد موقعها. لم يكن هناك أي عيب في القطعة نفسها، بل كان هناك خطأ في رقم واحد فقط في البيانات التي تُعرّفها.

يُعدّ التحقق من المجموع الاختباري أرخص وسيلة للتحكم في هذا النوع من الأعطال. فهو يُضيف بضعة أرقام أو بايتات إلى السجل، ويمكن لأي محطة في اتجاه المصب التحقق من السجل دون الحاجة إلى البحث في قاعدة البيانات.
تحمل المنتجات المادية البيانات عبر العديد من الأيدي والآلات والتنسيقات. يتحول ملف التصميم بمساعدة الحاسوب (CAD) إلى قائمة مواد (BOM)، وقائمة المواد إلى أمر عمل، وأمر العمل إلى ملصق. يصبح الملصق مسحًا ضوئيًا، ويصبح المسح الضوئي سجل شحنة.

ملحوظة: تم التحقق من التواريخ التنظيمية الواردة في هذه المقالة، مثل تلك الخاصة بقانون الاتحاد الأوروبي للأمن السيبراني، وجواز سفر المنتج الرقمي، وقانون أمن سلسلة التوريد الرقمية الأمريكي، في نوفمبر 2026. تأكد منها مرة أخرى قبل وضع خطة امتثال بناءً عليها.

أهم النقاط

• يكشف المجموع الاختباري عن الأخطاء غير المقصودة. أما إيقاف التغيير المتعمد فيتطلب توقيعاً أو رمزاً مفتاحياً.
• تحمي أرقام التحقق المعرفات التي يتعامل معها الأشخاص والماسحات الضوئية. تحمي رموز التحقق الدورية (CRC) الإطارات وصور البرامج الثابتة. تحمي التجزئات المشفرة الملفات والسجلات.
• يكشف رقم التحقق GS1 عن كل خطأ في خانة واحدة. ولكنه يغفل حوالي 11% من حالات تبديل الأرقام المتجاورة، وتحديداً تلك التي يختلف فيها الرقمان بمقدار 5.
• تحقق من صحة البيانات عند إنشائها، ثم مرة أخرى عند استخدامها. فالتحقق مرة واحدة في مرحلة واحدة يترك جميع المراحل الأخرى دون فحص.
• تعامل مع الفحص نفسه كنظام قياس. اختبره بعينات معروفة الخلل، وقم بمعايرة أدوات التحقق، وتتبع النتائج.

1. لماذا تعتمد المنتجات المادية على سلامة البيانات

حيث تدخل أخطاء البيانات في السلسلة

عادةً ما تأتي الأخطاء من هذه المصادر الخمسة:

• يخطئ الناس في كتابة الأرقام أو قراءتها بشكل خاطئ.
• تخطئ الآلات في قراءة العلامات التالفة.
• وحدات قلب التخزين والإرسال.
• تؤدي تغييرات العملية إلى استبدال الإصدار الصحيح بإصدار قديم.
• وأخيراً، قد يقوم شخص ما بتغيير البيانات عمداً.

2. ما هو مجموع التحقق؟

مصطلحات عالم التحقق من المجموع الاختباري

تُستخدم عدة مصطلحات بشكل غير دقيق في المصانع وفرق تطوير البرمجيات. يفصل الجدول بينها حسب السؤال الذي يجيب عنه كل مصطلح.

الكشف مقابل التصحيح

معظم رموز التحقق من المجموع الاختباري لا تكشف إلا عن وجود خطأ ما، دون تحديد ماهيته. وهذا يكفي في خطوط الإنتاج، حيث يكون رد الفعل الصحيح هو التوقف، وإعادة الطباعة، وإعادة المسح الضوئي، أو إعادة الإرسال. أما رموز تصحيح الأخطاء فتتجاوز ذلك، إذ تُصلح البيانات، وهو ما يناسب العلامات التي ستتعرض للتلف أو الذاكرة التي ستتدهور. يتناول الفصل الخامس عشر هذه الرموز بالتفصيل.

3. الخصائص الأساسية وما تعنيه بالنسبة لمقاييس الجودة

لكل خاصية من خصائص مجموع التحقق نظير في مصطلحات هندسة الجودة. يتيح لك ربط هذه الخصائص كتابة التحقق في تحليل أنماط الفشل وتأثيراتها (FMEA) أو خطة التحكم دون الحاجة إلى ترجمة.

تصنيف الكشف عن تحليل أنماط الفشل وتأثيراتها (FMEA)

في دليل تحليل أنماط الفشل وتأثيراتها (FMEA) الصادر عن AIAG-VDA عام 2019، تُصنّف ضوابط الكشف من 1 إلى 10، حيث يشير الرقم 10 إلى انعدام القدرة على الكشف. وقد استبدل الدليل نفسه رقم أولوية المخاطر بجدول أولويات الإجراءات الذي يُعطي الأولوية للشدة، ثم التكرار، ثم الكشف. ويمكن لفحص آلي يمنع العملية التالية أن يُبرر تصنيف كشف أفضل بكثير من الفحص البصري. احتفظ بالأدلة، كاختبار التحدي بعينات معروفة التلف.

القبول الخاطئ والرفض الخاطئ

ينطبق نوعان من الأخطاء على أي عملية فحص. يسمح القبول الخاطئ بمرور البيانات غير الصحيحة، وهو ما يُعرف بالهروب. أما الرفض الخاطئ فيمنع مرور البيانات الصحيحة ويؤدي إلى استهلاك وقت المعالجة. لا يرفض رقم التحقق أو رمز التحقق الدوري (CRC) المُطبق بشكل صحيح البيانات الصحيحة أبدًا، لأن القاعدة دقيقة. تنشأ حالات الرفض الخاطئ من خطوة القراءة، مثل الماسح الضوئي الذي يفشل في قراءة رمز صحيح ولكنه مطبوع بشكل رديء.

4. نبذة تاريخية عن المجاميع الاختبارية وما شابهها

إن التقنيات المذكورة في هذه المقالة قديمة، وهذا يُعدّ ميزة. فلكل تقنية منها عقود من الأدلة الميدانية، كما تم توثيق كل نمط من أنماط الفشل.

5. أين تقع مجموعات التحقق في دورة حياة المنتج

استخدم هذا الجدول كخريطة لبقية المقال. فهو يوضح نوع الفحص المطبق في كل مرحلة وموضع ظهور أي خلل عادةً.

6. بتات التكافؤ والمجاميع البسيطة

تُرتّب خاصية التكافؤ ثنائي الأبعاد البيانات في صفوف وأعمدة، وتضيف بت تكافؤ إلى كل صف وعمود. وهي قادرة على تحديد البت المقلوب الوحيد، وبالتالي تصحيحه. كما أنها تكشف جميع الأخطاء المكونة من بتّين أو ثلاثة. مع ذلك، لا تزال أربعة بتات مقلوبة في زوايا المستطيل غير مكتشفة.

مجموع التحقق الجمعي ومجموع التحقق XOR

الخطوة التالية هي جمع جميع البايتات، أو إجراء عملية XOR بينها، ثم إرسال النتيجة. هذه العمليات بسيطة وسريعة، ويمكن تنفيذها على أصغر المتحكمات الدقيقة. لكنها تشترك في نقطتي ضعف مهمتين عمليًا: فهي تتجاهل ترتيب البايتات، لذا تمر البايتات المتبادلة دون تغيير. كما يمكن للأخطاء التعويض عن ذلك: يرتفع بايت واحد بينما ينخفض ​​آخر واحد، ويبقى المجموع دون تغيير.

بالإضافة إلى ذلك، يغفل مجموع التحقق XOR أي عدد زوجي من عمليات قلب البت في نفس الموضع عبر بايتات مختلفة. قام ماكسينو وكوبمان بقياس فعالية مجموعات التحقق هذه لشبكات التحكم المدمجة في عام 2009، ووجدا أن رموز التحقق الدورية (CRC) ذات العرض نفسه تتفوق عليها في التعامل مع الأخطاء المنظمة.

حيث لا يزالون يظهرون

يُعدّ استخدام حالة الأحرف (HEX) في نظام Intel أمرًا بالغ الأهمية بالنسبة للبرامج الثابتة. قد يجتاز الملف جميع فحوصات السجلات ولكنه يظل غير مكتمل، لأن السجل المفقود لا يترك أثرًا في السجلات الأخرى. أضف CRC أو تجزئة على مستوى الصورة، كما هو موضح في الفصل 18.

الأجهزة المادية التي لا تزال تستخدم التكافؤ والمجموعات البسيطة

بطاقات الشريط المغناطيسي يحمل كل حرف بت تكافؤ فردي، ويتبع رمز التحقق من التكرار الطولي رمز النهاية. يرفض القارئ أي تمريرة تفشل في أي من الاختبارين.	الأجهزة التسلسلية وملحقات PLC يمكن لوصلات RS-232 و RS-485 إضافة بت تكافؤ لكل حرف، مما يساعد على اكتشاف انعكاسات البتات الفردية الناتجة عن الضوضاء الكهربائية.
	مبرمجات الفلاش ومحملات الإقلاع تقوم هذه الأدوات بقراءة ملفات Intel HEX و Motorola S-record، والتي تحمل مجموعًا لكل سجل، وعادةً ما ترفض الأداة السجل الذي لا يتطابق.

7. أرقام التحقق: كيفية حساب رقم التحقق GS1 وأهميته

تُعدّ أرقام التحقق أقدم وأكثر أنواع التحقق استخدامًا في الصناعة. وهي تُوضع في نهاية المعرّفات التي يُدخلها المستخدمون ويقومون بمسحها آليًا. تُشكّل هذه الأرقام أساسًا لإمكانية التتبع، حيث يُشار إلى كل دفعة ورقم تسلسلي وموقع وشحنة من خلال معرّف خاص بها.

كيفية حساب رقم التحقق GS1

يتطلب نظام GS1 وجود رقم تحقق في جميع مفاتيح التعريف الرقمية ذات الطول الثابت، بما في ذلك GTIN-8 وGTIN-12 وGTIN-13 وGTIN-14 وGLN وSSCC. تعتمد الخوارزمية على مجموع مرجح بتردد 10. تتناوب الأوزان بين 3 و1، ويحصل الرقم المجاور لرقم التحقق دائمًا على الوزن 3.

1. اكتب أرقام المفتاح بدون رقم التحقق.
2. ابدأ من اليمين، واضرب الأرقام بالتناوب في 3 و 1.
3. اجمع نواتج ضرب جميع الأرقام.
4. رقم التحقق هو المبلغ الذي يجعل المجموع يصل إلى المضاعف التالي للعدد 10. إذا كان المجموع بالفعل من مضاعفات العدد 10، فإن رقم التحقق هو 0.

Written as a formula, the check digit [latex]C[/latex] uses the digits [latex]d_i[/latex] of the body, counted from the right. The weight is [latex]w_i = 3[/latex] for odd [latex]i[/latex] and [latex]w_i = 1[/latex] for even [latex]i[/latex].

[latex]\displaystyle C = \left(10 – \left(\sum_{i=1}^{n} w_i d_i \bmod 10\right)\right) \bmod 10[/latex]

مثال عملي لجسم GTIN-13 رقم 400638133393. عند العد من اليسار، تكون الأوزان 1، 3، 1، 3 وهكذا، لأن رقم الجسم الموجود في أقصى اليمين هو موضع فردي من اليمين.

The products add up to 89. The next multiple of 10 is 90, so the check digit is [latex]C = (10 – (89 \bmod 10)) \bmod 10 = 1[/latex] and the complete GTIN-13 is 4006381333931. The same rule applies to an SSCC. The 17-digit body 34012345000000001 sums to 43, which gives [latex]C = (10 – (43 \bmod 10)) \bmod 10 = 7[/latex] and the SSCC 340123450000000017.

يا له من رقم تحقق يكشفه!

يقارن الجدول مخطط GS1 بثلاثة بدائل. وقد تم تأكيد نتائج مخطط GS1 و Luhn من خلال محاكاة باستخدام مفاتيح عشوائية. أما خصائص Verhoeff و Damm، فقد تم توثيقها في منشوراتهما الأصلية.

نظام ترجيح GS1 ليس الأقوى بين الأنظمة المتاحة، ولكنه النظام الذي يجب استخدامه لمفاتيح GS1. أما بالنسبة للمعرّفات التي تحددها بنفسك، فاختر نظامًا أقوى.

لا يُشير رقم التحقق الصحيح إلى وجود المنتج، بل يُظهر فقط أن الرقم مُكوّن بشكل صحيح. ولا يُشير إلى تخصيص رمز GTIN، أو انتمائه لهذا المنتج، أو تفعيله في بياناتك الرئيسية. لذا، يُنصح بالإبقاء على التحقق من صحة البيانات الرئيسية إلى جانب التحقق الحسابي.

رقم التحقق من رقم تعريف المركبة (VIN) في الموضع 9

في أمريكا الشمالية، يشترط البند 565 من قانون اللوائح الفيدرالية رقم 49 وجود رقم تحقق في الموضع 9 من رقم تعريف المركبة (VIN) المكون من 17 حرفًا. يُحوّل كل حرف إلى رقم ويُضرب في وزن الموضع: 8، 7، 6، 5، 4، 3، 2، 10، 0، 9، 8، 7، 6، 5، 4، 3، 2. ثم تُجمع النواتج. الباقي بعد القسمة على 11 هو رقم التحقق، والباقي 10 يُكتب على شكل الحرف X.

[latex]\displaystyle C = \left(\sum_{i=1}^{17} t_i w_i\right) \bmod 11[/latex]

Here [latex]t_i[/latex] is the transliterated value and [latex]w_i[/latex] is the weight of position [latex]i[/latex].

العديد من أرقام تعريف المركبات (VIN) ذات الأصل الأوروبي لا تحتوي على رقم تحقق صالح، لذا يجب ألا ترفضها قواعد التحقق في أمريكا الشمالية تلقائيًا. إليك اختبار سريع لتطبيقك: يجب أن ينتج رقم تعريف المركبة المكون من سبعة عشر رقمًا واحدًا رقم التحقق 1. نص القاعدة موجود في 49 CFR 565.15.

ستتعرف على مخططات أخرى

• تحتوي الرموز الشريطية EAN-13 الموجودة على الكتب على رقم ISBN-13 وتستخدم خوارزمية GS1. أما نظام ISBN-10 القديم فكان يستخدم نظام mod 11.
• تستخدم أرقام بطاقات الدفع وأرقام IMEI خوارزمية Luhn، التي وصفها هانز بيتر لون من شركة IBM في طلب براءة اختراع عام 1954.
• يستخدم نظام IBAN المعيار 97-10 من ISO/IEC 7064.
• أرقام حاويات الشحن بموجب معيار ISO 6346 تنتهي برقم تحقق.

تصميم رقم تحقق للأجزاء الداخلية والأرقام التسلسلية

تبتكر العديد من النباتات مُعرّفاتٍ خاصة بها، ثم تُضيف إليها آلية تحقق محلية الصنع. غالبًا ما تُغفل هذه الآليات عمليات التبديل، وهي أخطاء شائعة في إدخال البيانات. استخدم نظامًا منشورًا إلا إذا كان لديك سبب موثق لعدم استخدامه.

• اختر خوارزمية معتمدة ومنشورة. تُناسب خوارزميتا Damm أو Verhoeff المعرفات الرقمية. يُحدد معيار ISO/IEC 7064 أنظمةً خالصةً وهجينةً للسلاسل الرقمية والأبجدية والأبجدية الرقمية، من بينها MOD 11-2 وMOD 37-2 وMOD 97-10.
• حدد طول المعرف وضع حرف التحقق في النهاية.
• قم بإزالة الأحرف المتشابهة مثل O و 0، أو I و 1، من الأبجدية، أو تعامل معها بشكل صريح في المخطط.
• قم بتعريف الخوارزمية في وثيقة خاضعة للتحكم مع متجهات الاختبار، بحيث يقوم كل نظام بتنفيذ نفس القاعدة.
• اختبر المخطط مقابل فئات الأخطاء التي تهمك: الاستبدال الفردي، والتبديل المتجاور، والأخطاء المزدوجة، والأخطاء الصوتية حيث يوجد إدخال صوتي.
• ضع في اعتبارك استخدام أرقام غير مهمة في المخططات الجديدة. فهي تتجنب إعادة الترقيم عند تغيير التصنيف.
• يجب التحقق من صحة البيانات في كل نقطة إدخال، بما في ذلك أنظمة تخطيط موارد المؤسسات (ERP) وأنظمة تنفيذ التصنيع (MES) وبرامج وضع الملصقات وبرامج التحكم المنطقي القابل للبرمجة (PLC). يتم تجاوز أي فحص موجود في نظام واحد بواسطة الأنظمة الأخرى.

الأجهزة والأدوات التي تتحقق من صحة أرقام التحقق

8. أخطاء مسح الباركود: الأسباب والتحقق والحلول

تنقسم أخطاء مسح الباركود إلى ثلاث فئات. عدم القراءة يُوقف العملية ويُهدر الوقت. القراءة الخاطئة تُرجع قيمة خاطئة تبدو صحيحة. القراءة الخاطئة تُرجع قيمة صحيحة من عنصر خاطئ، مثلاً من ملصق مجاور. تُعدّ القراءات الخاطئة هي الفئة الأخطر، وُضعت عمليات التحقق المُدمجة في الرموز للحدّ من حدوثها.

عمليات التحقق المدمجة في الرموز

القراءة ليست هي الجودة

لا يُعدّ الماسح الضوئي الذي يفكّ شفرة رمزٍ ما دليلاً على جودته. فالرموز التي تُفكّ شفرتها اليوم قد تفشل بعد تلف الملصق أثناء النقل. أما جهاز التحقق فيقيس جودة الطباعة وفقًا لمعيارٍ مُحدّد ويُحدّد درجةً لها.

يحتاج جهاز التحقق إلى معايرة باستخدام بطاقة اختبار مطابقة قياسية. يحدد معيار التطبيق أو العميل الحد الأدنى المقبول. راجع المواصفات العامة الحالية لـ GS1 وأي قواعد قطاعية خاصة بنوع الرمز الخاص بك.

الأسباب والحلول

طبّق قاعدة واحدة في كل محطة مسح ضوئي. قم بفك التشفير، وتحقق من صحة رقم التحقق، وتحقق من صحة التنسيق مقابل المفتاح المتوقع، ثم اقبل القيمة. يؤدي فشل أي خطوة من خطوات المسح إلى رد فعل محدد. يجب ألا يؤدي ذلك إلى حلقة إعادة محاولة لا يتم احتسابها.

9. كيفية منع وضع الملصقات الخاطئة

يُعدّ وضع تسمية خاطئة أحد أكثر أخطاء البيانات شيوعًا ووضوحًا. وله أسباب عديدة ومختلفة، ولا يُعالج مجموع التحقق إلا بعضها. لذا، افصل الأسباب قبل اختيار عناصر التحكم.

عملية وضع العلامات ذات الحلقة المغلقة

1. قم بإصدار قالب الملصق ومصدر بياناته تحت إدارة التغيير. خزّن قيمة تجزئة ملف القالب في سجل الإصدار.
2. عند بدء عملية الطباعة، تقوم الطابعة أو خادم الملصقات بحساب قيمة التجزئة للقالب المحمّل ومقارنتها بسجل الإصدار. يؤدي عدم التطابق إلى منع طباعة المهمة.
3. قم ببناء الحمولة من السجل الموثوق الوحيد. قم بإنشاء رقم التحقق في برنامج باستخدام مكتبة تم اختبارها، ولا تقم بكتابته يدويًا أبدًا.
4. اطبع، ثم تحقق من الرمز الموجود في الملصق. أي درجة أقل من الحد الأدنى المحدد ستؤدي إلى رفض الملصق.
5. امسح الملصق المطبوع ضوئيًا وقارن محتواه المُفكَّك مع السجل المتوقع لهذه الوحدة. ارفض أي وحدة لا يتطابق ملصقها مع الملصق الأصلي.
6. قم بإعادة المسح الضوئي في محطة التعبئة أو الشحن بعد التطبيق. يكشف الفحص الثاني عن أي أخطاء قد تحدث بعد الطباعة.
7. قم بمطابقة الأعداد في نهاية كل دورة. يجب أن تتطابق الملصقات الصادرة والمطبقة والملغاة والمعادة.

تستخدم هذه السلسلة ثلاثة أنواع من عمليات التحقق. يُثبت التجزئة صحة القالب. ويُثبت رقم التحقق والتنسيق صحة المفتاح. وتُثبت المقارنة مع السجل المتوقع أنه المفتاح الصحيح لهذه الوحدة. أما النوع الثالث فقط فيكشف عن تسمية صحيحة التكوين ولكنها خاطئة.

10. مجموعات التحقق من الشبكة وناقل البيانات الميداني

تحمي الآلات بياناتها من خلال عمليات فحص محددة في البروتوكول. تحمي هذه العمليات الرابط، خطوة بخطوة. لكنها لا تحمي البيانات بمجرد تخزينها في ذاكرة وحدة التحكم المنطقية القابلة للبرمجة (PLC) أو في قاعدة البيانات.

مجموعات التحقق عبر الإنترنت تستخدم رؤوس بروتوكول الإنترنت (IP) وبروتوكولي TCP وUDP مجموع التحقق التكميلي ذي 16 بت الموصوف في RFC 1071. يتميز هذا المجموع بسهولة حسابه وضعفه، إذ لا يكتشف الكلمات ذات 16 بت المتبادلة وبعض الأخطاء التعويضية. تضيف طبقات الربط CRC أقوى في الطبقة السفلية، وهذا هو سبب استمرار استخدام مجموع التحقق الضعيف. تُعدّ خوارزميتا فليتشر وأدلر-32 مجموعتين بسيطتين مع مُجمِّعين، لذا فهما تكتشفان أخطاء ترتيب أكثر من المجموع البسيط. تظهر خوارزمية أدلر-32 في مكتبة zlib، وهي ضعيفة في التعامل مع الرسائل القصيرة.	Modbus RTU تنتهي إطارات Modbus RTU برمز CRC مكون من 16 بت. قيمة هذا الرمز هي 0x8005، وتُستخدم بصيغتها المعكوسة 0xA001، وقيمتها الابتدائية 0xFFFF. يُرسل البايت الأدنى من رمز CRC أولًا. أما Modbus ASCII فيستخدم فحصًا أبسط للتكرار الطولي مكونًا من 8 بت. إليك طلب RTU كامل يقرأ 10 سجلات الاحتفاظ من الجهاز التابع 1، بدءًا من العنوان 0. قيمة CRC هي 0xCDC5، والتي يتم إرسالها عبر السلك كـ C5 متبوعًا بـ CD. 01 03 00 00 00 0A C5 CD
كان وكان إف دي تستخدم بروتوكولات CAN الكلاسيكية خوارزمية CRC ذات 15 بت، وقيمتها متعددة الحدود 0x4599. تُعطي هذه الخوارزمية مسافة هامينغ تساوي 6 لطول إطار ثابت، مما يسمح باكتشاف أي خمسة أخطاء بتية موزعة عشوائيًا. أما بروتوكولات CAN FD فتستخدم خوارزمية CRC ذات 17 بت للبيانات التي يصل حجمها إلى 16 بايت، وخوارزمية CRC ذات 21 بت للبيانات التي يزيد حجمها عن ذلك، وذلك للحفاظ على مسافة هامينغ نفسها البالغة 6. يُعقّد حشو البتات الصورة. تشير CAN in Automation إلى أن الحشو قد يُقلل مسافة هامينغ الفعّالة لبعض أنماط البتات في الإطارات الكلاسيكية، ويضيف CAN FD عداد بتات الحشو لسدّ هذه الفجوة. التفاصيل موجودة في شرح CiA لـ CRC في إطارات CAN.	الحافلات القائمة على الإيثرنت تستخدم بروتوكولات PROFINET وEtherCAT وEtherNet/IP وModbus TCP إطارات إيثرنت قياسية لنقل البيانات. وينتهي كل إطار بتسلسل فحص إطار مكون من 32 بت، يُعرف باسم CRC-32، والذي تتحقق منه الأجهزة في كل قفزة. ويتم إسقاط الإطارات التي تحتوي على تسلسل غير صالح. تُحدد بعض ناقلات البيانات الأخرى، مثل PROFIBUS وIO-Link، فحوصات الإطارات الخاصة بها. لذا، يُنصح بقراءة مواصفات البروتوكول وتسجيل الفحص في تحليل أنماط الفشل وتأثيراتها (FMEA) بدلاً من افتراضه.
	بروتوكولات السلامة أعلى الحافلة تتعامل بروتوكولات الأمان مثل PROFIsafe وCIP Safety وFail Safe over EtherCAT مع ناقل البيانات الأساسي كقناة غير آمنة. قد تتعرض هذه القناة للتلف أو التأخير أو التكرار أو إعادة ترتيب الرسائل. تضيف طبقة الأمان نظام التحقق من التكرار الدوري (CRC) الخاص بها، وعداد تسلسل، وجهاز مراقبة، بحيث لا تعتمد وظيفة الأمان على عمليات فحص الرابط. استخلص العبرة وطبّقها في تصميماتك. لا يحمي رمز التحقق الدوري (CRC) على مستوى الربط وصفةً ما أثناء وجودها في الذاكرة أو مرورها عبر خادم OPC UA ونظام إدارة التصنيع (MES). أضف فحصًا شاملاً على مستوى التطبيق لكل مجموعة معلمات تؤثر على السلامة أو الجودة.

11. ما هو فحص أخطاء CRC؟

A cyclic redundancy check treats the message as a long binary number, which is a polynomial over [latex]\mathrm{GF}(2)[/latex]. It divides that polynomial by a fixed generator polynomial and keeps the remainder. The remainder is the CRC, usually 8, 16 or 32 bits long. The sender appends it, the receiver divides again, and any mismatch signals corruption.

مثال عملي

Take the 3-bit generator 1011, which stands for [latex]x^3 + x + 1[/latex], and the message 1101. Append three zeros to get 1101000. Then divide by repeated XOR with the generator.

1101000
1011
-------
0110000
 1011
-------
0011100
  1011
-------
0001010
   1011
-------
0000001

الباقي هو 001، لذا فإن الكلمة المرسلة هي 1101001. بقسمة هذه الكلمة على 1011 نحصل على الباقي 000. بقلب أي بت واحد، يصبح الباقي غير صفري. تستخدم رموز التحقق من التكرار الدوري (CRC) الحقيقية مولدات من 8 إلى 32 بت، وتعمل إما في الأجهزة أو باستخدام جداول بحث، لكن المبدأ واحد.

ما الذي يضمنه سجل الامتثال للقوانين واللوائح؟

• كل خطأ في بت واحد، طالما أن المولد يحتوي على أكثر من حد واحد.
• لا يتجاوز كل خطأ في النبضة عرض CRC.
• Every odd number of bit errors, for generators that contain the factor [latex]x + 1[/latex]. The common 16-bit polynomials qualify. The Ethernet CRC-32 does not.
• Longer bursts and random patterns pass with a probability of roughly [latex]2^{-n}[/latex].
• مسافة هامينغ التي تعتمد على متعدد الحدود وعلى طول الرسالة.

المعايير التي يجب أن تتطابق

لا يحسب طرفان نفس قيمة CRC إلا إذا اتفقا على ستة معايير: العرض، متعدد الحدود، القيمة الأولية، انعكاس الإدخال، انعكاس الإخراج، وعملية XOR النهائية. أسماء مثل CRC-16 أو CRC-32 غامضة. كتالوج انتقام CRC يعرض هذا الجدول مجموعات المعلمات الشائعة الاستخدام. تأكد من صحة التنفيذ باستخدام قيمة التحقق لسلسلة ASCII رقم 123456789.

اختيار متعدد الحدود حسب طول الرسالة

تعتمد قوة CRC على متعدد الحدود وعلى طول الرسالة. وقد أوضح كوبمان ذلك في دراسة رموز التحقق الدوري (CRC) ذات 32 بت أن متعددة الحدود IEEE 802.3 تصل إلى مسافة هامينغ تبلغ 4 فقط على رسائل إيثرنت ذات الطول الأقصى، بينما تصل متعددات الحدود الأخرى إلى 6. وتظهر الشبكات المدمجة ذات الرسائل القصيرة فجوات أوسع، كما أن بعض متعددات الحدود 16 بت التي تم نسخها على نطاق واسع تعمل بشكل سيئ عند الأطوال التي يتم استخدامها فيها.

• حدد نطاق أطوال الرسائل قبل اختيار متعدد الحدود.
• حدد مسافة هامينغ التي تحتاجها عند أقصى طول. تتطلب التطبيقات الحساسة للسلامة عادةً مسافة 6.
• استخلص المعادلة متعددة الحدود من نتائج البحث الشامل المنشورة، وليس من الحكايات الشعبية أو من نموذج برمجي.

حدود مركز أبحاث السرطان

إنّ CRC دالة خطية للرسالة. فبمعرفة الرسالة ورمز CRC الخاص بها، يستطيع أي شخص تغيير الرسالة وحساب رمز CRC مطابق دون الحاجة إلى سرّ. لذا، لا يُثبت رمز CRC شيئًا عن مصدر الرسالة، ولا يمكنه منع التغيير المُتعمّد. يتناول الفصلان 13 و14 الأدوات التي تُتيح ذلك.

الأجهزة التي تحمل رمز التحقق من التكرار (CRC)

12. دوال التجزئة غير المشفرة

تُضحي دوال التجزئة غير المشفرة، مثل xxHash وMurmurHash وCityHash وFNV، بالأمان مقابل السرعة. فهي تعمل بسرعة قريبة من سرعة الذاكرة على وحدات المعالجة المركزية الحديثة، وتُنتج قيمًا من 32 أو 64 أو 128 بت تُوزّع المدخلات بالتساوي.

لا توفر هذه الأنظمة أي حماية ضد شخص يقوم بإنشاء مدخلات متضاربة عن قصد:

13. التشفير التجزئي وكيفية التحقق من مجموع التحقق SHA-256

سنتناول في هذا الفصل التفاصيل التقنية والعملية.

يجب أن تقاوم دالة التجزئة المشفرة ثلاثة أنواع من الهجمات:

• تعني مقاومة الصورة المسبقة أنه لا يمكن لأحد العثور على مدخلات لتلخيص معين.
• تعني مقاومة الصورة الثانية أنه لا يمكن لأحد العثور على مدخل مختلف يطابق ملخص مدخل معين.
• تعني مقاومة التصادم أنه لا يمكن لأحد العثور على أي مدخلين لهما نفس التجزئة.

يصف المعهد الوطني للمعايير والتكنولوجيا (NIST) خطة التقاعد SHA-1 في صفحة إعلان SHA-1. يوفر ملخص SHA-256 حوالي 128 بت من مقاومة التصادم، وهو ما يتجاوز بكثير أي هجوم عملي.

كيفية التحقق من مجموع التحقق SHA-256

تحتاج إلى أمرين: الملخص المتوقع من مصدر موثوق، والملف. احسب الملخص محليًا وقارن السلسلة كاملةً. مقارنة الأحرف القليلة الأولى فقط تُفقد الحماية معظمها.

# Linux sha256sum firmware.bin sha256sum -c SHA256SUMS # macOS shasum -a 256 firmware.bin # Windows PowerShell Get-FileHash .\firmware.bin -Algorithm SHA256 # Windows command prompt certutil -hashfile firmware.bin SHA256

يحتوي ملف SHA256SUMS على سطر واحد لكل ملف، يتضمن قيمة التجزئة، ومسافتين، واسم الملف. يقرأ الأمر sha256sum -c هذا الملف ويطبع "موافق" أو "فشل" لكل ملف. تحقق من أي أداة باستخدام متجه الاختبار في الملحق ب قبل الاعتماد عليها.

14. التحقق من المجموع الاختباري والتوقيعات والأصالة

كل شيء حتى الآن مُتاح للجميع. بإمكان أي شخص حساب قيمة CRC أو SHA-256 لرسالة مُعدّلة. ولمنع التغيير المُتعمّد، يجب أن يعتمد التحقق على سرّ أو مفتاح خاص.

تعتمد أنظمة المفتاح المشترك على وضع المفتاح في كل جهاز تحقق. يصعب حماية المفتاح الموجود في عشرات محطات الاختبار أو آلاف الأجهزة، كما يصعب تغييره. أما التوقيعات، فتُغير هذه المشكلة. إذ تحتفظ المحطات والأجهزة بالمفتاح العام فقط، بينما يبقى المفتاح الخاص في وحدة أمان الأجهزة لدى جهة الإصدار.

لا تقم بإنشاء رمز مصادقة الرسائل (MAC) عن طريق تجزئة سر متبوعًا بالرسالة باستخدام خوارزمية SHA-256. تسمح خوارزمية SHA-2 بهجمات تمديد الطول على هذا التركيب. تم تصميم HMAC خصيصًا لتجنب ذلك.

حالات الاستخدام في بيئات المنتج

• • البرامج الثابتة الموقعة والتمهيد الآمن. تتحقق ذاكرة القراءة فقط (ROM) الخاصة بالتمهيد من توقيع برنامج الإقلاع، ويتحقق برنامج الإقلاع بدوره من التطبيق. لا يزال لرمز التحقق الدوري (CRC) دور في ضمان سلامة ذاكرة الفلاش وذاكرة الوصول العشوائي (RAM) أثناء التشغيل، ولكنه لا يحل محل التوقيع.

• تُعدّ أصالة قطع الغيار مسألة منفصلة. فالرقم التسلسلي الذي يحتوي على رقم تحقق صالح لا يُثبت الأصالة، إذ يُمكن لأي شخص حسابه. تتطلب المصادقة وجود سرّ، كعلامة تشفيرية في عنصر آمن أو رمز يُمكن للخادم التحقق منه ولا يُمكن لأحد استنتاجه من الرقم التسلسلي.
• يمكن أن تحمل الملصقات بيانات مكافحة التزييف. تحدد GS1 معرّف التطبيق، AI 8030، للتوقيع الرقمي الموجود في وسيط البيانات إلى جانب المفتاح.
• تتطلب السجلات الخاضعة للتنظيم عناية خاصة. يدعم التوقيع المشفر السجلات الإلكترونية، ولكنه لا يُعدّ توقيعًا إلكترونيًا بالمعنى المقصود في الجزء 11 من الباب 21 من قانون اللوائح الفيدرالية. كما يشترط هذا القانون ضوابط للتحقق من الهوية، ومعنى التوقيع، وارتباطه بالسجل.

الأقفال والمفاتيح وأجهزة الوصول

تُظهر الأقفال الميكانيكية والإلكترونية الفرق بين اكتشاف الأخطاء والمصادقة.

• أقفال الأسطوانة ذات الدبابيس: يجب أن تتطابق فتحات المفتاح مع ارتفاعات الدبابيس، لذا يتحقق القفل من شكل مادي. يُعد هذا الشكل سرًا مشتركًا، لأن أي شخص ينسخه يحصل على إمكانية الوصول.
• بيانات اعتماد لاسلكية منخفضة التكلفة: تحتوي إطارات القراءة على رمز التحقق الدوري (CRC) ضد أخطاء الإرسال اللاسلكي، وهو ما لا يثبت شيئًا عن الهوية. يمكن استنساخ البطاقات القديمة المبنية على تشفير خاص معيب، مثل MIFARE Classic. أما بيانات الاعتماد الحديثة فتستخدم آلية التحدي والاستجابة مع تشفيرات قياسية مثل AES.
• أقفال ذكية بتقنية Bluetooth منخفضة الطاقة: طبقة الربط تحمي كل حزمة باستخدام AES-CCM، الذي يكون رمز سلامة الرسالة الخاص به عبارة عن فحص مفتاحي.
• المواد الاستهلاكية والملحقات الموثقة: تحتوي بعض خراطيش الطابعات وحزم البطاريات وأجهزة الاستشعار على شريحة تجيب على تحدي التشفير من الجهاز المضيف.

15. رموز تصحيح الأخطاء

يكشف نظام الكشف عن وجود خطأ في البيانات، ويقوم نظام التصحيح بإصلاحها. ويترتب على ذلك زيادة في التكرار، بينما تتمثل الفائدة في استمرار العملية دون الحاجة إلى إعادة المسح أو إعادة الإرسال أو إعادة المعالجة.

علامات تبقى بعد التلف يُوفر رمز الاستجابة السريعة (QR) أربعة مستويات تصحيح، L وM وQ وH، تُعيد ما يقارب 7% و15% و25% و30% من الكلمات المشفرة على التوالي. يستخدم نظام Data Matrix ECC 200 خوارزمية ريد-سولومون مع مقدار ثابت من التكرار لكل حجم رمز. تستفيد الأجزاء التي تحمل علامات ليزرية أو المتسخة أو المخدوشة بشكل مباشر من هذه التقنية، وكذلك الملصقات التي تنتقل عبر سلسلة التوريد. يُعزز تصحيح الأخطاء متانة العلامة، كما يُمكنه إخفاء التدهور. قد يُفك تشفير رمز مصفوفة البيانات التالف بشكل سليم، بينما تتضاءل سعة التصحيح الاحتياطية لديه حتى تكاد تنعدم. يُبلغ التحقق وفقًا لمعيار ISO/IEC 15415 عن تصحيح الأخطاء غير المستخدم كمعيار مُصنف. راقب درجة المُدقِّق، وليس نتيجة القراءة، لمتابعة جودة الطباعة والوسم.

ذاكرة ECC وذاكرة فلاش في المنتجات المدمجة غالبًا ما تحمي وحدات التحكم الدقيقة المستخدمة في السيارات والصناعة ذاكرة الفلاش وذاكرة الوصول العشوائي (RAM) بتقنية تصحيح الأخطاء (ECC). يقوم الجهاز بتصحيح انعكاسات البتات المفردة وحسابها. ثم يقرأ عدادات الأخطاء المصححة ويسجلها. يشير ارتفاع العداد إلى تدهور حالة الخلية، أو ضعف في مصدر الطاقة، أو اضطرابات إشعاعية. وبما أن رمز التحقق الدوري (CRC) المحسوب بعد التصحيح يُظهر بيانات سليمة، فإن العداد هو الإشارة المبكرة الوحيدة التي يتم الحصول عليها.

الأجهزة والوسائط التي تعتمد على تصحيح الأخطاء تحمل الأجزاء التي تم وضع علامات عليها بالليزر والأجزاء التي تم تثبيتها بالنقاط رموز Data Matrix ECC 200، والتي تستخدم رموز Reed-Solomon، لذلك لا يزال من الممكن فك تشفير العلامة المخدوشة. الخوادم، وأجهزة التحكم، ووحدات التحكم الدقيقة للسيارات: تقوم ذاكرة ECC عادةً بتصحيح أخطاء البت الواحد واكتشاف أخطاء البت المزدوج. محركات الأقراص الصلبة SSD و eMMC وبطاقات SD: يقوم المتحكم بتطبيق رموز BCH أو LDPC على صفحات الفلاش، ويمكن أن تعمل عدادات البت المصححة كمؤشر للتآكل.

16. مقارنة الخوارزميات

يلخص الجدول العائلات وموقع كل منها في هذه المقالة. تعتمد أرقام السرعة على النظام الأساسي، لذا قم بقياسها على جهازك المستهدف.

17. التصميم والهندسة

سيتم نشر ملفات التصميم بمساعدة الحاسوب (CAD) والرسومات وقوائم المواد (BOMs).

يُحدد نظام إدارة دورة حياة المنتج (PLM) أو نظام إدارة بيانات المنتج (PDM) الإصدار من خلال رقم مراجعته. يُشير رقم المراجعة إلى الإصدار الذي كان من المُزمع إصداره. ويُحدد تجزئة الحزمة المُصدرة البايتات التي تم إصدارها. يتم تخزين كليهما في سجل الإصدار. وبذلك، يُمكن لأي مُستخدم التحقق مما استلمه، مما يُسد ثغرة تُخلفها أرقام المراجعة: وهي إمكانية استبدال أو تعديل ملف بعد الإصدار.

• قم بحساب ملخص SHA-256 لكل ملف تم إصداره، على سبيل المثال نموذج STEP، وملف PDF للرسم، وتصدير قائمة المواد.
• قم بحساب ملخص إضافي على بيان يسرد جميع الملفات وملخصاتها، بحيث تمثل قيمة واحدة الحزمة بأكملها.
• ضع ملخص البيان في سجل ECO أو ECN وفي الإرسالية المرسلة إلى الموردين.
• دع بوابة المورد أو نظام التصنيع يعيد الحساب ويقارن عند الاستلام.
• قارن صادرات قائمة المواد (BOM) باستخدام التجزئة بين التكوينات المصممة والتكوينات المنفذة. يشير عدم التطابق إلى وجود اختلاف، ثم يقوم فريق من المختصين بمراجعته وشرحه.

معالجة الأخطاء في أرقام الأجزاء والموصلات

يُحدد التصميم مدى سهولة حدوث الأخطاء لاحقًا. فوجود رقم تحقق على أرقام القطع يمنع أخطاء الإدخال في كل نقطة. كما أن استخدام تنسيقات أرقام مميزة للقطع المشتراة والرسومات والتجميعات يمنع الخلط بين فئات القطع المختلفة. وتعمل الموصلات ذات المفاتيح وتنسيقات الملصقات غير المتماثلة بنفس المبدأ من الناحية المادية.

البرامج الثابتة المدمجة وبيانات المعايرة

ينبغي أن تكون صورة البرامج الثابتة ذاتية الوصف وذاتية التحقق. ويضع التصميم الشائع رأسًا ثابتًا في عنوان معروف.

طبّق نفس المنهجية على وحدات المعايرة والتكوين في ذاكرة EEPROM أو ذاكرة الفلاش. خزّن رمز التحقق الدوري (CRC) مع كل وحدة. حدّد الإجراءات المتبعة عند فشل التحقق: العودة إلى الإعدادات الافتراضية، أو الإبلاغ عن خطأ، أو عدم استخدام البيانات بشكل تلقائي. احتفظ بنسخة احتياطية واكتب الوحدات بطريقة تضمن استمرار عملها حتى بعد انقطاع التيار الكهربائي.

سياق السلامة الوظيفية

تعتبر معايير السلامة الوظيفية تلف الذاكرة وأخطاء الاتصال من أنماط الأعطال التي تتطلب إجراءات تشخيصية. ويشترط كل من معيار ISO 26262 للمركبات البرية، ومعيار IEC 61508 للأنظمة الصناعية، ومعيار IEC 62304 لبرمجيات الأجهزة الطبية، توضيح كيفية اكتشاف هذه الأعطال. وتشمل الإجراءات النموذجية استخدام رموز التحقق الدوري (CRC) على ذاكرة التعليمات البرمجية والبيانات، والاتصال المحمي باستخدام عدادات التسلسل، والتخزين الاحتياطي.

يجب أن يوضح التحليل مدى التغطية التشخيصية، أي نسبة الأعطال التي يكشفها الإجراء. لا يضمن فحص التكرار الدوري (CRC) ذو 32 بت تغطية بنسبة 99% للنظام بأكمله تلقائيًا. تعتمد التغطية على ما يغطيه فحص التكرار الدوري، وعدد مرات تشغيله، والإجراءات التي يتخذها النظام عند حدوث عطل.

18. التصنيع والتصنيع، بما في ذلك كيفية التحقق من تحديث البرامج الثابتة

تحوّل عملية التصنيع بيانات التصميم إلى عمليات تشغيلية. وتحدث معظم أخطاء البيانات التي تصل إلى مرحلة الإنتاج هنا: وصفات خاطئة، وقوالب ملصقات خاطئة، وحدود اختبار غير متطابقة.

وضع العلامات ومنع أخطاء محطة المسح الضوئي

• تحقق من العلامات عند نقطة وضع العلامة، ومرة ​​أخرى عند أول حاجة إليها. تحدد معايير ISO/IEC 15415 و15416 و29158 نظام التصنيف.
• اجعل محطة المسح بمثابة بوابة. لا يُصدر جهاز التحكم المنطقي القابل للبرمجة (PLC) العملية التالية إلا بعد اجتياز جميع اختبارات فك التشفير، ورقم التحقق، والتنسيق، والقيمة المتوقعة.
• ضع أرقام التحقق على الأرقام التسلسلية التي يتم إنشاؤها بواسطة الخط، بحيث تتم حماية الإدخال اليدوي في محطات إعادة العمل أيضًا.
• سجّل كل عملية مسح فاشلة مع ذكر المحطة والوقت، وإذا أمكن، صورة الرمز. هذا يُغذي عمل DMAIC في الفصل 20.

الوصفات والمعايير

تُخزَّن وصفات الآلات، وبرامج عزم الدوران، وجداول اللحام، وحدود الاختبار كملفات أو كصفوف في قاعدة البيانات. يؤدي ضبط المعلمات بشكل خاطئ أو قديم إلى حدوث عطل غير ملحوظ، لأن الآلة تعمل بشكل صحيح مع التعليمات الخاطئة.

احتفظ بسجل ذهبي في نظام إدارة عمليات التصنيع (MES) أو نظام إدارة دورة حياة المنتج (PLM) مع رمز التجزئة الخاص به. عند كل عملية تنزيل للوصفة وفي بداية كل دفعة، يُعيد برنامج المحطة حساب رمز التجزئة للوصفة النشطة ويقارنه. يؤدي عدم التطابق إلى إيقاف إنتاج الدفعة. بالنسبة للمعلمات المرسلة عبر ناقل إلى وحدة تحكم، أضف رمز التحقق الدوري (CRC) داخل كتلة البيانات، حتى لا تعمل وحدة التحكم المستقبلة بقيم تالفة.

كيفية التحقق من تحديث البرامج الثابتة في نهاية الخط

عملية التزويد بالكهرباء خطوةٌ أساسيةٌ في عملية التصنيع، كعملية اللحام أو الربط. وهي تتطلب طريقةً محددةً، ومعيار قبول، وسجلاً لكل رقم تسلسلي. أما المبرمج الذي يُبلغ عن نجاح العملية، فهو يُخبرك فقط بأن أوامره قد اكتملت.

1. قم ببرمجة الصورة مع تمكين خيار التحقق الخاص بالمبرمج، إذا كان الجهاز والأداة يدعمان ذلك.
2. اقرأ المناطق المبرمجة واحسب قيمة SHA-256 أو CRC-32 على المناطق المحددة في خطة التحكم. قارن النتيجة مع الملخص الذهبي من سجل الإصدار.
3. تعامل مع البيانات الخاصة بكل وحدة في خطوة منفصلة. يختلف الرقم التسلسلي وعنوان MAC وقيم المعايرة من وحدة لأخرى. استبعدها من ملخص الصورة الكاملة وتحقق منها مقابل سجلاتها الخاصة، أو احسب الملخص المتوقع مع تضمين بيانات الوحدة.
4. تحقق من بايتات الخيارات، والصمامات، وبتات القفل. يُعتبر التطبيق الصحيح مع تكوين بدء تشغيل خاطئ أو بدون حماية للقراءة وحدة معيبة.
5. اطلب من الجهاز المُشغِّل إصدار برنامجه ورمز التحقق من سلامة صورته عبر بروتوكول التطبيق. تقوم العديد من المنتجات بحساب رمز التحقق من سلامة ذاكرة الفلاش الخاصة بها باستخدام وحدة طرفية مادية، ثم تُبلغ عنه. وهذا يُختبر مسار الاتصال أيضًا.
6. سجّل النتيجة في نظام إدارة التصنيع (MES) مقابل الرقم التسلسلي للوحدة، بالإضافة إلى ملخص الصورة وإصدار الأداة. لا تسمح للوحدة بالانتقال إلى المرحلة التالية دون تسجيل نجاح العملية.
7. قم بتحدي المحطة على فترات زمنية محددة بعينة معروفة بأنها سيئة، على سبيل المثال صورة مع قلب بت واحد. هذا يثبت أن المحطة لا تزال ترفض.

انتبه لترتيب الخطوات: بمجرد تفعيل حماية القراءة، يصبح من المستحيل إعادة القراءة لاحقًا. تحقق أولًا، ثم قم بالقفل، ثم تأكد من ضبط بت القفل.

سجلات محطة الاختبار والأدوات

تُعد نتائج اختبارات عزم الدوران، والرؤية، والتسريب، والكهرباء أدلة تجارية، وأحيانًا قانونية. ويمكن تعديل السجلات المخزنة كملفات أو صفوف عادية أو فقدانها دون ترك أي أثر.

• احسب قيمة التجزئة للسجل بناءً على الرقم التسلسلي والمحطة والوقت والنتيجة والقيم المقاسة.
• اكتب السجلات إلى مخزن الإلحاق فقط، أو قم بربطها كما هو موضح في الفصل 13، مع التثبيت الدوري.
• قم بمزامنة ساعات المحطة مع مصدر زمني موثوق، بحيث يكون للطوابع الزمنية معنى.

التواصل بين الآلات

يوفر بروتوكول OPC UA توقيع الرسائل وتشفيرها من خلال نمطي الأمان Sign و SignAndEncrypt. استخدمهما بين المحطات ووحدات التحكم المنطقية القابلة للبرمجة (PLCs) ونظام إدارة عمليات التصنيع (MES). يحمي أمان النقل البيانات أثناء نقلها، ولكنه لا يغني عن عمليات التحقق على مستوى التطبيق من المعايير الحيوية، والتي يجب أن تبقى سليمة بعد التخزين والتحويل والتصدير.

أجهزة المحطة التي تمنع حدوث الأخطاء في العملية

تُعتبر بعض القياسات المادية بمثابة مجموع اختباري. فعلى سبيل المثال، يُعد وزن مجموعة أدوات ما خاصية زائدة يجب أن تتطابق مع القيمة المتوقعة.

19. إدارة الجودة والامتثال

تتطلب أنظمة الجودة نتائج تساعد مجاميع التحقق على تحقيقها: تحديد الهوية، وإمكانية التتبع، والوثائق الخاضعة للرقابة، والسجلات الموثوقة. نادرًا ما تُشير المعايير إلى مجاميع التحقق، بل تُشير إلى النتائج، والتحقق هو إحدى طرق إثبات هذه النتائج.

سلامة البيانات و ALCOA+ يصف المنظمون سلامة البيانات بمبادئ ALCOA: قابلية الإسناد، والوضوح، والحداثة، والأصالة، والدقة. ويضيف معيار ALCOA+ الموسع: الاكتمال، والاتساق، والاستمرارية، والتوافر. ويرتبط مجموع التحقق ببعض هذه المبادئ، فهو يُظهر أن السجل دقيق ولم يتغير منذ إنشائه. كما تُظهر سلسلة التجزئة أن السجلات كاملة ومنظمة. لا يُظهر مجموع التحقق من البيانات من أنشأ السجل أو متى. إنه يُكمّل سجل التدقيق والتحكم في الوصول ولا يحل محلهما.

إمكانية التتبع والاستعداد للاستدعاء تعتمد إمكانية التتبع على مُعرّفات تظل صحيحة من لحظة استلام المكونات وحتى شحنها. وتضمن أرقام التحقق صحة هذه المُعرّفات أثناء مرورها عبر الماسحات الضوئية ولوحات المفاتيح. ويربط نظام التسلسل أرقام الدفعات والأرقام التسلسلية عبر المستويات، خطوةً لأعلى وخطوةً لأسفل. قِس جاهزية المنتج من خلال محاكاة عملية سحب. يُقاس ذلك بالوقت المستغرق من لحظة تحديد المنتج، كرقم دفعة المورد مثلاً، حتى ظهور القائمة الكاملة للوحدات النهائية المتأثرة ومواقعها. تُعدّ حالات فشل عمليات التحقق وتكرار المعرّفات من الأسباب الشائعة التي تجعل عملية السحب الوهمية تستغرق أياماً بدلاً من ساعات.

بيانات المعايرة ومعدات الاختبار والموردين قم بربط شهادات المعايرة بمعرفات المعدات التي تحمل رقم تحقق، واحتفظ بنسخة تجزئة لكل ملف شهادة. بالنسبة لشهادات الموردين مثل شهادة المطابقة وشهادة التحليل وتقارير اختبار المواد، اطلب ملفات موقعة أو بيانات منظمة. قارن رقم الدفعة ورقم القطعة تلقائيًا مع أمر الشراء وسجل الاستلام. بالنسبة لملفات CAD الخاصة بالموردين، والبرامج الثابتة، وبرامج الاختبار، تحقق من الملخص مقابل الإرسال قبل أن يستخدم أي شخص الملف.

ميزة إضافية: التحقق من صحة الفحص نفسه

في البيئات الخاضعة للتنظيم، تُعدّ وظيفة التحقق جزءًا من نظام محوسب، وتحتاج إلى التحقق من صحتها وفقًا لمبادئ GAMP 5. يجب تخطيط عمليات التركيب والتشغيل والتأهيل على الأداء (IQ، OQ، PQ) بما يتناسب مع مستوى المخاطر.

يجب أن يتضمن اختبار التحقق التشغيلي (OQ) اختبارات سلبية. قم بتغذية برنامج التحقق ببيانات غير صالحة وأثبت رفضه لها. احتفظ بمتجهات الاختبار في ملف التحقق وأعد تشغيلها بعد أي تغيير في البرنامج أو البرامج الثابتة للقارئ أو قوالب الملصقات.

20. منظور لين 6 سيجما

بوكا يوك وجيدوكا

تتشابه هذه التقنية مع مفهوم التحقق من المجموع الاختباري في عدة جوانب: فقد قام شيجيو شينغو بوضع نظام بوكا يوك، أو منع الأخطاء، أثناء عمله مع شركة تويوتا. وقد فصل بين وظائف التحكم، التي تجعل الخطأ مستحيلاً أو توقف العملية، ووظائف التحذير، التي تُشير إليه فقط. أما نظام جيدوكا، أو الجودة المدمجة، فيضيف خاصية الإيقاف: حيث تتوقف الآلة عند اكتشاف أي خلل.

يُعدّ رمز التحقق الذي يُشير إلى نقطة توقف نهائية في محطة المسح وظيفة تحكم. أما فشل المسح الذي يسمح بمرور الوحدة فهو مجرد تحذير. راجع محطاتك للتأكد من هذا الاختلاف تحديدًا.

تحليل الوضع والتأثير والتأثير

قيّم اكتشاف كل عنصر تحكم بصدق. يحصل الفحص الذي يتضمن نقطة توقف صارمة، والذي تم اختباره بعينات معروفة العطل ويغطي سبب العطل، على تقييم أفضل من الفحص نفسه الذي يمكن للمشغلين تجاوزه. سجّل الأدلة في تحليل أنماط الفشل وتأثيراتها المحتملة (PFMEA).

كما تحثك منهجية تحديد أولويات الإجراءات في AIAG-VDA على تحسين الوقاية أولاً. وتعني الوقاية هنا تصميم العملية بحيث لا يمكن أن تنشأ بيانات خاطئة، على سبيل المثال عن طريق إنشاء المعرفات والتصنيفات من مصدر واحد بدلاً من كتابتها يدويًا.

تطبيق منهجية DMAIC على أخطاء البيانات

The defects per million opportunities follow from the number of defects [latex]D[/latex], the units [latex]N[/latex] and the opportunities per unit [latex]O[/latex]. The sigma level adds the conventional 1.5 sigma shift to the normal quantile.

[latex]\displaystyle \mathrm{DPMO} = \frac{D}{N \times O} \times 10^{6}[/latex]

[latex]\displaystyle \sigma_{\mathrm{level}} = \Phi^{-1}\left(1 – \frac{\mathrm{DPMO}}{10^{6}}\right) + 1.5[/latex]

A worked example with illustrative numbers shows the arithmetic. 36 wrong-label defects in 480,000 labels, counting one opportunity per label, give [latex]\mathrm{DPMO} = 36 / 480000 \times 10^{6} = 75[/latex]. With the conventional 1.5 sigma shift, that is a sigma level of about 5.3. After the improvements, 6 defects in the next 480,000 labels give 12.5 per million and about 5.7 sigma. The figures illustrate the calculation. They are not a benchmark.

مثال على خطة التحكم

ثلاث عائلات من أجهزة بوكا يوك

صنّف شينغو أساليب منع الأخطاء إلى ثلاث مجموعات. ولكل مجموعة منها نظيرٌ في عمليات التحقق الواردة في هذا الدليل:

طريقة الاتصال يكشف عن الشكل أو الحجم أو اللون عن طريق اللمس أو بواسطة مستشعر، مثل مفتاح حد أو جهاز مزود بمفتاح. أما البيانات المقابلة فهي عبارة عن اختبار تنسيق أو رقم تحقق.

طريقة القيمة الثابتة يشير هذا إلى وجود خطأ عند عدم الوصول إلى عدد محدد من الأجزاء أو الحركات، على سبيل المثال، صينية ذات مواضع محددة. ويكون المقابل في البيانات حقل طول أو عدد أجزاء.

طريقة الخطوة الحركية يتحقق من تنفيذ الخطوات بالتسلسل الصحيح، على سبيل المثال، آلية منع تمنع تنفيذ خطوة ما حتى اكتمال الخطوة السابقة. ويُقابل ذلك في البيانات رقم تسلسلي أو مسار عمل من المسح الضوئي إلى الإصدار.

21. الخدمات اللوجستية: كيفية تقليل أخطاء انتقاء المنتجات في المستودعات

تُعد أخطاء الانتقاء من بين أكثر الإخفاقات تكلفةً في مجال الخدمات اللوجستية التي تعتمد على البيانات. كل خطأ منها يُؤدي إلى سلسلة من عمليات الإرجاع وإعادة الشحن والشكاوى.

التحقق من الأخطاء باستخدام المسح الضوئي

1. امسح ملصق الموقع أولاً. يقوم التحقق من صحة الرقم والتنسيق باكتشاف رمز الموقع الخاطئ على الفور، ويؤكد نظام إدارة المستودعات أنه الموقع المتوقع.
2. قم بمسح رمز GTIN الخاص بالصنف أو العلبة. يقوم النظام بمقارنته مع مهمة التجميع ويرفض الصنف الخاطئ قبل إدخال الكمية.
3. تأكد من الكمية عن طريق عدد عمليات المسح الضوئي، أو عن طريق فحص الوزن عندما يكون مسح كل قطعة ضوئيًا أمرًا غير عملي.
4. قم بمسح حاوية الوجهة أو SSCC عند إغلاق الوحدة، وقم بربط المحتويات بها.
5. عند التحميل، قم بمسح رموز SSCCs ضوئياً ومقارنتها بقائمة الشحن.

Quantify accuracy as defects per million lines picked. A line accuracy of 99.9 percent sounds high, yet it equals [latex](1 – 0.999) \times 10^{6} = 1000[/latex] errors per million lines, far from six sigma. State targets in DPMO, so that they connect to your Lean Six Sigma metrics.

22. الخدمة، وخدمات ما بعد البيع، ونهاية العمر الافتراضي

التحديثات عبر الأثير والميدانية

قد تفشل عملية التحديث بثلاث طرق: إما أن يكون ملف النقل تالفًا، أو أن الصورة غير متوافقة مع الجهاز، أو أن الصورة ضارة. لذا، عزز الحماية لمواجهة هذه الأعطال.

• يقوم نظام التحقق من التكرار الدوري (CRC) لكل جزء أو لكل كتلة باكتشاف أخطاء النقل مبكراً.
• يؤكد تجزئة الصورة الكاملة، التي يتم فحصها قبل التثبيت، اكتمالها.
• يؤكد فحص التوقيع مقابل مفتاح عام مخزن في الجهاز صحة المصدر.
• يمنع تطابق مُعرّف المنتج ومعرّف الجهاز تثبيت صورة مخصصة لجهاز آخر.
• يمنع فحص الإصدار مع الحماية من التراجع الرجوع إلى الإصدارات المعرضة للخطر.
• تتيح الأقسام المزدوجة المزودة بتأكيد وقت الإقلاع إمكانية تشغيل الصورة القديمة في حالة فشل الصورة الجديدة.

قطع الغيار والضمان والإرجاع

• تحتوي أرقام قطع الغيار على رقم تحقق، وتقوم نماذج الويب لتسجيل الضمان بالتحقق منه، مما يكشف أخطاء الإدخال من المصدر.
• تربط الأرقام التسلسلية عطلاً ميدانياً بسلسلة الإنتاج، بما في ذلك ملخص البرامج الثابتة المسجل في نهاية الخط.
• تحتاج الخدمات اللوجستية العكسية إلى نفس المعرفات ونفس عمليات التحقق التي تتطلبها الخدمات اللوجستية الأمامية.

23. الفساد العرضي مقابل الفساد المتعمد

يعتمد الفحص الصحيح على من أو ما الذي تسبب في الخطأ. فالضوضاء والتآكل والأخطاء البشرية عشوائية، بينما المهاجم أو المزور ليس كذلك، فهو يختار التعديل الوحيد الذي لا يمكن لفحصك اكتشافه.

تُعدّ هجمات التصادم ذات أهمية بالغة عندما يثق طرفان في ملخص بيانات عبر ملف أعدّه أحدهما. يفشل كل من MD5 وSHA-1 في هذا الاختبار. وللتحقق من صحة الرسائل، يُنصح باستخدام HMAC بدلاً من استخدام تجزئة ذات بادئة سرية، وذلك بسبب زيادة طول البيانات.

24. كيفية اختيار المجموع الاختباري الصحيح

ابدأ بالتهديد، ثم نوع البيانات، ثم القيود. قم بحل الأسئلة بالترتيب وتوقف عند أول آلية مناسبة، ثم أضف الآلية التالية إذا كانت الإجابة على سؤال لاحق هي نعم أيضًا.

1. هل يُمكن لأحدهم تغيير البيانات عمدًا والاستفادة منها؟ إذا كان الجواب نعم، فاستخدم توقيعًا رقميًا أو رمز مصادقة الرسائل (HMAC). احتفظ برمز التحقق من التكرار الدوري (CRC) أو التجزئة فقط للأخطاء العرضية.
2. هل يقوم شخص ما بكتابة القيمة أو قراءتها أو مسحها ضوئياً؟ إذا كانت الإجابة بنعم، فاستخدم رقم تحقق على المعرف، والتحقق من الصحة عند الماسح الضوئي، وعلامات ثنائية الأبعاد مع تصحيح الأخطاء ضد التلف المادي.
3. هل تنتقل البيانات عبر ناقل بيانات أم تُخزّن في ذاكرة صغيرة؟ إذا كانت الإجابة بنعم، فاستخدم رمز التحقق الدوري (CRC) مع دالة متعددة الحدود مُختارة بناءً على طول الرسالة ومسافة هامينغ المطلوبة. أضف رمز التحقق الدوري (CRC) من البداية إلى النهاية للمعاملات الحرجة.
4. هل يجب أن يكون الملف أو السجل مطابقًا تمامًا للمرجع؟ إذا كانت الإجابة بنعم، فاستخدم خوارزمية SHA-256 للمقارنة. يكفي استخدام دالة تجزئة سريعة غير مشفرة للمقارنات غير الحرجة.
5. هل يجب أن تبقى البيانات سليمة بعد التلف دون إعادة المحاولة؟ إذا كانت الإجابة بنعم، فأضف رمزًا لتصحيح الأخطاء.
6. هل البيانات جزء من سجل منظم؟ إذا كانت الإجابة بنعم، فأضف سجل تدقيق، وتحقق، وتبرير موثق للطريقة المختارة.

25. دليل التنفيذ

ثلاث قواعد تُجنّبك معظم المشاكل. استخدم مكتبة مُختَبَرة أو تطبيقًا مشتركًا واحدًا. ثبّت كل مُعامل في وثيقة مُتحكَّم بها. اختبر باستخدام المتجهات المنشورة قبل التشغيل الإنتاجي الأول. يحتوي الملحق (ب) على المتجهات المُستخدمة أدناه.

def gs1_check_digit(body: str) -> int:
    if not body.isdigit():
        raise ValueError('digits only')
    total = sum(int(d) * (3 if i % 2 == 0 else 1)
                for i, d in enumerate(reversed(body)))
    return (10 - total % 10) % 10

def gs1_is_valid(full: str) -> bool:
    return (full.isdigit() and len(full) > 1
            and gs1_check_digit(full[:-1]) == int(full[-1]))

assert gs1_check_digit('400638133393') == 1
assert gs1_check_digit('34012345000000001') == 7
assert gs1_is_valid('4006381333931')

=MOD(10-MOD(SUMPRODUCT(--MID(A1,{1,3,5,7,9,11},1))+3*SUMPRODUCT(--MID(A1,{2,4,6,8,10,12},1)),10),10)

WITH RECURSIVE d(i, n) AS ( SELECT 1, LENGTH('400638133393') UNION ALL SELECT i + 1, n FROM d WHERE i < n ) SELECT (10 - (SUM(CAST(SUBSTR('400638133393', i, 1) AS INTEGER) * CASE WHEN (n - i) % 2 = 0 THEN 3 ELSE 1 END) % 10)) % 10 AS check_digit FROM d;

الدالة GS1_CheckDigit: عدد صحيح، المتغير sBody: سلسلة نصية (17)؛ نهاية المتغير، المتغيرات i، n، iSum: عدد صحيح؛ نهاية المتغير، n := طول(sBody)؛ iSum := 0؛ من أجل i := 1 إلى n، إذا كان ((n - i) باقي قسمة 2) = 0، فإن iSum := iSum + 3 * تحويل السلسلة النصية إلى عدد صحيح (MID(sBody, 1, i))؛ وإلا فإن iSum := iSum + تحويل السلسلة النصية إلى عدد صحيح (MID(sBody, 1, i))؛ نهاية الشرط، نهاية الحلقة، GS1_CheckDigit := (10 - (iSum باقي قسمة 10)) باقي قسمة 10؛

uint32_t crc32_update(uint32_t crc, const uint8_t *data, size_t len) { while (len--) { crc ^= *data++; for (int bit = 0; bit > 1) ^ (0xEDB88320u & (0u - (crc & 1u))); } } return crc; } /* ابدأ بـ 0xFFFFFFFF، وقم بتغذية كل جزء، وانتهِ بعملية XOR نهائية: crc = 0xFFFFFFFFu; crc = crc32_update(crc, buffer, length); crc ^= 0xFFFFFFFFu; نتيجة سلسلة ASCII 123456789 هي 0xCBF43926. */

import hashlib

def crc16_modbus(data: bytes) -> int:
    crc = 0xFFFF
    for byte in data:
        crc ^= byte
        for _ in range(8):
            crc = (crc >> 1) ^ 0xA001 if crc & 1 else crc >> 1
    return crc

frame = bytes([0x01, 0x03, 0x00, 0x00, 0x00, 0x0A])
crc = crc16_modbus(frame)
wire = frame + bytes([crc & 0xFF, crc >> 8])   # low byte first

def sha256_file(path, chunk=1024 * 1024):
    h = hashlib.sha256()
    with open(path, 'rb') as f:
        for block in iter(lambda: f.read(chunk), b''):
            h.update(block)
    return h.hexdigest()

عيوب في تطبيقات التحقق من المجموع الاختباري

26. قائمة أفضل الممارسات حسب الدور

البحث والتطوير والتصميم حدد رقم التحقق وتنسيقًا ثابتًا في كل مخطط تعريف، بدءًا من المسودة الأولى لمفهوم الترقيم. قم بتزويد صور البرامج الثابتة برأس يحتوي على رقم سحري، وإصدار، وطول، ورمز التحقق من التكرار الدوري (CRC)، وتوقيع، وحدد السلوك عند الفشل. توثيق معلمات CRC والسبب وراء استخدام متعدد الحدود في مواصفات الواجهة. قم بتخزين تجزئات الحزم المُصدرة في سجل الإصدار وفي عمليات إرسال الموردين. قم بتضمين تغطية تشخيصية لفحوصات الذاكرة والاتصالات في تحليل السلامة.	تصنيع قم بتشغيل محطات المسح الضوئي والوميض كبوابات ذات نقاط توقف صارمة، وسجل كل عملية تجاوز. تحقق من البرامج الثابتة عن طريق القراءة أو عن طريق ملخص تم الإبلاغ عنه من قبل الجهاز، وسجل النتيجة لكل رقم تسلسلي. قارن الوصفات النشطة مع الهاش الذهبي في بداية كل دفعة. قم بتحدي كل فحص بعينة معروفة بأنها سيئة في كل وردية عمل. حافظ على معايرة أجهزة التحقق والمسح الضوئي وصيانتها.
	جودة قم بتقييم اكتشاف FMEA من خلال الأدلة، مثل نتائج اختبارات التحدي وسجلات التجاوز. تحقق من صحة عمليات التحقق، واحتفظ بمتجهات الاختبار في ملف التحقق. قم بإجراء عمليات استدعاء وهمية وتتبع الوقت اللازم للوصول إلى قائمة الوحدات المتأثرة. معدلات فشل مسح المخططات ودرجات التحقق، واتخاذ الإجراءات بناءً على الاتجاهات. مطابقة شهادات الموردين تلقائياً مع بيانات أوامر الشراء والاستلام.
الخدمات اللوجستية قم بالمسح الضوئي لتأكيد الموقع والمنتج والحاوية في كل عملية التقاط. التحقق من صحة المعرفات والرسائل عند الاستلام، وتتبع معدل الرفض لكل شريك تجاري. قم بتخصيص رموز SSCC مركزياً وفرض التفرد. تحقق من الملصقات عند نقطة وضع الملصقات واستخدم الرموز ثنائية الأبعاد لسلاسل التوريد الطويلة أو الوعرة. أهداف التعبير عن العيوب لكل مليون سطر.	تكنولوجيا المعلومات والتشغيل قم بتوفير مكتبة أو خدمة مشتركة واحدة لأرقام التحقق، ورموز التحقق من التكرار الدوري (CRC)، والتجزئات، مع متجهات اختبار منشورة. قم بتوقيع البرامج الثابتة والإصدارات، واحتفظ بالمفاتيح الخاصة في وحدة أمان الأجهزة، وخطط للتناوب والإلغاء. قم بمزامنة الساعات واحتفظ بالسجلات في مخازن الإلحاق فقط أو سلاسل التجزئة مع التثبيت الخارجي. قم بتخزين المعرفات كسلاسل نصية في كل نظام يتعامل معها. مرونة خوارزمية التخطيط، لأن خوارزمية SHA-1 يتم إيقافها وستظهر التوقيعات ما بعد الكمومية.

خلاصة حول المجاميع الاختبارية وما شابهها

تُعدّ رموز التحقق صغيرة وقديمة ومفهومة جيداً. وتكمن قيمتها في العمل على المنتجات المادية في وضع الرمز الصحيح في النقطة الصحيحة من دورة الحياة، وفي التعامل مع عملية التحقق كعملية مضبوطة مدعومة بالأدلة.

استخدم أرقام التحقق عند التعامل مع المعرّفات من قِبل الأشخاص والماسحات الضوئية. استخدم رموز التحقق الدورية (CRC) للإطارات والكتل والصور، مع دالة متعددة الحدود تتناسب مع طول الرسالة. استخدم خوارزمية SHA-256 للملفات والسجلات، والتوقيعات أو الرموز المشفرة حيثما يُحتمل حدوث تغيير مُتعمّد. أضف خاصية تصحيح الأخطاء عند تلف العلامات والذاكرات.

ثم اختتم العملية بالأدلة. تحدَّى صحة عمليات التحقق، وعاير المدققين، وسجل النتائج، وراجع الأرقام. إن أي عملية تحقق لا تخضع للاختبار هي مجرد افتراض.

التعليمات

الملاحق

الملحق أ: متجهات الاختبار

تم حساب جميع القيم أو تأكيدها باستخدام الكود الموضح في الفصل 25 أو باستخدام أدوات مرجعية. جميع سلاسل الإدخال مُقدمة كنص ASCII.

الملحق ب: المعايير والمراجع

المصادر الإلكترونية المستخدمة في هذه المقالة، تم التحقق منها في نوفمبر 2026:

• المواصفات العامة GS1 و ال دليل GS1 UK لحساب رقم التحقق
• 49 CFR 565.15، متطلبات محتوى رقم تعريف المركبة (VIN)
• ISO/IEC 15416:2025 و ISO/IEC 15415:2024، تقييم جودة طباعة الرموز الخطية وثنائية الأبعاد
• CAN في الأتمتة، CRC في إطارات CAN
• كوبمان، رموز التكرار الدوري 32 بت لتطبيقات الإنترنت
• كتالوج انتقام CRC
• المعهد الوطني للمعايير والتكنولوجيا (NIST)، إيقاف استخدام خوارزمية SHA-1
• ماثيسون، التزامات الإبلاغ بموجب قانون المرونة السيبرانية
• المفوضية الأوروبية، والبطاريات، وجواز سفر البطاريات و إعلان تسجيل جواز سفر المنتجات الرقمية
• إعفاءات إدارة الغذاء والدواء الأمريكية وقانون أمن سلسلة التوريد للأدوية للموزعين الصغار و بوكانان، تمديد حتى عام 2027

المعايير والمنشورات المذكورة بالاسم، والمتوفرة من الجهات المصدرة:

• RFC 1071 (مجموع التحقق من الإنترنت)، RFC 2104 (HMAC)، RFC 3161 (بروتوكول الطابع الزمني)
• FIPS 180-4 (SHA-1 و SHA-2)، FIPS 202 (SHA-3)، NIST SP 800-38B (CMAC)
• ISO/IEC 7064 (أنظمة التحقق من الأحرف)، ISO 6346 (رموز الحاويات)، ISO/IEC 29158 (جودة علامة الجزء المباشر)
• ISO 9001، IATF 16949، AS9100، ISO 13485، ISO 26262، IEC 61508، IEC 62304، IEC 62443
• دليل تحليل أنماط الفشل وتأثيراتها (FMEA) الصادر عن جمعية المهندسين المعماريين الأمريكيين (AIAG) وجمعية المهندسين الفيكتوريين (VDA)، الطبعة الأولى، 2019
• 21 CFR الجزء 11، ملحق GMP للاتحاد الأوروبي 11، GAMP 5
• ماكسينو وكوبمان، فعالية مجاميع التحقق لشبكات التحكم المدمجة، معاملات IEEE في الحوسبة الموثوقة والآمنة، 2009
• اللائحة (الاتحاد الأوروبي) 2024/2847 (قانون المرونة السيبرانية)، واللائحة (الاتحاد الأوروبي) 2024/1781 (التصميم البيئي للمنتجات المستدامة)، واللائحة (الاتحاد الأوروبي) 2023/1542 (البطاريات)، والتوجيه (الاتحاد الأوروبي) 2022/2555 (NIS2)