ارزیابی ایمنی سامانه‌های اویونیکی بر اساس استانداردهای هوایی و روش‌های فرمال پژوهشکده اویونیک با توجه به پتانسیل‌های موجود، بیش از ۸ سال در این حوزه فعالیت نموده است و با مطالعه و بکارگیری اسناد و استانداردهای این حوزه دانش لازم برای بهره‌مندی از روش‌های فرمال برای مدل‌سازی و تحلیل سیستم‌ها را [...]