978-620-0-78056-0

مكاملة لغة توصيف العتاد BHDL ضمن بيئة Eclipse

تطويرلغة توصيف العتاد BHDL باتجاه EVENT-B

Regular price
€48,90
Sale price
€48,90
Regular price
Sold out
Unit price
per 
Shipping calculated at checkout.

Summary:

في السنوات الماضية بدأ استخدام لغات برمجية لتوصيف المراحل المختلفة من تصميم العتاد, أطلق عليها لغات التوصيف العتادي. مع استخدام الأنظمة التقنية في مختلف مناحي الحياة بدأت تنتشر التصاميم الهجينة بشكل متسارع. ظهرت الطريقة B التي تستخدم لإنتاج برمجيات صحيحة تصميميا , ومن هنا جاءت فكرة بحثنا لتوظيف الطريقة B من أجل تطوير الطرق المستخدمة في إثبات صحة تصميم النظم الهجينة.فكرة BHDL الأساسية هي إسقاط برامج تصميم العتاد الى الطريقة B وبالتالي تصبح أرضية صالحة للبرهنة على صحة التصاميم الهجينة. هكذا, يمكن أن ينمذج الجزء العتادي من التصميم بلغة توصيف عتادية ومن ثم يترجم إلى الطريقة B.علاوة على ذلك, يمكن أن ينمذج الجزء البرمجي من التصميم مباشرة بالطريقة B.باستخدام أدوات الطريقة B, يمكن أن يحلل الكود الناتج لاكتشاف عدم التماسك ويمكن البرهنة على صحة التصميم باستخدام لغة واحدة لكل من التصميمين البرمجي والعتادي في النظام الهجين.وبالاستفادة من مفهوم الأحداث في Event-B التي هي تطوير للطريقة B, فإنه من الممكن اضافة الخصائص الزمنية للغات توصيف العتاد. وبعد توليد النموذج Event-B المقابل للنموذج HDL فإن الشيفرة الناتجة يتم تحليلها باستخدام أدوات Event-B, من أجل اثبات الخصائص الأولية. هذه التقنية تنتج مكونات صحيحة بنائياً.

Author:

رؤوف ياسين

Biographie:

ماجستير في هندسة البرمجيات عام 2014. اجازة في هندسة الحواسيب, من كلية الهندسة الكهربائية والإلكترونية, جامعة حلب, عام 2009. مساعد مجاز في الهندسة المعلوماتية من معهد هندسة الكمبيوتر بجامعة حلب عام 2005. مساعد مدرس في قسم نظم المعلومات في كلية الاقتصاد بجامعة حلب منذ عام  2010 حتى 2015

Number of Pages:

216

Book language:

Arabic

Published On:

2020-07-23

ISBN:

978-620-0-78056-0

Publishing House:

Noor Publishing

Keywords:

VHDL, BHDL, EVENT-B, ECLiPSE, B-METHOD

Product category:

MATHEMATICS / Geometry / General