دانلود ترجمه مقاله برآورد امنیت سیستم های پیچیده در صنعت – نشریه اسپرینگر

• فهرست مطالب:

 ۱ مقدمه
۲ روش ESACS و پلت فرم ESACS
۲ ۱ روش ESACS
۲ ۲ پلتفرم ESACS
۳ مطالعه موردی: سیستم قدرت ثانویه
۴ نتایج
۵ کار های مشابه
۶ نتیجه گیری و کار های آینده

• بخشی از ترجمه:

۶ نتیجه گیری و کار های آینده

در این مقاله ما از پلتفرم و روش  آنالیز ایمنی ESACS استفاده کردیم. پلتفرم ESACS را می توان به عنوان ابزاری برای   کمک به فرایند آنالیز ایمنی از مراحل اولیه طراحی سیستم برای مراحل ارزیابی ایمنی و صحت سنجی استفاده می شود. هدف اصلی ایجاد محیطی است که بتواند توسط  هر دو مهندسان طراحی  برای تایید رسمی سیستم و مهندسان ایمنی  برای  اتوماسیون مراحل ویژه ارزیابی های ایمنی مورد استفاده قرار گیرد.برای رسیدن به این اهداف، پلتفرم مجموعه ای از عملیات را در اختیار می گذارد که می تواند  به روش های دلخواه برای واقعی سازی  روش های توسعه فرایند های مختلف ترکیب و تلفیق شود. عملیات شامل روش های آنالیز سنتی  نظیر تولید درخت خطا همراه با قابلیت های تایید خصوصیات کنترل مدل علاوه بر قابلیت های ساخت مدل ( تزریق اتوماتیک خرابی بر اساس کتابخانه حالات خرابی از پیش تعیین شده) و قابلیت های پایش است که موجب بهبود تبادل اطلاعات شده و منجر به  نگهداری آسان تر سیستم خواهد شد. مزیت های اصلی استفاده از روش و پلتفرم ESACS شامل تلفیق بین تیم های ایمنی و طراحی، مکانیزاسیون فعالیت های مربوط به  صحت سنجی و آنالیز های ایمنی سیستم ها در محیط یکنواخت و پشتیبانی استفاده از روش های مختلف تولید ( رویکرد تجمعی، بر اساس انتشار  مدل سیستم به طور تکراری در  سطوح مختلف جزییات) هستند.

• بخشی از مقاله انگلیسی:

۶٫ Conclusions and Future Work

In this paper we have presented the ESACS safety analysis platform and methodology. The ESACS platform can be used as a tool to assist the safety analysis process from the early phases of system design to the formal verification and safety assessment phases. The goal is to provide an environment that can be used both by design engineers to formally verify a system and by safety engineers to automate certain phases of safety assessments. To achieve these goals, the platform provides a set of basic functions which can be combined in arbitrary ways to realize different process development methodologies. The functionality includes traditional analysis methodologies like fault tree generation, together with exhaustive property verification capabilities typical of model checking, plus model construction facilities (e.g., automatic failure injection based on a library of predefined failure modes) and traceability capabilities, which improve exchange of information and make system maintenance easier. The major benefits provided by the use of the ESACS platform and methodology are a tight integration between the design and the safety teams, mechanisation of (some of) the activities related both to the verification and to the safety analysis of systems in a uniform environment, and support for the realization of different development methodologies (e.g., incremental development approach, based on iterative releases of a given system model at different levels of detail).