ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Industrial Perspectives of Safety-critical Systems: Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998

دانلود کتاب دیدگاه های صنعتی سیستم های ایمنی- بحرانی: مجموعه مقالات ششمین سمپوزیوم سیستم های حیاتی ایمنی، بیرمنگام 1998

Industrial Perspectives of Safety-critical Systems: Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998

مشخصات کتاب

Industrial Perspectives of Safety-critical Systems: Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998

ویرایش: 1 
نویسندگان: , , ,   
سری:  
ISBN (شابک) : 9783540761891, 9781447115342 
ناشر: Springer-Verlag London 
سال نشر: 1998 
تعداد صفحات: 242 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 9 مگابایت 

قیمت کتاب (تومان) : 38,000



کلمات کلیدی مربوط به کتاب دیدگاه های صنعتی سیستم های ایمنی- بحرانی: مجموعه مقالات ششمین سمپوزیوم سیستم های حیاتی ایمنی، بیرمنگام 1998: مهندسی نرم افزار، عملکرد سیستم و ارزیابی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 8


در صورت تبدیل فایل کتاب Industrial Perspectives of Safety-critical Systems: Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب دیدگاه های صنعتی سیستم های ایمنی- بحرانی: مجموعه مقالات ششمین سمپوزیوم سیستم های حیاتی ایمنی، بیرمنگام 1998



این کتاب حاوی مجموعه مقالات ششمین سمپوزیوم سیستم های حیاتی ایمنی است که موضوع آن دیدگاه های صنعتی است. مطابق با موضوع، تمام فصول توسط نویسندگانی که دارای وابستگی صنعتی هستند، ارائه شده است. دو فصل اول منعکس کننده آموزش های نیم روزه - مدیریت پروژه توسعه سیستم حیاتی ایمنی و اصول مدیریت ایمنی - است که در روز اول رویداد برگزار شد، و 15 فصل بعدی توسط ارائه کنندگان مقالات در دو روز آینده ارائه می شود. پس از آموزش، فصل ها به پنج موضوع فرعی - عناوین جلسات در سمپوزیوم تبدیل می شوند. در اولین مورد، در مورد «تکنولوژی توسعه نرم‌افزار»، Trevor Cockram و دیگران در مورد کاربرد صنعتی مدل ردیابی نیازمندی‌ها، Paul Bennett در مورد مدیریت پیکربندی در سیستم‌های حیاتی ایمنی، و برایان Wichmann در Ada گزارش دادند. 5 فصل بعدی در مورد "مدیریت ایمنی" است. در حوزه ایمنی، کسب و کار اساسی مدیریت به طور فزاینده ای با توجه به انجام کارها، بلکه با کنترل فرآیندهایی که توسط آنها انجام می شود، خطرات موجود، و نیاز نه تنها به دستیابی به ایمنی، بلکه برای نشان دادن نیز مورد توجه قرار می گیرد. که محقق شده است. در این زمینه، Gustaf Myhrman پیشرفت‌های اخیر را برای سیستم‌های ایمن‌تر در دفاع سوئد نشان می‌دهد و Shoky Visram در مورد مدیریت ایمنی در یک پروژه بزرگ و پیچیده کنترل ترافیک هوایی گزارش می‌دهد.


توضیحاتی درمورد کتاب به خارجی

This book contains the Proceedings of the 6th Safety-critical Systems Sympo­ sium, the theme of which is Industrial Perspectives. In accordance with the theme, all of the chapters have been contributed by authors having an industrial af­ filiation. The first two chapters reflect half-day tutorials - Managing a Safety-critical System Development Project and Principles of Safety Management - held on the first day of the event, and the following 15 are contributed by the presenters of papers on the next two days. Following the tutorials, the chapters fa~l into five sub-themes - the session titles at the Symposium. In the first of these, on 'Software Development Tech­ nology', Trevor Cockram and others report on the industrial application of a requirements traceability model, Paul Bennett on configuration management in safety-critical systems, and Brian Wichmann on Ada. The next 5 chapters are on 'Safety Management'. In the safety domain, the fundamental business of management is increasingly being addressed with respect not merely to getting things done, but also to controlling the processes by which they are done, the risks involved, and the need not only to achieve safety but to demonstrate that it has been achieved. In this context, Gustaf Myhrman reveals recent developments for safer systems in the Swedish De­ fence, and Shoky Visram reports on the management of safety within a large and complex Air Traffic Control project.



فهرست مطالب

Front Matter....Pages I-IX
Issues in Managing a Safety-Critical System Development Project....Pages 1-26
Principles of Engineering Safety Management....Pages 27-43
A System Requirements Traceability Model: An Industrial Application....Pages 44-61
Small Modules as Configuration Items in Certified Safety Critical Systems....Pages 62-69
Ada for High Integrity....Pages 70-81
Developments for Safer Systems in the Swedish Defence....Pages 82-92
Managing Safety Within A Large And Complex Air Traffic Control Project....Pages 93-111
Risk....Pages 112-125
Independent Safety Auditing....Pages 126-136
‘Safeguarding Systems: In-Service Management’....Pages 137-149
Static Analysis of Safety Critical Software (Techniques, Tools, and Experiences)....Pages 150-168
Use of Static Code Analysis to Support the Safety Certification of Airborne Software....Pages 169-183
Improving the Production and Presentation of Safety Cases through the use of Intranet Technology....Pages 184-193
A Methodology for Safety Case Development....Pages 194-203
On the Validation of Finite Element Models — an Industrial Perspective....Pages 204-210
COTS in Safety-Related Systems Issues and an Illustration....Pages 211-221
Research into the Safety Issues Arising from Using ASIC Devices as a Potential Replacement Technology for Analogue Trip Amplifiers in Existing Reactor Safety Systems....Pages 222-232
Back Matter....Pages 233-233




نظرات کاربران