وباعتبارها أحد الشركاء، ستستخدم شركة IAI أدوات ترقية البرامج للطائرات بدون طيار
سيقود مختبر أبحاث IBM في حيفا مشروعًا جديدًا مدته ثلاث سنوات في إطار المجموعة الأوروبية، والذي يجمع بين الهيئات الصناعية والمؤسسات الأكاديمية، بهدف تعزيز التقنيات الجديدة لترقية أنظمة البرمجيات، والتي ستمكن من تحديد الأخطاء ومنعها في عمليات التحديث - حتى قبل أن تتسبب الأخطاء في فشل أو تعقيدات.
ويتوقع اتحاد البحث والتطوير الذي تم إنشاؤه لهذا الغرض أنه سيكون من الممكن ضمان تخفيض بنسبة 70٪ في كمية الأعطال الوظيفية الناتجة عن أخطاء البرمجة في برمجيات البنية التحتية، بالإضافة إلى تخفيض كبير في الوقت اللازم للتحقق وتأكيد التوافق من تغيير واحد أو ترقية.
ستستخدم شركة الصناعات الجوية الإسرائيلية، الشريكة في المشروع، نتائج التطوير لضمان موثوقية عمليات تحديث البرامج في الأنظمة المدمجة بالكمبيوتر وخاصة في الكاميرات الكهروضوئية المثبتة في الطائرات بدون طيار التي تنتجها، والتي تعمل في العديد من الإصدارات حولها العالم. يمكن استخدام الأنظمة في العديد من المهام مثل، على سبيل المثال، اكتشاف حرائق الغابات، والتنبؤ بالطقس على مدارج الطائرات، وتحديد أماكن الأشخاص المفقودين، وما إلى ذلك.
وقال الدكتور مايكل وينوكور، رئيس إدارة الهندسة والتطوير في المقر الرئيسي لصناعة الطيران أن "التكنولوجيا الجديدة ستجعل من الممكن تقصير العمليات وبفضل هذا يمكن تنفيذ النشاط الذي يستمر الآن لعدة أيام بأقصى قدر من الكفاءة و الموثوقية خلال ساعات."
مثل أجهزة الكمبيوتر الشخصية، تتطلب أنظمة الكمبيوتر المعقدة التي تدير شبكات الكهرباء أو محطات الطاقة النووية أو أنظمة النقل أو خطوط أنابيب المياه الوطنية والبلدية تحديثات البرامج من وقت لآخر. ومع ذلك، على عكس أجهزة الكمبيوتر الشخصية التي تخدم مستخدمًا واحدًا، فإن نتائج التعطيل أثناء هذا التحديث يمكن أن يكون لها تأثير واسع النطاق - وسعر مرتفع جدًا.
تم تسمية المشروع الجديد باسم "Pinchette" - وذلك بفضل القدرة المتوقعة منه على الترويج لأصغر الأخطاء في الشبكات الكبيرة بشكل خاص وتحديد موقعها والقضاء عليها مسبقًا. وذلك من خلال الأتمتة الكاملة للمهام المعقدة في مجال تحليل واختبار الأنظمة البرمجية.
وفقًا للتقديرات المقبولة، فإن إجمالي تكاليف التحقق من البرمجيات الجديدة واختبارها تبلغ 40-70% من تكلفة النظام طوال دورة حياته.
يضم اتحاد البحث والتطوير الذي سيقوده مختبر أبحاث IBM في حيفا صناعة الطيران الإسرائيلية، وجامعة أكسفورد، وجامعة USI من سويسرا، وجامعة UniMiB من إيطاليا، ومعهد VTT التكنولوجي من فنلندا، الذي يقوم بتطوير برمجيات لمحطات الطاقة المستقبلية التي وسيعتمد المشروع على الاستفادة من طاقة الاندماج النووي، والفروع السويسرية والألمانية لشركة ABB، التي تطور برمجيات لإدارة شبكات الطاقة في أجزاء كبيرة من أوروبا.
وقال الدكتور حنا زوكلر، الباحث في مختبر أبحاث IBM في حيفا ومنسق مشروع Tweezer، "نحن نعلم أن ترقية نظام التشغيل - سواء للصيانة أو تحديث البرمجيات أو الامتثال للمتطلبات التشريعية الجديدة - قد يستغرق عدة أيام، قبل أن تعود كافة التطبيقات إلى التشغيل الكامل. سوف يبشر البحث المشترك بعصر جديد حيث سيتمكن مصممو الأنظمة والمطورون والمستخدمون من منع حالات الفشل المحتملة حتى قبل حدوثها فعليًا.
سيقدم مشروع Tweezers إمكانات جديدة في مجال الهندسة وإدارة الأنظمة إلى عالم الأنظمة المتصلة بالشبكات، والتي تتطلب مستويات عالية للغاية من الموثوقية. سيقوم المشروع بتطوير التكنولوجيا التي تمكن من تحديث البنية التحتية بشكل آمن، من خلال ضمان الأداء الصحيح لجميع المكونات والأنظمة. ونتيجة لذلك، سيكون من الممكن إجراء التحديثات بتنسيق أكثر أمانًا، بناءً على الشهادات الصادرة لكل نظام أو تطبيق يلبي المعايير المطلوبة - مع اختصار عمليات التطوير وإدخال ترقيات البرامج إلى السوق.
ستسمح الملاقط للمطورين ومختبري البرامج بإجراء تغييرات على التطبيقات واختبارها بسهولة، وتشخيص الأخطاء والتعامل معها لحظة حدوثها، باستخدام تقنيات هندسية جديدة تجمع بين التحليل الثابت والديناميكي. ومن المتوقع أن يؤدي المشروع إلى ابتكارات نظرية وأن يولد أدوات تطبيقية ستمكن من التنبؤ بتفعيل التغييرات والتحديثات على الأنظمة المتصلة بالشبكة. سيتم التركيز بشكل خاص على ضمان توافق الإصدارات المختلفة من نفس البرنامج العامل على الشبكة، نظرًا لأن عمليات الترقية تتم عادةً على مراحل - وبالتالي يجب أن تستمر عقد المعالجة والأنظمة المختلفة في العمل حتى بعد انتهاء بعض الأنظمة ذات الصلة. تمت ترقيته.
على الرغم من وجود تقنيات التحقق من التصميم والبرمجة، والتي تضمن أن البرامج الجديدة ستعمل كما هو مخطط لها، لا توجد حاليًا تكنولوجيا مكيفة للتعامل مع ترقيات النظام. يعد حل المصادقة لترقية الأنظمة أمرًا مطلوبًا بشكل خاص نظرًا لأن دورة حياة المنتجات تقصر وتزداد تعقيداتها. التقدم الرئيسي الذي يسعى مشروع Tweezers إلى تحقيقه سيعتمد على مزيج من تقنيات الاختبار وتقنيات التصوير (المحاكاة) وطرق التحقق الرسمية من عالم الرياضيات: دليل رياضي على أن النظام سوف يتصرف بالفعل كما هو مخطط له، حتى ضمن نطاق واسع. - وربما لا حصر له - نطاق ظروف التشغيل.
