توضیحات
تحقیق طرز کار با جعبه ابزار CADP و کاربرد آن
- مقدمه
در میان تمام مسائل علمی مربوط به ارزیابی قابلیت اطمینان سیستمهای کامپیوتری، مساله همزمانی دارای یک جایگاه بزرگ به دلیل ساختار طراحی سیستمهای موازی پیچیده میباشد. با توجه به گذشت بیش از سیسال از ساخت ابزارهای خودکار برای سیستمهای همزمان، همچنان این سیستمها در روند تجزیه و تحلیل دچار مشکل میباشند که پیچیدگی ساختاری این سیستمها این مشکل را افزایش داده است. روشهای خودکار برای اثبات صحت سیستم با توجه به خصوصیات آن سیستم به کار میروند و کمک شایانی در بهبود و توسعه سیستمها ایفا میکنند. جعبهابزار [1]CADP یک جعبه ابزار ساده برای تجزیه و تحلیل فرآیندهای توزیع شده میباشد که این نرمافزار جامعی است که برای تئوری نتایج همزمانی پیاده سازی شده است. این جعبهابزار در سال 1980 میلادی شروع به کار کرده است و به طور مداوم با بروزرسانی و اضافه کردن ابزارهای جدید در حال توسعه میباشد که بررسی این تحقیق در موردِ CADP ورژن 2011 است. امروزه با رشد و توسعه استفاده از نرمافزارها در تمام جوانب زندگی، استفاده از CADP در هر دو جنبه زندگی در سراسر جهان یعنی دانشگاه و صنعت کاربرد دارد[1].
- جعبهابزارِ CADP
جعبهابزارِCADP، در واقع از هر دو زبانهای سطح بالا با یک معناشناسی رسمی و زبانهای سطح پایین تر (برای برقراری ارتباط اتوماتیک شبکهای)؛ همچنین اتصالات از زبان رسمی و نیمه رسمی را پوشش میدهد که یک وسیله برای محاسبه تابع گذر میباشد[2].
جعبهابزارِCADP، با معماری نرمافزار اصلی طراحی شده که برای چک کردن مدل مجهز به ابزارهای ویژه تجزیه و تحلیل است. در واقع جعبهابزارِ CADP از دیدگاه عملکردی یک ترکیب منحصر بفردی از ویژگیهای خود ارائه میدهد که در حال حاضر جعبهابزارهای مشابه اینچنین نیستند. از جمله معیارهای ضروری در تجزیه و تحلیل با جعبهابزارِ CADPمیتوان به موارد زیر اشاره کرد[2]:
- آیا ابزار پشتیبانی در جهت چک کردن مدل و تایید استانداردِ سخت افزار، نقش حیاتی برای سیستمهای مبتنی بر مولفه بازی میکند؟
- آیا ابزارِتایید صحت پشتیبانی توزیع شده میتواند به عنوان یک ماشین در نظر گرفته شود؟(مثلا آن را با استفاده از قدرتِمحاسبانی و یک خوشه از ماشین در نظر گرفت)
- آیا زبان مدلسازی از ابزار پشیتبانی همزمانی، در مفهوم سیستمهای موازی ناهمزمان استفاده میکند؟
- آیا زبان تعریف شده مدلسازی پشتیبانی توسط کاربر به عنوان انواع داده مورد استفاده قرار میگیرد؟
یکی دیگر از ویژگیهای متمایز از جعبه ابزارِCADP، گنجاندنِ ابزار ارزیابی عملکرد علاوه بر ابزارِ امنیتی کاربردی در آن است.
[1]. Construction and Analysis of Distributed Processes
فهرست مطالب تحقیق طرز کار با جعبه ابزار CADP و کاربرد آن
- مقدمه
- جعبهابزارِ CADP
- زبانهای پشتیبانی شده با CADP
- ابزارِ چک کردنِ دیداری با CADP
- ابزارِ چک کردنِ مدل CADP
- روشهای سیستمهای موازی و توزیع شده با CADP
- اجزایِ جعبه ابزارِ CADP
- یک نمونه پیادهسازی جعبه ابزارِ CADP
- نتیجه گیری
- منابع
منابع تحقیق طرز کار با جعبه ابزار CADP و کاربرد آن
[1]. Etienne Lantreibecq, Wendelin Serweb, Wendelin Serwe,” Formal analysis of a hardware dynamic task dispatcher withCADP”, Science of Computer Programming, SPRINGER, 2014. [2]. Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe,” CADP 2011: a toolbox for the construction and analysis of distributed processes”, Int J Softw Tools Technol Transfer, SPRINGER, 2012. [3].” Model checking”, https://en.wikipedia.org/wiki/Model_checking, 2014. [4]. ” CADP Tools Overview”, http://cadp.inria.fr/tools.html#section-5, 2015. [5]. Radu Mateescu, Wendelin Serwe,” Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols”, Science of Computer Programming, ELSIVIER, 2013. [6]. Garavel, H., Mateescu, R., Smarandache, I.: “Parallel state space construction for model-checking”, In: Proceedings of the 8th International SPIN Workshop on Model Checking of SoftwareSPIN’2001 (Toronto, Canada). Lecture Notes in Computer Science, Springer, 2001. [7]. Garavel, H., Salaün, G., Serwe,W,”On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP”, Sci. Comput. Program, 2009.توجه:
تحقیق طرز کار با جعبه ابزار CADP و کاربرد آن شامل یک فایل ورد 12 صفحه ای می باشد.
لینک دانلود فایل بلافاصله پس از خرید بصورت اتوماتیک برای شما ایمیل می گردد.
به منظور سفارش تحقیق مرتبط با رشته تخصصی خود بر روی کلید زیر کلیک نمایید.
سفارش تحقیق
دیدگاهها
هیچ دیدگاهی برای این محصول نوشته نشده است.