|
|
|
|
طراحی و تحلیل فرمال یک سامانه کنترل پرواز نوعی با استفاده از زبان aadl
|
|
|
|
|
|
|
|
نویسنده
|
فاضلی‌نیا محسن ,غفاری‌نیا وحید
|
|
منبع
|
چهارمين كنفرانس ملي اويونيك ايران - 1398 - دوره : 4 - چهارمین کنفرانس ملی اویونیک ایران - کد همایش: 98190-82985 - صفحه:0 -0
|
|
چکیده
|
سامانه‌های اویونیک از نظر قابلیت اتکاپذیری جزو قابل اطمینان‌ترین تجهیزات الکترونیکی هستند. طراحی این سامانه‌ها از استخراج نیازمندی‌ها تا پیاده‌سازی و ارزیابی نهایی باید مطابق استانداردهای هوایی انجام شود. در مراحل اولیه طراحی، که معماری سطح بالای سامانه‌ها و سیستم‌ها مورد نظر است، روش‌های فرمال یک ابزار قدرتمند برای توصیف و ارزیابی سامانه‌ها فراهم می‌کنند. زبان aadl یکی از رایج‌ترین زبان‌های تحلیل و طراحی معماری است که ویژگی‌های آن در قالب استاندارد sae as5506 تدوین شده است. در این مقاله به تحلیل و طراحی فرمال سامانه کنترل پرواز هواپیما، به عنوانی یکی از مهم‌ترین و پیچیده‌ترین سامانه‌های اویونیک هواپیما، پرداخته شده است. در ابتدا نیازمندی‌های سامانه کنترل پرواز با توجه به کارکردهای یک هواپیمای مسافری تجاری استخراج شده و پس از بیان مشخصات سخت‌افزاری و نرم‌افزاری هر بخش، ارزیابی فرمال سامانه کنترل پرواز با استفاده ابزارهای aadl و سایر ابزار جانبی مانند agree انجام گرفته است.
|
|
کلیدواژه
|
مدل‌سازی فرمال، اویونیک، زبان aadl، سامانه کنترل پرواز، قابلیت اطمینان، ایمنی
|
|
آدرس
|
, iran, , iran
|
|
پست الکترونیکی
|
ghafarinia@cc.iut.ac.ir
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|