رها اشرفی - کارشناس ارشد نرم افزار ، اداره کنترل فضای کشور
مسعود طاهری - کارشناس هوانوردی، اداره کنترل فضای کشور

؛ DO-278A استاندارد توسعه ی نرم افزار سیستم های CNS/ATM هوانوردی است که توسط FAA در سال 2011 انتشار یافته است . نرم افزارهای هوانوردی که مطابق با DO-278A توسعه یافته اند توسط تکنیک های بیان شده در این استاندارد مورد وارسی قرار میگیرند . تکنیکهای وارسی و اعتبارسنجی در توسعه نرم افزارها به دو دسته ی ایستا و پویا تقسیم می شوند . این مقاله به بررسی وارسی در استاندارد DO-278A و تکنیک های ایستای وارسی و اعتبارسنجی توسعه ی نرم افزارها می پردازد.

تکنیک های ایستا، CNS/ATM, DO-278A، نرمافزار هوانوردی ، وارسی و اعتبارسنجی