دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
دانلود کتاب قابلیت اطمینان ، ایمنی و امنیت سیستم های ریلی. مدل سازی ، تجزیه و تحلیل ، تأیید و صدور گواهینامه: اولین کنفرانس بین المللی ، RSSRail 2016 ، پاریس ، فرانسه ، 28-30 ژوئن 2016 ، مجموعه مقالات
مشخصات کتاب
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings
ویرایش: 1 نویسندگان: Thierry Lecomte, Ralf Pinger, Alexander Romanovsky (eds.) سری: Lecture Notes in Computer Science 9707 ISBN (شابک) : 9783319339504, 9783319339511 ناشر: Springer International Publishing سال نشر: 2016 تعداد صفحات: 261 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 11 مگابایت
قیمت کتاب (تومان) : 39,000
کلمات کلیدی مربوط به کتاب قابلیت اطمینان ، ایمنی و امنیت سیستم های ریلی. مدل سازی ، تجزیه و تحلیل ، تأیید و صدور گواهینامه: اولین کنفرانس بین المللی ، RSSRail 2016 ، پاریس ، فرانسه ، 28-30 ژوئن 2016 ، مجموعه مقالات: مهندسی نرم افزار، منطق و معانی برنامه ها، شبکه های ارتباطی کامپیوتری، سیستم ها و امنیت داده ها، منطق ریاضی و زبان های رسمی، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب قابلیت اطمینان ، ایمنی و امنیت سیستم های ریلی. مدل سازی ، تجزیه و تحلیل ، تأیید و صدور گواهینامه: اولین کنفرانس بین المللی ، RSSRail 2016 ، پاریس ، فرانسه ، 28-30 ژوئن 2016 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب قابلیت اطمینان ، ایمنی و امنیت سیستم های ریلی. مدل سازی ، تجزیه و تحلیل ، تأیید و صدور گواهینامه: اولین کنفرانس بین المللی ، RSSRail 2016 ، پاریس ، فرانسه ، 28-30 ژوئن 2016 ، مجموعه مقالات
این کتاب مجموعه مقالات داوری اولین کنفرانس بین‌المللی قابلیت اطمینان، ایمنی و امنیت سیستم‌های راه‌آهن، RSSRail 2016، در پاریس، فرانسه، در ژوئن 2016 است. 36 ارسال اولیه. این مقالات طیف وسیعی از موضوعات از جمله تجزیه و تحلیل خرابی، تأیید درهم تنیدگی، مشخصات و اصلاح سیستم رسمی، تجزیه و تحلیل امنیتی ERTMS، تأیید ایمنی، رسمی‌سازی الزامات، اتوماسیون اثبات، امنیت عملیاتی، قابلیت اطمینان سیستم راه‌آهن، ارزیابی ریسک برای ERTMS، و تأیید EN-50128 را پوشش می‌دهند. الزامات ایمنی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the
FirstInternational Conference on Reliability, Safety, and
Security of RailwaySystems, RSSRail 2016, held in Paris,
France, in June 2016.
The 15 revised full papers presented were carefully reviewed
andselected from 36 initial submissions. The papers cover a
wide range oftopics including failure analysis, interlocking
verification, formalsystem specification and refinement,
security analysis of ERTMS, safetyverification, formalisation
of requirements, proof automation,operational security,
railway system reliability, risk assessment forERTMS, and
verification of EN-50128 safety requirements.
فهرست مطالب
Front Matter....Pages I-XII
Front Matter....Pages 1-1
The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned....Pages 3-19
Using Formal Proof and B Method at System Level for Industrial Projects....Pages 20-31
A Novel Approach to HW/SW Integration Testing of Route-Based Interlocking System Controllers....Pages 32-49
Front Matter....Pages 51-51
A Formal Security Analysis of ERTMS Train to Trackside Protocols....Pages 53-68
Operational Security – A Coming Evolution of Railway Operational Procedures Under the IT Security Threat....Pages 69-78
Risk Assessment of the 3Des in ERTMS....Pages 79-92
Front Matter....Pages 93-93
Failure Analysis of Chinese Train Control System Level 3 Based on Model Checking....Pages 95-105
Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models....Pages 106-122
Static Verification of Railway Schema and Interlocking Design Data....Pages 123-133
Verification of Railway Interlocking - Compositional Approach with OCRA....Pages 134-149
Safety Verification of Heterogeneous Railway Networks....Pages 150-159
Comparing Formal Verification Approaches of Interlocking Systems....Pages 160-177
Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems....Pages 178-188
Front Matter....Pages 189-189
Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements ....Pages 191-202
The PERF Approach for Formal Verification....Pages 203-214
Abstract Software Specifications and Automatic Proof of Refinement....Pages 215-230
S3: Proving the Safety of Critical Systems....Pages 231-242
Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo ....Pages 243-253
Back Matter....Pages 255-255
