Atnaujinkite slapukų nuostatas

El. knyga: Model-Based Safety and Assessment: 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings

Edited by , Edited by , Edited by
  • Formatas: PDF+DRM
  • Serija: Lecture Notes in Computer Science 13525
  • Išleidimo metai: 08-Sep-2022
  • Leidėjas: Springer International Publishing AG
  • Kalba: eng
  • ISBN-13: 9783031158421
Kitos knygos pagal šią temą:
Model-Based Safety and Assessment: 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, ProceedingsDidesnis paveikslėlis
  • Formatas: PDF+DRM
  • Serija: Lecture Notes in Computer Science 13525
  • Išleidimo metai: 08-Sep-2022
  • Leidėjas: Springer International Publishing AG
  • Kalba: eng
  • ISBN-13: 9783031158421
Kitos knygos pagal šią temą:

DRM apribojimai

  • Kopijuoti:

    neleidžiama

  • Spausdinti:

    neleidžiama

  • El. knygos naudojimas:

    Skaitmeninių teisių valdymas (DRM)
    Leidykla pateikė šią knygą šifruota forma, o tai reiškia, kad norint ją atrakinti ir perskaityti reikia įdiegti nemokamą programinę įrangą. Norint skaityti šią el. knygą, turite susikurti Adobe ID . Daugiau informacijos  čia. El. knygą galima atsisiųsti į 6 įrenginius (vienas vartotojas su tuo pačiu Adobe ID).

    Reikalinga programinė įranga
    Norint skaityti šią el. knygą mobiliajame įrenginyje (telefone ar planšetiniame kompiuteryje), turite įdiegti šią nemokamą programėlę: PocketBook Reader (iOS / Android)

    Norint skaityti šią el. knygą asmeniniame arba „Mac“ kompiuteryje, Jums reikalinga  Adobe Digital Editions “ (tai nemokama programa, specialiai sukurta el. knygoms. Tai nėra tas pats, kas „Adobe Reader“, kurią tikriausiai jau turite savo kompiuteryje.)

    Negalite skaityti šios el. knygos naudodami „Amazon Kindle“.

This book constitutes the proceedings of the 8th International Symposium on Model-Based Safety and Assessment, IMBSA 2022, held in Munich, Germany, in September 2022. The 15 revised full papers and 3 short papers presented were carefully reviewed and selected from 27 initial submissions. The papers focus on model-based and automated ways of assessing safety and other attributes of dependability of complex systems. They are organized in topical sections on safety analysis automation, MBSA practices, causal models and failure modeling strategies, designing mitigations of faults and attacks, data based safety analysis, dynamic risk assessment.
Safety analysis automation.- An AEBS use case for Model-Based System
Design integrating Safety Analyses and Simulation.-  COMPASTA: Extending
TASTE with formal design and verification functionality.- MBSA practices.-
MBSA in aeronautics: a way to support safety activities.- Modeling the
Variability of System Safety Analysis using State-Machine Diagrams.-
Model-Based Safety Analysis: a Practical Experience.- Practical application
of Model-Based Safety Analysis to the Design of Global Operating System of
new rolling stock on automatic metro lines.- Plug-and-Produce... safely!
End-to-End Model-Based Safety Assurance for Reconfigurable Industry 4.0.-
Causal models and failure modeling strategies.- Strategies for modelling
failure propagation in dynamic systems with AltaRica.- Towards Causal
Model-based Engineering in Automotive System Safety.- Performance assessment
of an offshore windmill farm using AltaRica 3.0.- Component Fault and
Deficiency Tree (CFDT): Combining functional safety and SOTIF Analysis.-
Designing mitigations of Faults and Attacks.- A Capella-based Tool for the
Early Assessment of Nano/Micro Satellites Availability.- Data based safety
analysis.- A Deep Learning Framework for Wind Turbine Repair Action
Prediction Using Alarm Sequences and Long Short Term Memory Algorithms.- Tool
Paper: Time Series Anomaly Detection Platform for MATLAB Simulink.- Keep your
Distance: Determining Sampling and Distance Thresholds in Machine Learning
Monitoring.- Dynamic risk assessment.- Engineering Dynamic Risk and
Capability Models to Improve Cooperation Efficiency Between Human Workers and
Autonomous Mobile Robots in Shared Spaces.- SafeDrones: Real-Time Reliability
Evaluation of UAVs using Executable Digital Dependable Identities.
Daugiau apie elektronines knygas Daugiau apie elektronines knygas
Pastovi nuoroda: https://www.kriso.lt/db/97830311584212e.html
Raktažodžiai: