عنوان پایان‌نامه
اعتبارسنجی مدل های شبیه سازی با استفاده از روشهای آزمون
- رشته تحصیلی
- مهندسی کامپیوتر -نرم افزار
- مقطع تحصیلی
- کارشناسی ارشد
- محل دفاع
- کتابخانه دانشکده برق و کامپیوتر شماره ثبت: E2059;کتابخانه مرکزی -تالار اطلاع رسانی شماره ثبت: 53572
- تاریخ دفاع
- ۰۷ تیر ۱۳۹۱
- دانشجو
- عباس محمودی مرکید
- استاد راهنما
- رامتین خسروی
- چکیده
- اعتبارسنجی مدل‌ها به این نکته می‌پردازد که مدل سیستم واقعی تا چه میزان سیستم و یا معادل ذهنی آن را به نحو مناسبی نمایش می‌دهد. چارچوب مدل‌سازی اکلیپس یکی از ابزارهایی است که براساس فرامدل‌ها پایه‌گذاری شده است و امکانات مناسبی برای طراحی و تولید فرامدل‌ها، مدل‌ها و کدهای پیاده‌سازی شده در اختیار توسعه‌دهندگان قرار می‌دهد. در این پژوهش فرامدلی عمومی و خاص-دامنه برای صورت‌بندی DEVS طراحی و تهیه گردید تا با هدف و رویکرد اعتبارسنجی مدل‌ها مورد استفاده قرار گیرد. با توصیف این فرامدل با استفاده از چارچوب مدل‌سازی اکلیپس می‌توان از امکانات فرآهم‌شده در این چارچوب از قبیل بررسی‌کردن خودکار قید‌های عمومی یا خاص-دامنه برای مدل‌ها و همچنین تولید خودکار کدهای اجرایی برای مدل‌ها با توجه به فرامدل آن‌ها استفاده کرد. با استفاده از این فرامدل‌ها توصیف‌های ورودی و خروجی برای مدل‌های اتمی و مرکب DEVS و اتصالات مدل‌های مرکب را می‌توان مورد اعتبارسنجی قرار داد. پشتیبانی مناسب EMF از زبان توصیف قیود اشیاء امکان تعریف و اعتبارسنجی ورودی‌ها، خروجی‌ها و اتصالات فرامدل‌های DEVS را با استفاده از قیود عمومی و قیود تعریف‌شده توسط کاربر فرآهم می‌آورد. نمونه‌ی اولیه‌ای از EMF-DEVS پیاده‌سازی شده و مثالی از مدل‌های DEVS سلسله‌مراتبی ارائه شده است. از جمله کارهایی که در آینده می‌توان پیگیری کرد بسط‌دادن فرامدل‌ها برای در نظر گرفتن رفتارهای توابع و در نتیجه پشتیبانی از اعتبارسنجی تمامی اجزای مربوط به مدل‌های DEVS است.
- Abstract
- Model validation is concerned with showing a system’s model appropriately represents its real world or imagined counterpart. Model abstractions including meta-models are integral in developing valid model. This thesis describes a metal-modeling approach grounded in the Eclipse Modeling Framework (EMF) and the Discrete-Event System Specification (DEVS) modeling formalism. Implementation of the EMF in Eclipse offers artifacts that can be used to create DEVS meta-models. These model abstractions called EMF-DEVS can be validated with the aid of the Eclipse platform. In this work meta-models for atomic and coupled models are developed. Input and output specifications for atomic and coupled DEVS models as well as the coupled model couplings may be validated. The EMF platform OCL facility is used to define and validate inputs, outputs, and couplings of DEVS meta-models using generic and user-defined constraints. A prototype implementation for EMF-DEVS modeling is implemented and used to develop and validate a basic example hierarchical DEVS models. A future research interest is to extend the meta-models to include functional behaviors and thus support validation for all elements of the atomic and coupled DEVS models.
