دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings
دانلود کتاب ایمنی و ارزیابی مبتنی بر مدل: هفتمین سمپوزیوم بین‌المللی، IMBSA 2020، لیسبون، پرتغال، 14 تا 16 سپتامبر 2020، مجموعه مقالات
مشخصات کتاب
Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings
ویرایش: [1st ed.]
نویسندگان: Marc Zeller. Kai Höfig
سری: Lecture Notes in Computer Science 12297
ISBN (شابک) : 9783030589196, 9783030589202
ناشر: Springer International Publishing;Springer
سال نشر: 2020
تعداد صفحات: XI, 255
[256]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 29 Mb
قیمت کتاب (تومان) : 49,000
در صورت تبدیل فایل کتاب Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ایمنی و ارزیابی مبتنی بر مدل: هفتمین سمپوزیوم بین‌المللی، IMBSA 2020، لیسبون، پرتغال، 14 تا 16 سپتامبر 2020، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ایمنی و ارزیابی مبتنی بر مدل: هفتمین سمپوزیوم بین‌المللی، IMBSA 2020، لیسبون، پرتغال، 14 تا 16 سپتامبر 2020، مجموعه مقالات
این کتاب مجموعه مقالات هفتمین سمپوزیوم بین‌المللی ایمنی و
ارزیابی مبتنی بر مدل، IMBSA 2020 است که در لیسبون، پرتغال، در
سپتامبر 2020 برگزار شد. این کنفرانس تقریباً به دلیل همه‌گیری
COVID-19 برگزار شد.
15 مقاله کامل اصلاح شده و 4 مقاله کوتاه ارائه شده به دقت
بررسی و از بین 30 مقاله ارسالی اولیه انتخاب شدند. مقالات در
بخش های موضوعی در مورد مدل ها و زبان های ایمنی سازماندهی شده
اند. مدل سازی فضای حالت؛ فرآیند تجزیه و تحلیل قابلیت اطمینان؛
ارزیابی ایمنی در حوزه خودرو؛ هوش مصنوعی و تضمین ایمنی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 7th
International Symposium on Model-Based Safety and Assessment,
IMBSA 2020, held in Lisbon, Portugal, in September 2020. The
conference was held virtually due to the COVID-19
pandemic.
The 15 revised full papers and 4 short papers presented were
carefully reviewed and selected from 30 initial submissions.
The papers are organized in topical sections on safety models
and languages; state-space modeling; dependability analysis
process; safety assessment in automotive domain; AI and
safety assurance.
فهرست مطالب
Front Matter ....Pages i-xi
Front Matter ....Pages 1-1
A Visual Notation for the Representation of Assurance Cases Using SACM (Nungki Selviandro, Richard Hawkins, Ibrahim Habli)....Pages 3-18
Argument-Driven Safety Engineering of a Generic Infusion Pump with Digital Dependability Identities (Jan Reich, Joshua Frey, Emilia Cioroaica, Marc Zeller, Martin Rothfelder)....Pages 19-33
Model-Based Risk Analysis for an Open-Source PCA Pump Using AADL Error Modeling (Hariharan Thiagarajan, Brian Larson, John Hatcliff, Yi Zhang)....Pages 34-50
Front Matter ....Pages 51-51
Reliability Evaluation of Reconfigurable NMR Architecture Supported with Hot Standby Spare: Markov Modeling and Formulation (Koorosh Aslansefat, Gholamreza Latif-Shabgahi, Mehrdad Mohammadi)....Pages 53-67
Branching Transitions for Semi-Markov Processes with Application to Safety-Critical Systems (Stefan Kaalen, Mattias Nyberg)....Pages 68-82
Optimal Scheduling of Preventive Maintenance for Safety Instrumented Systems Based on Mixed-Integer Programming (Anas Abdelkarim, Ping Zhang)....Pages 83-96
Front Matter ....Pages 97-97
Counterexample Interpretation for Contract-Based Design (Arut Prakash Kaleeswaran, Arne Nordmann, Thomas Vogel, Lars Grunske)....Pages 99-114
Property-Based Fault Injection: A Novel Approach to Model-Based Fault Injection for Safety Critical Systems (Athira Varma Jayakumar, Carl Elks)....Pages 115-129
Failure Mode Reasoning in Model Based Safety Analysis (Hamid Jahanian, David Parker, Marc Zeller, Annabelle McIver, Yiannis Papadopoulos)....Pages 130-145
Front Matter ....Pages 147-147
A Systematic Approach to Analyzing Perception Architectures in Autonomous Vehicles (Iwo Kurzidem, Ahmad Saad, Philipp Schleiss)....Pages 149-162
Identification and Quantification of Hazardous Scenarios for Automated Driving (Birte Kramer, Christian Neurohr, Matthias Büker, Eckard Böde, Martin Fränzle, Werner Damm)....Pages 163-178
An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems (Lucas Bressan, André L. de Oliveira, Fernanda Campos, Yiannis Papadopoulos, David Parker)....Pages 179-193
Front Matter ....Pages 195-195
SafeML: Safety Monitoring of Machine Learning Classifiers Through Statistical Difference Measures (Koorosh Aslansefat, Ioannis Sorokos, Declan Whiting, Ramin Tavakoli Kolagari, Yiannis Papadopoulos)....Pages 197-211
Model-Based Error Detection for Industrial Automation Systems Using LSTM Networks (Sheng Ding, Andrey Morozov, Silvia Vock, Michael Weyrich, Klaus Janschek)....Pages 212-226
U-Map: A Reference Map for Safe Handling of Runtime Uncertainties (Nishanth Laxman, Chee Hung Koo, Peter Liggesmeyer)....Pages 227-241
Back Matter ....Pages 245-255
نظرات کاربران
کتاب های تصادفی
دانلود کتاب EGA II: Etudes globales elementaires de quelques classes de morphismes
دانلود کتاب 走出晚清：涉外人物及中国的世界观念之研究
دانلود کتاب Towards the Mountain: A story of grief and hope forty years on from Erebus
دانلود کتاب Wayne Goddard's $50 Knife Shop, Revised
