|
دانلود رایگان مقاله انگلیسی + خرید ترجمه فارسی
|
|
| عنوان فارسی مقاله: |
بهبود ارزیابی ایمنی سیستم های پیچیده: یک مطالعه موردی صنعتی |
| عنوان انگلیسی مقاله: |
Improving Safety Assessment of Complex Systems: An industrial case study |
|
|
| مشخصات مقاله انگلیسی (PDF) | |
| سال انتشار مقاله | 2003 |
| تعداد صفحات مقاله انگلیسی | 17 صفحه با فرمت pdf |
| رشته های مرتبط با این مقاله | مهندسی صنایع و مدیریت صنعتی |
| گرایش های مرتبط با این مقاله | برنامه‌ریزی و تحلیل سیستم‌ها، تولید صنعتی، تکنولوژی صنعتی، ایمنی صنعتی، بهینه سازی سیستم ها، تولید وعملیات و مدیریت عملکرد |
| مجله مربوطه | علوم کامپیوتر (Computer Science) |
| کلمات کلیدی این مقاله | ارزیابی ایمنی و رسمی سیستم های پیچیده، رایانش خودکار درخت خطا، ESA CS |
| شناسه شاپا یا ISSN | ISSN 0302-9743 |
| لینک مقاله در سایت مرجع | لینک این مقاله در سایت Springer |
| نشریه | اسپرینگر – Springer |
| مشخصات و وضعیت ترجمه فارسی این مقاله (Word) | |
| تعداد صفحات ترجمه تایپ شده با فرمت ورد با قابلیت ویرایش و فونت 14 B Nazanin | 21 صفحه |
| ترجمه عناوین تصاویر و جداول | ترجمه شده است |
| درج تصاویر در فایل ترجمه | درج شده است |
- فهرست مطالب:
۱ مقدمه
۲ روش ESACS و پلت فرم ESACS
۲ ۱ روش ESACS
۲ ۲ پلتفرم ESACS
۳ مطالعه موردی: سیستم قدرت ثانویه
۴ نتایج
۵ کار های مشابه
۶ نتیجه گیری و کار های آینده
- بخشی از ترجمه:
۶ نتیجه گیری و کار های آینده
در این مقاله ما از پلتفرم و روش آنالیز ایمنی ESACS استفاده کردیم. پلتفرم ESACS را می توان به عنوان ابزاری برای کمک به فرایند آنالیز ایمنی از مراحل اولیه طراحی سیستم برای مراحل ارزیابی ایمنی و صحت سنجی استفاده می شود. هدف اصلی ایجاد محیطی است که بتواند توسط هر دو مهندسان طراحی برای تایید رسمی سیستم و مهندسان ایمنی برای اتوماسیون مراحل ویژه ارزیابی های ایمنی مورد استفاده قرار گیرد.برای رسیدن به این اهداف، پلتفرم مجموعه ای از عملیات را در اختیار می گذارد که می تواند به روش های دلخواه برای واقعی سازی روش های توسعه فرایند های مختلف ترکیب و تلفیق شود. عملیات شامل روش های آنالیز سنتی نظیر تولید درخت خطا همراه با قابلیت های تایید خصوصیات کنترل مدل علاوه بر قابلیت های ساخت مدل ( تزریق اتوماتیک خرابی بر اساس کتابخانه حالات خرابی از پیش تعیین شده) و قابلیت های پایش است که موجب بهبود تبادل اطلاعات شده و منجر به نگهداری آسان تر سیستم خواهد شد. مزیت های اصلی استفاده از روش و پلتفرم ESACS شامل تلفیق بین تیم های ایمنی و طراحی، مکانیزاسیون فعالیت های مربوط به صحت سنجی و آنالیز های ایمنی سیستم ها در محیط یکنواخت و پشتیبانی استفاده از روش های مختلف تولید ( رویکرد تجمعی، بر اساس انتشار مدل سیستم به طور تکراری در سطوح مختلف جزییات) هستند.
- بخشی از مقاله انگلیسی:
6. 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).
|
دانلود رایگان مقاله انگلیسی + خرید ترجمه فارسی
|
|
| عنوان فارسی مقاله: |
برآورد امنیت سیستم های پیچیده در صنعت |
| عنوان انگلیسی مقاله: |
Improving Safety Assessment of Complex Systems: An industrial case study |
|
|
