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