بایگانی برچسب: ایمنی ضروری

به گزارش وال استریت ژورنال(WSJ)، اداره هواپیمایی فدرال(FAA) به روز رسانی نرم‌افزار بویینگ ۷۳۷ مکس و تغییرات آموزش خلبانی را تایید کرد. بر اساس این گزارش، به روز رسانی‌ها و تست‌های بیشتری قبل از انتشار لازم خواهد بود. به گفته وال استریت ژورنال به نظر می رسد که تغییرات نرم‌افزاری ظاهرا سیستم تقویت مشخصه‌های مانور(Manoeuvring Characteristics Augmentation System-MCAS) را به …

متون موجود در حال حاضر برای دانش آموزان و محققان بسیار عمومی است و فقط تکنیک‌های رسمی تحلیل استاتیک(Static Analysis) را پوشش می‌دهند. این کتاب نمونه‌های واقعی از تکنیک‌های رسمی به نام «تفسیر انتزاعی»(Abstract Interpretation) در حال حاضر در صنایع مختلفی مورد استفاده قرار می گیرد، شامل: راه آهن، هوانوردی، فضا، خودرو و غیره. هدف از این کتاب این است …