شماره ركورد كنفرانس :
4849
عنوان مقاله :
طراحي و تحليل فرمال يك سامانه كنترل پرواز نوعي با استفاده از زبان AADL
پديدآورندگان :
فاضلي‌نيا محسن m.fazelinia@outlook.com كارشناس پژوهشكده اويونيك دانشگاه صنعتي اصفهان , غفاري‌نيا وحيد ghafarinia@cc.iut.ac.ir استاديار دانشكده مهندسي برق و كامپيوتر دانشگاه صنعتي اصفهان
كليدواژه :
مدل‌سازي فرمال , اويونيك , زبان AADL , سامانه كنترل پرواز , قابليت اطمينان , ايمني
عنوان كنفرانس :
چهارمين كنفرانس ملي اويونيك ايران
چكيده فارسي :
سامانه‌هاي اويونيك از نظر قابليت اتكاپذيري جزو قابل اطمينان‌ترين تجهيزات الكترونيكي هستند. طراحي اين سامانه‌ها از استخراج نيازمندي‌ها تا پياده‌سازي و ارزيابي نهايي بايد مطابق استانداردهاي هوايي انجام شود. در مراحل اوليه طراحي، كه معماري سطح بالاي سامانه‌ها و سيستم‌ها مورد نظر است، روش‌هاي فرمال يك ابزار قدرتمند براي توصيف و ارزيابي سامانه‌ها فراهم مي‌كنند. زبان AADL يكي از رايج‌ترين زبان‌هاي تحليل و طراحي معماري است كه ويژگي‌هاي آن در قالب استاندارد SAE AS5506 تدوين شده است. در اين مقاله به تحليل و طراحي فرمال سامانه كنترل پرواز هواپيما، به عنواني يكي از مهم‌ترين و پيچيده‌ترين سامانه‌هاي اويونيك هواپيما، پرداخته شده است. در ابتدا نيازمندي‌هاي سامانه كنترل پرواز با توجه به كاركردهاي يك هواپيماي مسافري تجاري استخراج شده و پس از بيان مشخصات سخت‌افزاري و نرم‌افزاري هر بخش، ارزيابي فرمال سامانه كنترل پرواز با استفاده ابزارهاي AADL و ساير ابزار جانبي مانند AGREE انجام گرفته است.
