دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Charles Lee, Jon Garnsworthy (auth.), Felix Redmill, Tom Anderson (eds.) سری: ISBN (شابک) : 9783540761891, 9781447115342 ناشر: Springer-Verlag London سال نشر: 1998 تعداد صفحات: 242 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 مگابایت
کلمات کلیدی مربوط به کتاب دیدگاه های صنعتی سیستم های ایمنی- بحرانی: مجموعه مقالات ششمین سمپوزیوم سیستم های حیاتی ایمنی، بیرمنگام 1998: مهندسی نرم افزار، عملکرد سیستم و ارزیابی
در صورت تبدیل فایل کتاب Industrial Perspectives of Safety-critical Systems: Proceedings of the Sixth Safety-critical Systems Symposium, Birmingham 1998 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب دیدگاه های صنعتی سیستم های ایمنی- بحرانی: مجموعه مقالات ششمین سمپوزیوم سیستم های حیاتی ایمنی، بیرمنگام 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