10384

9579

كارشناسي ارشد

معماري اويونيك

اصفهان: دانشگاه صنعتي اصفهان، دانشكده برق و كامپيوتر

1394

سيزده، 117ص.: مصور، جدول، نمودار

1396/10/04

كتابنامه

برق و كامپيوتر

مهندسي برق و كامپيوتر

ID9579

به فارسي و انگليسي

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

وحيد غفاري نيا

علي ابن نصير

ايمان ايزدي، ناصر قديري