light box
امتیاز 2.65 بهبود ارزیابی ایمنی سیستم‌های پیچیده: یک مطالعه موردی صنعتی">

نوع فایل : word
تعداد صفحات : 25
تعداد کلمات : 6500
مجله : Lecture Notes in Computer Science
انتشار : 2003
ترجمه ی متون جدول : ترجمه شده است
درج جداول در فایل ترجمه : درج شده است
منابع داخل متن : به صورت فارسی درج شده است
کیفیت ترجمه : طلایی
فونت ترجمه : ب نازنین 12
دسته بندی :
برچسب ها : ، ، ، ، ، ، ، ، ، ، ، ، ، ، ، ، ، ، ، ، ، ، ، ، ، ، ، ، ، ، ، ، ،

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

  چکیده

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

Title: Improving Safety Assessment of Complex Systems:An industrial case study

 

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

ثبت دیدگاه

    • دیدگاه های ارسال شده توسط شما، پس از تایید توسط تیم مدیریت در وب منتشر خواهد شد.
    • پیام هایی که حاوی تهمت یا افترا باشد منتشر نخواهد شد.
    • پیام هایی که به غیر از زبان فارسی یا غیر مرتبط باشد منتشر نخواهد شد.

برای ارسال دیدگاه شما باید وارد سایت شوید.

محصولات مشابه
نیروی دقیق و کنترل موقعیت یک کامپوزیت فلزی پلیمر یونی
خـریـد محـصـول
شناسایی ویژگی‌های فیتوشیمیایی بذرهای براسیکا نیگرا
خـریـد محـصـول
ترکیبات فیتوشیمیایی و فعالیت‌های دارویی (فارماکولوژیکی) گل همیشه بهار (از خانواده کاسنی)
خـریـد محـصـول
عوامل موثر بر پذیرش بانکداری موبایلی توسط نسل Y یا نسل هزاره بر اساس نظریه ی یکپارچه
خـریـد محـصـول
بخشنامه ۲۰۱۴/۶۳/ EC پارلمان اروپا و شورای اروپا مورخ ۱۵ می ۲۰۱۴
خـریـد محـصـول
اصلاحیه آیین نامه (EC) شماره ۸۵۴-۲۰۰۴ پارلمان اروپا و شورای اروپا مورخ ۲۹ آوریل ۲۰۰۴
خـریـد محـصـول
توسعه ی ساختار سلسله مراتبی و مدل تحلیلی عوامل کلیدی
خـریـد محـصـول
تجزیه و تحلیل خدمات مالی و عملکرد در بیمارستان الاسلام یوکاکارتا در عصر بیمه سلامت ملی
خـریـد محـصـول
رابطه بین اهداف استراتژیک و عملکرد منابع انسانی در بانک‌های تجاری در شهرستان میگوری
خـریـد محـصـول
گسترش و تقویت پرتفوی و اوراق بهادار سرمایه گذاران
خـریـد محـصـول
ثبت اختراع یا انتشار مقاله

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

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

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

در اولین مرحله از شروع یک تحقیق جدید نیاز است منابع مختلفی جستجو شود تا جدید بودن ایده مورد بررسی قرار گیرد. یکی از بهترین منابع جهت جستجو، جستجوی اختراع های ثبت شده است. پایگاه های جستجوی پتنت به محقق کمک میکند پیشینه تحقیق خود را مورد بررسی قرار دهد تا مطمئن شود کار تکراری انجام نمیدهد.
برو بالا