عنوان

توصیف و درستی‌یابی سیستم‌های مبتنی بر مولفه‌ی بلادرنگ در سطح تراکنش

شماره

‭۱۲۷۰۲پ‬

زبان متن نوشتاري يا گفتاري و مانند آن

per

عنوان اصلي

توصیف و درستی‌یابی سیستم‌های مبتنی بر مولفه‌ی بلادرنگ در سطح تراکنش

نام نخستين پديدآور

/داود مصطفوی امجد

نام ناشر، پخش کننده و غيره

: دانشکده مهندسی برق و کامپیوتر

نام خاص و کميت اثر

‮‭۱۰۵‬ص‬

متن يادداشت

چاپی

جزئيات پايان نامه و نوع درجه آن

کارشناسی ارشد

نظم درجات

در رشته مهندسی کامپیوتر گرایش نرم‌افزار

زمان اعطا مدرک

‮‭۱۳۹۲/۱۱/۲۰‬

کسي که مدرک را اعطا کرده

دانشگاه تبریز

متن يادداشت

امروزه ضرورت مدل‌سازی و درستی‌یابی سیستم‌ها امری بدیهی است .سیستم‌ها روزبه‌روز پیچیده‌تر می‌شوند و هزینه‌ی ساخت آن‌ها بالاتر می‌رود لذا می‌بایست روشی اتخاذ کرد که بتوان سیستم‌های موردنظر را به‌صورت نرم‌افزاری قبل از پیاده‌سازی سیستم اصلی تعریف و یا مدل کرده و از عملکرد صحیح آن اطمینان حاصل کرد .لذا در این راستا روش‌های مختلفی ارائه شده است که مهندسی براساس مدل یکی از این روش‌ها می‌باشد .در طی پروسه‌ی تحلیل سیستم موردنظر محققان به این نتیجه رسیدند که درصورت افزایش پیچیدگی و یا افزایش تعداد حالت‌های سیستم که از آن به عنوان تصویر موقت از حالت سیستم یاد می‌شود نمی‌توان سیستم را به‌درستی مدل کرده و تمام حالات آن را درنظر گرفت .لذا روش‌هایی برای جداسازی بخش‌های مختلف سیستم و ارتباط آن‌ها با هم‌دیگر ابداع شده که بتوان سیستم پیچیده را به مولفه‌های کوچکتر و ساده‌تر که قابل درک هستند تقسیم کرد و پس از ساخت این مولفه‌ها، آن‌ها را به هم‌دیگر متصل کرد .در این راستا روش‌های مختلفی ارائه شده است ولی چند مشکل اساسی در این روش‌ها وجود دارد .از جمله این‌که اندازه‌ی یک مولفه متغیر بوده و براساس دیدگاه طراح سیستم تغییر می‌کند و همچنین طراحی مولفه‌ها به‌گونه‌ای که بتوان در جایی دیگر به راحتی آن‌ها را به هم‌دیگر متصل کرد مسئله‌ی دیگری است که نیازمند داشتن واسطهای استاندارد در طراحی چنین سیستم‌هایی می‌باشد .مشکل اول به تشخیص و تجربه‌ی طراح بستگی داشته که مولفه‌ها را کوچک و یا بزرگتر در نظر بگیرد که براساس نیاز و شرایط موجود متغییر می‌باشد .مشکل دوم با استفاده از واسطهای استاندارد قابل حل می‌باشد که زبان‌های مختلف مدل‌سازی این مشکل را مرتفع کرده‌اند .ساخت مولفه‌ها در محیط مجازی با مشکلات مختص خود همراه است ولی مسئله‌ی دیگر اطمینان از صحت عملکرد این مولفه‌ها بعد از مدل‌سازی است .در بسیاری از سیستم‌ها علاوه بر عملکرد صحیح سیستم، مدت زمانی که سیستم برای این عملکرد صرف می‌کند نیز دارای اهمیت است .برای مثال در سیستم‌های بلادرنگ که موضوع این پایان‌نامه است عملکرد صحیح سیستم علاوه بر عملکرد محاسباتی آن بستگی به مدت زمان مورد انتظار طراح سیستم دارد .اطمینان از صحت عملکرد سیستم دارای اهمیت فراوانی بوده و متدهای مختلفی از جمله خودکارهای زمانی، زبان‌های باقاعده و روش‌های نرم‌افزاری دیگر مطرح شده‌اند ولی هریک دارای نقاط قدرت و ضعف خود می‌باشند .برای مثال در دو روش ذکر شده توصیف سیستم‌های بزرگ به علت تعریف کامل سیستم با جزئیات آن باعث افزایش حالات سیستم شده و درصد اشتباه را در تعریف آن بالا می‌برد .لذا نیاز به زبان‌های مدل‌سازی با سطح انتزاع بالاتر اجتناب ناپذیر است .در این پایان‌نامه علاوه بر معرفی مهندسی براساس مدل به بررسی چندین زبان برای تعریف سیستم‌های بلادرنگ مولفه‌ای پرداختیم و نقاط قوت و ضعف آن‌ها را بررسی کردیم .در پایان روشی که مدل‌سازی سیستم‌های بلادرنگ مولفه‌ای در سطح تراکنش است توضیح داده شده که دارای سطح انتزاع بالا بوده و مشکلات توضیح داده شده را مرتفع کرده است .در این پایان‌نامه نرم‌افزاری جهت طراحی سیستم‌های بلادرنگ مولفه‌ای در سطح تراکنش با کتابخانه‌ی ‮‭TLM‬ پیاده‌سازی شده است که بخش اصلی پایان‌نامه را تشکیل می‌دهد

متن يادداشت

time system to develop their system easily and rapidly without any syntax errors -time systems in addition to functionality, time is the key factor that should be fulfilled. There are some languages to verify systems. For example, timed automata and formal methods are two approaches that can be used but their internal states growing up as time pass and system get bigger and more complex. To overcome this problem there is some abstract modeling methods that we have used in this thesis. In this thesis we are going to introduce an abstract modeling method called TLM, transaction level modeling, and we have developed an environment that lets designer of real- based engineering is one of them. When we are going to define a system if the system was complex and its internal states was many then we can not specify it properly. We have to split the system into smaller parts and work on them, after defining the smaller parts we have to connect them together to make the working system. There is some problem in this approach, first of all, the size of component or parts are not clear and everybody can break the system in his own needs. Second, connecting parts together need standard interfaces that can communicate with each other without any difficulties. In virtual environment of modeling you have to trust the model and its functionality, this is the problem that can be solved by verifying the developed system and checking the results. In some cases such as real- Todays, modeling and verification of systems are necessary part of system design. Systems are going to be more complicated than before and development costs goes up every day then we have to find a way to model system before their construction to reduce the costs and risks. There are a lot of methods to overcome these difficulties and model

مستند نام اشخاص تاييد نشده

مصطفوی امجد، داود

مستند نام اشخاص تاييد نشده

زلفی لیقوان، مینا، استاد راهنما

مستند نام اشخاص تاييد نشده

محمد خانلی، لیلی، استاد مشاور

يادداشت عمومي

سیاه و سفید

وضعیت فهرست نویسی

نمایه‌سازی قبلی