Skip Navigation Linksلیست مقالات ترجمه شده / مقالات ترجمه شده مهندسی كامپيوتر /

عنوان ترجمه شده مقاله: بهبود ارزیابی ایمنی سیستم های پیچیده:یک مطالعه موردی صنعتی

پیچیدگی کنترل کننده های تعبیه شده به طور پیوسته در حال افزایش است. این روند که توسط بهبود پیوسته و روز افزون قدرت رایانشی و محاسباتی سخت افزار ها شبیه سازی می شود
  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 European- Union-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

چکیده

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

1-مقدمه

در سیکل توسعه یک سیستم پیچیده ،  امکان شناسایی تعداد خاصی از مراحل که هر یک از آن ها دارای فرایند ها و کارکرد های مختلفی هستند که تیم توسعه سیستم باید آن ها را انجام دهند وجود دارد. در مدل کلاسیک آبشاری، مراحل و فاز های اصلی شامل موارد ذیل هستند:  تجزیه تحلیل نیاز ها و تعیین خصوصیات، طراحی، اجرا، آزمایش، تحلیل و نگه داری. در دهه های اخیر،  در این مدل تغییرات زیادی صورت گرفته است. برخی از این ها بر اساس  نمونه سازی و شبیه سازی مجازی، توسعه افزایشی، نرم افزار قابل استفاده کجدد و سنتز اتومات یا خود کار هستند. از آن جا که خطاهای  مطالعه و مفاهیم غلط در مراحل بعدی سیکل توسعه سیستم بافت  می شود که تعمیر و برطرف کردن آن ها  مستلزم صرف هزینه های زیاد است، بدیهی است که درک دقیق و موشکافانه سیستم و رفتار آن باید تا حد ممکن در اوایل سیکل توسعه و تولید صورت گیرد...


موسسه ترجمه البرز اقدام به ترجمه مقاله " مهندسی كامپيوتر " با موضوع " بهبود ارزیابی ایمنی سیستم های پیچیده:یک مطالعه موردی صنعتی " نموده است که شما کاربر عزیز می توانید پس از دانلود رایگان مقاله انگلیسی و مطالعه ترجمه چکیده و بخشی از مقدمه مقاله، ترجمه کامل مقاله را خریداری نمایید.
عنوان ترجمه فارسی
بهبود ارزیابی ایمنی سیستم های پیچیده:یک مطالعه موردی صنعتی
نویسنده/ناشر/نام مجله :
Lecture Notes in Computer Science Volume 2805, 2003, pp 208-222
سال انتشار
2003
کد محصول
1003318
تعداد صفحات انگليسی
17
تعداد صفحات فارسی
24
قیمت بر حسب ریال
1,281,500
نوع فایل های ضمیمه
Pdf+Word
حجم فایل
676 کیلو بایت
تصویر پیش فرض


این مقاله ترجمه شده را با دوستان خود به اشتراک بگذارید
سایر مقالات ترجمه شده مهندسی كامپيوتر , مهندسی هوافضا را مشاهده کنید.
کاربر عزیز، بلافاصله پس از خرید مقاله ترجمه شده مقاله ترجمه شده و با یک کلیک می توانید مقاله ترجمه شده خود را دانلود نمایید. مقاله ترجمه شده خوداقدام نمایید.
جهت خرید لینک دانلود ترجمه فارسی کلیک کنید
جستجوی پیشرفته مقالات ترجمه شده
برای کسب اطلاعات بیشتر، راهنمای فرایند خرید و دانلود محتوا را ببینید
هزینه این مقاله ترجمه شده 1281500 ریال بوده که در مقایسه با هزینه ترجمه مجدد آن بسیار ناچیز است.
اگر امکان دانلود از لینک دانلود مستقیم به هر دلیل برای شما میسر نبود، کد دانلودی که از طریق ایمیل و پیامک برای شما ارسال می شود را در کادر زیر وارد نمایید


این مقاله ترجمه شده مهندسی كامپيوتر در زمینه کلمات کلیدی زیر است:





Formal Verification and Safety Assessment of Complex Systems
Automated Fault Tree Computation

تاریخ انتشار در سایت: 2015-02-03
جستجوی پیشرفته مقالات ترجمه شده

خدمات ترجمه تخصصی و ویرایش مقاله مهندسی كامپيوتر در موسسه البرز

نظرتان در مورد این مقاله ترجمه شده چیست؟

ثبت سفارش جدید