Modelling hardware verification concerns specified in the e language: an experience report

تاریخ: ۲۰۰۹

پایگاه: ACM

لینک دانلود اصل مقاله

نام مجله: In Proceedings of the 8th ACM international conference on Aspect-oriented software development

قیمت: ۱۵۰,۰۰۰ ریال

تعداد صفحات انگلیسی: ۶

تعداد صفحات فارسی: ۱۵

کد: ۵۵۰۴۱

چکیده فارسی

زبان الکترونیک (زبان برنامه نویسی e) به عنوان زبان اثبات شده سخت‌افزاری می‌باشد که به صورت گسترده‌ای برای مشخص کردن طرح‌های جریانات الکترونیکی از طریق توسعه و اجرای برنامه، مورد استفاده قرار می‌گیرد. در سال‌های اخیر، رشد مستمر این تست‌ها در فناوری اطلاعات باعث ایجاد مشکلاتی در درک، حفظ و گسترش آن‌ها شده است. در نتیجه تصمیماتی برای مستند ساختن این تست‌ها در سطح بالاتر گرفته شده است. بر این اساس، تلاشی را به منظور ایجاد تطبیق با رویکردهای مدل‌سازی جنبه‌گرا کنونی، انجام می‌دهیم. در این مقاله، تجارب خود را در ارتباط با کاربرد این درون مایه/ زبان‌های برنامه‌نویسی یکپارچه که به عنوان یک رویکرد جنبه‌گرا می‌باشد، در ارائه تست‌های جنبه‌گرا که در زبان برنامه‌نویسی e، مد نظر قرار می‌دهیم. مشخص شده است که مفاهیم جنبه‌گرا که توسط موضوعات/زبان‌های برنامه‌نویسی یکپارچه مورد حمایت قرار می‌گیرند، برای به ارائه زبان برنامه‌نویسی e به دلیل پویا بودن این زبان و ماهیت زمانی آن، مناسب نمی‌باشند. بر مبنای چنین تجربیاتی، ما مجموعه‌ای از شرایطی را مطرح می‌کنیم که می‌بایست قبل از رویکردهای طراحی جنبه‌گرا همانند موضوعات و زبان‌های برنامه‌نویسی یکپارچه که دارای قابلیت عرضه سیستم‌های جنبه گرا در زبان e می‌باشند، مد نظر قرار می‌دهیم.

چکیده انگلیسی

e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In recent years, the continued growth of the testbenches developed at Infineon Technologies has resulted in their becoming difficult to understand, maintain and extend. Consequently, a decision was taken to document the testbenches at a higher level of abstraction. Accordingly, we attempted to model our legacy test suites with an existing aspect-oriented modelling approach. In this paper we describe our experience of applying Theme/UML, an aspect-oriented modelling approach, to the representation of aspect-oriented testbenches implemented in e. It emerged that the common aspect-oriented concepts supported by Theme/UML were not sufficient to adequately represent the e language, primarily due to e’s dynamic, temporal nature. Based on this experience we propose a number of requirements that must be addressed before aspect-oriented modelling approaches such as Theme/UML are capable of representing aspect-oriented systems implemented in e

مشخصات استنادی

Galpin, D., Driver, C., & Clarke, S. (2009, March). Modelling hardware verification concerns specified in the e language: an experience report. In Proceedings of the 8th ACM international conference on Aspect-oriented software development (pp. 207-212). ACM

دانلود اصل مقاله

ویژگی‌های مقاله مسائل مرتبط به مدل سازی تایید سخت افزاری در زبان برنامه نویسی الکترونیک

مقاله “مسائل مرتبط به مدل سازی تایید سخت افزاری در زبان برنامه نویسی الکترونیک” در سال ۲۰۱۲ در مجله In Proceedings of the 8th ACM international conference on Aspect-oriented software development چاپ شده و در پایگاه اطلاعاتی ACM نمایه شده است. این مقاله به بررسی زبان الکترونیک (زبان برنامه نویسی e)، رویکردهای مدل‌سازی جنبه‌گرا، زبان‌های برنامه‌نویسی یکپارچه و توسعه آن‌ها پرداخته است. همچنین براساس اطلاعات پایگاه اطلاعاتی گوگل اسکولار این مقاله ۵ بار مورد استناد قرار گرفته است.