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

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

دانلود ترجمه مقاله بهبود ارزیابی ایمنی سیستم های پیچیده – مجله اشپرینگر
Improving Safety Assessment of Complex Systems: An industrial case study

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

کلمات کلیدی: ارزیابی ایمنی و رسمی سیستم های پیچیده، رایانش خودکار درخت خطا، ESA CS

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


نمونه متن انگلیسی

Abstract
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a corresponding increase in the capability of design and safety engineers to maintain adequate safety levels. The use of formal methods during system design has proved to be effective in several practical applications. However, the development of certain classes of applications, like, for instance, avionics systems, also requires the behaviour of a system to be analysed under certain degraded situations (e.g., when some components are not working as expected). The integration of system design activities with safety assessment and the use of formal methods, although not new, are still at an early stage. These goals are addressed by the ESACS project, a EuropeanUnion-sponsored project grouping several industrial companies from the aeronautic field. The ESACS project is developing a methodology and a platform the ESACS platform that helps safety engineers automating certain phases of their work. This paper reports on the application of the ESACS methodology and on the use of the ESACS platform to a case study, namely, the Secondary Power System of the Eurofighter Typhoon aircraft.


عنوان فارسی: بهبود ارزیابی ایمنی سیستم های پیچیده: یک مطالعه موردی صنعتی
عنوان انگلیسی: Improving Safety Assessment of Complex Systems: An industrial case study
تعداد صفحات مقاله انگلیسی : 17
تعداد صفحات ترجمه فارسی : 21
سال انتشار : 2013
نشریه : اشپرینگر – Springer
فرمت مقاله انگلیسی : PDF
فرمت ترجمه مقاله : ورد تایپ شده
رفرنس : دارد
رشته های مرتبط با این مقاله: مهندسی صنایع و مدیریت
گرایش های مرتبط با این مقاله: برنامه‌ریزی و تحلیل سیستم‌ها، تولید صنعتی، تکنولوژی صنعتی، ایمنی صنعتی، بهینه سازی سیستم ها، تولید وعملیات و مدیریت عملکرد
مجله: علوم کامپیوتر
دانشگاه: ارزیابی ایمنی و رسمی سیستم های پیچیده، رایانش خودکار درخت خطا، ESA CS
وضعیت ترجمه عناوین تصاویر و جداول: ترجمه شده است
وضعیت ترجمه متون داخل تصاویر و جداول: ترجمه نشده است


جهت دانلود رایگان نسخه انگلیسی این مقاله اینجا کلیک نمایید


ترجمه این مقاله با کیفیت عالی آماده خرید اینترنتی میباشد. بلافاصله پس از خرید، دکمه دانلود ظاهر خواهد شد. ترجمه به ایمیل شما نیز ارسال خواهد گردید.


 


اولین نفر باشید

نظر شما