دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Safety and Reliability of Software Based Systems: Twelfth Annual CSR Workshop (Bruges, 12–15 September 1995)
دانلود کتاب ایمنی و قابلیت اطمینان سیستم های مبتنی بر نرم افزار: دوازدهمین کارگاه سالانه CSR (بروژ، 12 تا 15 سپتامبر 1995)
مشخصات کتاب
Safety and Reliability of Software Based Systems: Twelfth Annual CSR Workshop (Bruges, 12–15 September 1995)
ویرایش: 1 نویسندگان: John Rushby (auth.), Roger Shaw (eds.) سری: ISBN (شابک) : 9783540760344, 9781447109211 ناشر: Springer-Verlag London سال نشر: 1997 تعداد صفحات: 473 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 27 مگابایت
قیمت کتاب (تومان) : 46,000
کلمات کلیدی مربوط به کتاب ایمنی و قابلیت اطمینان سیستم های مبتنی بر نرم افزار: دوازدهمین کارگاه سالانه CSR (بروژ، 12 تا 15 سپتامبر 1995): مهندسی نرم افزار
در صورت تبدیل فایل کتاب Safety and Reliability of Software Based Systems: Twelfth Annual CSR Workshop (Bruges, 12–15 September 1995) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ایمنی و قابلیت اطمینان سیستم های مبتنی بر نرم افزار: دوازدهمین کارگاه سالانه CSR (بروژ، 12 تا 15 سپتامبر 1995) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ایمنی و قابلیت اطمینان سیستم های مبتنی بر نرم افزار: دوازدهمین کارگاه سالانه CSR (بروژ، 12 تا 15 سپتامبر 1995)
ایمنی و قابلیت اطمینان سیستم های مبتنی بر نرم افزار
حاوی مقالاتی است که در دوازدهمین کارگاه سالانه سازماندهی شده
توسط مرکز قابلیت اطمینان نرم افزار ارائه شده است. مشارکت‌ها
از صنایع مختلف در بسیاری از کشورها می‌آیند و بحث و بارورسازی
ایده‌های مرتبط با سیستم‌هایی را که ایمنی و/یا قابلیت اطمینان
آنها مهم‌ترین نگرانی است، فراهم می‌کند.
این کتاب موارد ایمنی و نقش های مختلف آنها را در صنایع مختلف
مورد بحث قرار می دهد. استفاده از اندازه گیری برای بهبود
قابلیت اطمینان و ایمنی سیستم های مبتنی بر نرم افزار؛ آخرین
پیشرفت ها در مدیریت، توسعه و ارزیابی سیستم های فشرده نرم
افزاری که قابلیت اطمینان و/یا ایمنی ملاحظات مهمی هستند. و
تجربیات عملی دیگران در صنعت.
توضیحاتی درمورد کتاب به خارجی
Safety and Reliability of Software Based Systems
contains papers, presented at the twelfth annual workshop
organised by the Centre for Software Reliability.
Contributions come from different industries in many
countries, and provide discussion and cross-fertilisation of
ideas relevant to systems whose safety and/or reliability are
of paramount concern.
This book discusses safety cases and their varying roles in
different industries; using measurement to improve
reliability and safety of software-based systems; latest
developments in managing, developing and assessing software
intensive systems where reliability and/or safety are
important considerations; and practical experiences of others
in industry.
فهرست مطالب
Front Matter....Pages i-xiii
Formal Methods and their Role in the Certification of Critical Systems....Pages 1-42
Safety Cases — How Did We Get Here?....Pages 43-95
System Safety — Challenge and Chance for Automotive Applications....Pages 96-106
The SHIP Safety Case Approach: A Combination of System and Software Methods....Pages 107-121
Decision Making and Planning by Autonomous Agents; A Generic Architecture for Safety-Critical Applications....Pages 122-134
Safety Case Development: Current Practice, Future Prospects....Pages 135-156
Assuring Confidence in Pharmaceutical Software....Pages 157-175
Computer-based Safety Systems — The Elements of an Acceptable Safety Case....Pages 176-182
An Assessment Methodology for Safety Critical Computer Based Systems....Pages 183-200
The Safety of PES in the Offshore Industry....Pages 201-216
The Role of Measurement in Software Safety Assessment....Pages 217-248
“Unexpected (and Sometimes Unpleasant) Lessons from Data in Real Software Systems”....Pages 249-259
Improving C Code Quality....Pages 260-264
Improving Reuse in Space (IRIS)....Pages 265-275
Software Based Systems Dependability Requirements in the Process Industries....Pages 276-287
Applying the B-Method to Avionics Software: An Initial Report on the MIST Project....Pages 288-304
Application of an Integrated, Modular, Metric Based System and Software Test Concept....Pages 305-316
Railway Safety Cases....Pages 317-322
A Comparison of Different Safety-Critical Approaches used in Industry....Pages 323-327
Safety Cases for Software-Based Systems....Pages 328-337
Object-Oriented Approach to Safety Analysis....Pages 338-350
FMEA and FTA to Support Safe Design of Embedded Software in Safety-Critical Systems....Pages 351-367
Use of Hazard Analysis Techniques During the Product Life Cycle: HAZOP and FMEA Compared....Pages 368-377
Computer Risks and Some Legal Consequences....Pages 378-388
Software Design-Faults Simulation....Pages 389-418
A Framework for Certifying Critical Software Systems....Pages 419-438
A Statistical and Automated Code-Based Fault-Tree Mitigation Framework for C++....Pages 439-451
ARTIE: A Proven Correct Architecture for Safety-Critical Applications....Pages 452-460
Back Matter....Pages 461-461
