دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computer Safety, Reliability, and Security: 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings
دانلود کتاب ایمنی کامپیوتر، قابلیت اطمینان و امنیت: بیست و نهمین کنفرانس بین المللی، SAFECOMP 2010، وین، اتریش، 14-17 سپتامبر 2010. مجموعه مقالات
مشخصات کتاب
Computer Safety, Reliability, and Security: 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Oliver Schulz, Jan Peleska (auth.), Erwin Schoitsch (eds.) سری: Lecture Notes in Computer Science 6351 : Programming and Software Engineering ISBN (شابک) : 3642156509, 9783642156502 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 497 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 41,000
کلمات کلیدی مربوط به کتاب ایمنی کامپیوتر، قابلیت اطمینان و امنیت: بیست و نهمین کنفرانس بین المللی، SAFECOMP 2010، وین، اتریش، 14-17 سپتامبر 2010. مجموعه مقالات: امنیت سیستم‌ها و داده‌ها، شبکه‌های ارتباطی کامپیوتری، مهندسی نرم‌افزار، تحلیل الگوریتم و پیچیدگی مسائل، رایانه‌ها و جامعه، سیستم‌های مبتنی بر هدف خاص و کاربردی
در صورت تبدیل فایل کتاب Computer Safety, Reliability, and Security: 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ایمنی کامپیوتر، قابلیت اطمینان و امنیت: بیست و نهمین کنفرانس بین المللی، SAFECOMP 2010، وین، اتریش، 14-17 سپتامبر 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ایمنی کامپیوتر، قابلیت اطمینان و امنیت: بیست و نهمین کنفرانس بین المللی، SAFECOMP 2010، وین، اتریش، 14-17 سپتامبر 2010. مجموعه مقالات
رایانه‌ها و ریزپردازنده‌ها در سیستم‌های فنی مدرن ضروری هستند، و استقرار آنها در حوزه‌های خودرو، راه‌آهن، هوافضا، و حمل‌ونقل، امنیت، تامین انرژی، مخابرات، زیرساخت‌های حیاتی و صنایع فرآیندی را شامل می‌شود. آنها کارهایی را انجام می دهند که چند دهه پیش اگر غیرممکن نباشد، بسیار دشوار بود. همانطور که آنها این وظایف را با افزایش کارایی انجام می دهند، وظایف بیشتر و بیشتری از سخت افزار به نرم افزار منتقل می شوند، که به این معنی است که قابل اعتماد بودن سیستم های کامپیوتری برای ایمنی، امنیت و قابلیت اطمینان سیستم های فنی بسیار مهم می شود. با به اصطلاح "سیستم های جاسازی شده" (هوشمندتر شدن، شبکه شدن و همکاری با یکدیگر، با انسان و محیط زیست) کامپیوترها به تمام جنبه های زندگی روزمره هجوم آورده اند. پارادایم های جدیدی مانند محاسبات همه جا حاضر، سیستم های سیستم ها، آگاهی از انرژی و منابع، مسائل پیچیدگی بسیار زیاد و مواردی از این دست پدید آمده اند، که نیازمند دید کلی تری از سیستم ها نیز هستند. بنابراین، پس از 31 سال SAFECOMP، تأکید رویداد 29 بر روی سیستم‌های بستر بحرانی است که تقریباً در همه جا وجود دارند. تأثیر آنها بر زندگی، خطرات و چالش‌های ما اغلب به خوبی درک نمی‌شوند (کم برآورد یا اغراق شده). مسئله اصلی مقابله با پیچیدگی، حالت‌های جدید شکست و مدیریت منابع است، به دلیل کوچک شدن اندازه ویژگی، سیستم‌های چند هسته‌ای و مدیریت انواع مختلف، در عین حال حفظ ویژگی‌های قابلیت اطمینان و استحکام.
توضیحاتی درمورد کتاب به خارجی
Computers and microprocessors are indispensable in modern technical systems, their deployment spanning the domains automotive, railway, aerospace, and transportation, security, energy supply, telecommunication, critical infrastructures and process ind- tries. They perform tasks that a few decades ago were very difficult if not impossible. As they perform these tasks with increasing efficiency, more and more tasks are shifted from hardware to software, which means that the dependability of computer systems becomes crucial for the safety, security and reliability of technical systems. With the so-called “embedded systems” (becoming more and more intelligent, networked and co-operating with each other, with humans and the environment) computers have invaded all aspects of daily life. New paradigms have arisen, like ubiquitous computing, systems-of-systems, energy and resource awareness, enormous complexity issues and the like, requiring a more holistic systems view as well. th So, after 31 years of SAFECOMP, the emphasis of the 29 event is on critical - bedded systems, which are almost omnipresent. Their impact on our lives, risks and challenges are often not well understood (underestimated or exaggerated). The p- mary issue is to cope with complexity, new failure modes and resource management, due to shrinking feature size, multi-core systems and management of multiple variants, while maintaining dependability properties and robustness.
فهرست مطالب
Front Matter....Pages -
Reliability Analysis of Safety-Related Communication Architectures....Pages 1-14
A Novel HAZOP Study Approach in the RAMS Analysis of a Therapeutic Robot for Disabled Children....Pages 15-27
Variability Management of Safety and Reliability Models: An Intermediate Model towards Systematic Reuse of Component Fault Trees....Pages 28-40
QoS Analysis of Weighted Multi-state Probabilistic Networks via Decision Diagrams....Pages 41-54
Comparison between IEC 60880 and IEC 61508 for Certification Purposes in the Nuclear Domain....Pages 55-67
Deriving Safety Cases for Hierarchical Structure in Model-Based Development....Pages 68-81
Assurance of Automotive Safety – A Safety Case Approach....Pages 82-96
How to “Survive” a Safety Case According to ISO 26262....Pages 97-111
Benchmarking Software Requirements Documentation for Space Application....Pages 112-125
Verifying Mode Consistency for On-Board Satellite Software....Pages 126-141
Computational Concerns in the Integration of Unmanned Airborne Systems into Controlled Airspace....Pages 142-154
Residual Error Probability of Embedded CRC by Stochastic Automata....Pages 155-168
ANB- and ANBDmem-Encoding: Detecting Hardware Errors in Software....Pages 169-182
Field Test Methods for a Co-operative Integrated Traffic Management System....Pages 183-195
100% Coverage for Safety-Critical Software – Efficient Testing by Static Analysis....Pages 196-209
MODIFI: A MODel-Implemented Fault Injection Tool....Pages 210-222
Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram....Pages 223-236
Overcoming Non-determinism in Testing Smart Devices: A Case Study....Pages 237-250
Software Testing by People with Autism....Pages 251-262
Information Flow Analysis of Energy Management in a Smart Grid....Pages 263-276
Integrated Cyber-Physical Fault Injection for Reliability Analysis of the Smart Grid....Pages 277-290
A Metric for Measuring the Strength of Inter-dependencies....Pages 291-302
Security Analysis of Open Building Automation Systems....Pages 303-316
A UML Profile for Requirements Analysis of Dependable Software....Pages 317-331
Model-Based Safety Engineering of Interdependent Functions in Automotive Vehicles Using EAST-ADL2....Pages 332-346
Experiences in Applying Formal Verification in Robotics....Pages 347-360
Evolving a Safe System Design Iteratively....Pages 361-374
An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems....Pages 375-388
Development of High-Integrity Software Product Lines Using Model Transformation....Pages 389-401
On the Safety Implications of E-Governance: Assessing the Hazards of Enterprise Information Architectures in Safety-Critical Applications....Pages 402-417
The Right Degree of Configurability for Safety-Critical Embedded Software in Variable Message Signs....Pages 418-430
INDEXYS, a Logical Step beyond GENESYS....Pages 431-451
Integrating System Modelling with Safety Activities....Pages 452-465
Aspect-Oriented Implementation of Fault Tolerance: An Assessment of Overhead....Pages 466-479
System of Systems Challenges....Pages 480-480
Murphy Was an Optimist....Pages 481-482
Process Control Security: Go Dutch! (United, Shared, Lean and Mean)....Pages 483-483
Back Matter....Pages -
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Digital Signal Processing: A Computer-Based Approach, 2e with DSP Laboratory using MATLAB
دانلود کتاب Central European Functional Programming School: Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Komárno, Slovakia, May 25-30, 2009, Revised Selected Lectures
دانلود کتاب Moj Mikro jul 1986
دانلود کتاب Programmation en C des PIC
دانلود کتاب The Cuckoo's Egg: Tracking a Spy Through the Maze of Computer Espionage
دانلود کتاب 3Dtotal.com Ltd. Painting Futuristic Cities
دانلود کتاب Intelligence and Security Informatics: Pacific Asia Workshop, PAISI 2010, Hyderabad, India, June 21, 2010. Proceedings
دانلود کتاب Cambridge International AS and A Levels Computer Science
