پديد آورنده :
فاضلي نيا، محسن
عنوان :
مدل سازي و ارزيابي صوري سامانه كنترل پرواز هواپيما با استفاده از زبان AADL
مقطع تحصيلي :
كارشناسي ارشد
گرايش تحصيلي :
معماري اويونيك
محل تحصيل :
اصفهان: دانشگاه صنعتي اصفهان، دانشكده برق و كامپيوتر
صفحه شمار :
سيزده، 117ص.: مصور، جدول، نمودار
استاد راهنما :
وحيد غفاري نيا
استاد مشاور :
علي ابن نصير
توصيفگر ها :
مدل سازي صوري , اويونيك
تاريخ نمايه سازي :
1394/06/02
استاد داور :
ايمان ايزدي، ناصر قديري
تاريخ ورود اطلاعات :
1396/10/04
رشته تحصيلي :
برق و كامپيوتر
دانشكده :
مهندسي برق و كامپيوتر
چكيده فارسي :
به فارسي و انگليسي
چكيده انگليسي :
22 از آنجا كه تاكيد بر روي مدلسازي و تجزيه و تحليل معماري است AADL سيستمهاي زماناجرا و ساخت خودكار سيستمهاي كامل2 را پشتيباني ميكند اين قابليت ميتواند در يك محيط توسعه معماري محور كه در گستره تجزيه و تحليلهاي مورد نياز اعم از معماري و طراحي دقيق و توليد كد و اعتبارسنجي است گنجانده شود 8 در زبان AADL دادهها و اجزاي زير برنامه درون بستههايي2 سازماندهي ميشوند ديناميك معماري زماناجرا از طريق حالت ماشينهاي وضعيت در سطوح مختلف سلسله اجزا براي نشان دادن حالتهاي عملياتي و تغييرات پويا بكار گرفته ميشود زبان AADL از پردازنده حافظه و تجهيزات باس براي نشان دادن معماري سكو سختافزاري كامپيوتر استفاده مينمايد همچنين از پردازندههاي مجازي و تجهيزات باس مجازي براي نشان دادن ماشينهاي مجازي بخشها3 و كانالهاي مجازي بهره ميگيرد مدلسازي سيستمهاي فيزيكي از طريق دستگاه و مفاهيم باس پشتيباني ميشود اجزا سيستم براي نشان دادن تركيبي از معماري برنامه قالب كامپيوتر و سيستم فيزيكي بكار ميروند اجزا 4 انتزاعي و پارامترهاي مشخصات اجزا از سكو اجزا و الگوهاي معماري پشتيباني ميكنند 22 8 زبان SysML به عنوان يك اليه از مفاهيم مدلسازي براي مشخصات سيستمهاي پيچيده توسط مهندسان سيستم معرفي شده است به تازگي پروفايل MARTE براي سيستمهاي نرمافزار تعبيهشده براي پشتيباني از ايجاد مدلهاي AADL تعريف شده است اين قبيل روشهاي MBE نيازمند مهندسي معماري محور سيستمها از طريق تركيب قابليتهاي مدلسازي با قابليت پيشبيني براي مواجه شدن با حساسيت ايمني كارايي قابليت اطمينان امنيت و ديگر ويژگيهاي كيفي عملياتي است 8 شكل 2 22 سه عنصر از معماري سيستمهاي تعبيهشده يعني نرمافزار برنامه تعبيهشده و سيستم زمان اجراي آن قالب كامپيوتر و سيستم فيزيكي كه با آنها در ارتباط هستند را نشان ميدهد مهندسي سيستمهاي نرمافزار تعبيهشده بر روي معماري زماناجرا نرمافزار تعبيهشده و تعامل خود با قالب كامپيوتر و سيستم فيزيكي متمركز شده است مدلهاي تجهيزات فيزيكي در نمادهايي شبيه به Modelica و سيمولينك بيان ميشوند تا از نظر مكانيكي 5 الكتريكي ديناميك سيال و ديگر جنبههاي فيزيكي بيان شوند 1 Auto build of complete systems 2 Package 3 Partition 4 Abstract 5 Fluid dynamic
استاد راهنما :
وحيد غفاري نيا
استاد مشاور :
علي ابن نصير
استاد داور :
ايمان ايزدي، ناصر قديري
