دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: John Rushby (auth.), Chris Dale, Tom Anderson (eds.) سری: ISBN (شابک) : 1849960852, 9781849960854 ناشر: Springer-Verlag London سال نشر: 2010 تعداد صفحات: 269 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 12 مگابایت
کلمات کلیدی مربوط به کتاب ایمن سازی سیستم ها: مجموعه مقالات هجدهمین سمپوزیوم سیستم های حیاتی ایمنی، بریستول، بریتانیا، 9-11 فوریه 2010: سیستم ها و امنیت داده ها، عملکرد و ارزیابی سیستم، مهندسی نرم افزار
در صورت تبدیل فایل کتاب Making Systems Safer: Proceedings of the Eighteenth Safety-Critical Systems Symposium, Bristol, UK, 9-11th February 2010 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ایمن سازی سیستم ها: مجموعه مقالات هجدهمین سمپوزیوم سیستم های حیاتی ایمنی، بریستول، بریتانیا، 9-11 فوریه 2010 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
Making Systems Safer contains the papers presented at the eighteenth annual Safety-critical Systems Symposium, held at Bristol, UK, in February 2010.
The Symposium is for engineers, managers and academics in the field of system safety, across all industry sectors, so the papers making up this volume offer a wide-ranging coverage of current safety topics, and a blend of academic research and industrial experience. They include both recent developments in the field and discussion of open issues that will shape future progress.
The first paper reflects a tutorial – on Formalization in Safety Cases – held on the first day of the Symposium. The subsequent 14 papers are presented under the headings of the Symposium’s sessions: Perspectives on Systems Safety, Managing Safety-Related Projects, Transport Safety, Safety Standards, Safety Competencies and Safety Methods.
The book will be of interest to both academics and practitioners working in the safety-critical systems arena.
Front Matter....Pages i-x
Front Matter....Pages 1-1
Formalism in Safety Cases....Pages 3-17
Front Matter....Pages 19-19
Bureaucracy, Safety and Software: a Potentially Lethal Cocktail....Pages 21-36
Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems (CESAR) – An Objective Overview....Pages 37-50
Safety and Assurance Cases: Past, Present and Possible Future – an Adelard Perspective....Pages 51-67
Front Matter....Pages 69-69
An Integrated Project Management Life Cycle Supporting System Safety....Pages 71-83
Patterns in Safety-Related Projects....Pages 85-100
Front Matter....Pages 101-101
Applying IEC 61508 to Air Traffic Management Systems....Pages 103-113
Phileas, a Safety Critical Trip around the World....Pages 115-126
Front Matter....Pages 127-127
An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4....Pages 129-147
IEC80001 and Future Ramifications for Health Systems not currently classed as Medical Devices....Pages 149-171
Front Matter....Pages 173-173
Competence, The Why? The How? and ‘A Practical Approach’....Pages 175-186
The new IET Guide – how to do EMC to help achieve Functional Safety....Pages 187-210
Code of Practice and Competencies for ISAs....Pages 211-230
Front Matter....Pages 231-231
Evaluation and Integration of COTS in Evidence based Assurance Frameworks....Pages 233-254
A Way to Successful Hazard Management....Pages 255-271
Back Matter....Pages 273-273