↓ Skip to main content

Model-Based Safety and Assessment

Overview of attention for book
Cover of 'Model-Based Safety and Assessment'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Modeling Functional Allocation in AltaRica to Support MBSE/MBSA Consistency
  3. Altmetric Badge
    Chapter 2 Model Based Approach for RAMS Analyses in the Space Domain with Capella Open-Source Tool
  4. Altmetric Badge
    Chapter 3 Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0
  5. Altmetric Badge
    Chapter 4 A Domain Specific Language to Support HAZOP Studies of SysML Models
  6. Altmetric Badge
    Chapter 5 Integrating Existing Safety Analyses into SysML
  7. Altmetric Badge
    Chapter 6 FDS-ML: A New Modeling Formalism for Probabilistic Risk and Safety Analyses
  8. Altmetric Badge
    Chapter 7 Integrating Safety Design Artifacts into System Development Models Using SafeDeML
  9. Altmetric Badge
    Chapter 8 A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS
  10. Altmetric Badge
    Chapter 9 Compositionality of Component Fault Trees
  11. Altmetric Badge
    Chapter 10 Tiered Model-Based Safety Assessment
  12. Altmetric Badge
    Chapter 11 Model Synchronization: A Formal Framework for the Management of Heterogeneous Models
  13. Altmetric Badge
    Chapter 12 DPN – Dependability Priority Numbers
  14. Altmetric Badge
    Chapter 13 Towards Dependability and Energy Aware Asset Management Framework for Maintenance Planning in Smart Grids
  15. Altmetric Badge
    Chapter 14 Formal Verification of Network Interlocking Control by Distributed Signal Boxes
  16. Altmetric Badge
    Chapter 15 SQUADfps: Integrated Model-Based Machine Safety and Product Quality for Flexible Production Systems
  17. Altmetric Badge
    Chapter 16 A Serverless Architecture for Wireless Body Area Network Applications
  18. Altmetric Badge
    Chapter 17 Automated Model-Based Attack Tree Analysis Using HiP-HOPS
  19. Altmetric Badge
    Chapter 18 What Today’s Serious Cyber Attacks on Cars Tell Us: Consequences for Automotive Security and Dependability
  20. Altmetric Badge
    Chapter 19 Safety and Security Aspects of Fail-Operational Urban Surround perceptION (FUSION)
  21. Altmetric Badge
    Chapter 20 An Approach for Validating Safety of Perception Software in Autonomous Driving Systems
  22. Altmetric Badge
    Chapter 21 Stochastic Modelling of Autonomous Vehicles Driving Scenarios Using PEPA
  23. Altmetric Badge
    Chapter 22 A Runtime Safety Analysis Concept for Open Adaptive Systems
  24. Altmetric Badge
    Chapter 23 Clustering Environmental Conditions of Historical Accident Data to Efficiently Generate Testing Sceneries for Maritime Systems
  25. Altmetric Badge
    Chapter 24 Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
3 tweeters

Readers on

mendeley
13 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Model-Based Safety and Assessment
Published by
Springer International Publishing, January 2019
DOI 10.1007/978-3-030-32872-6
ISBNs
978-3-03-032871-9, 978-3-03-032872-6
Editors

Yiannis Papadopoulos, Koorosh Aslansefat, Panagiotis Katsaros, Marco Bozzano

Twitter Demographics

The data shown below were collected from the profiles of 3 tweeters who shared this research output. Click here to find out more about how the information was compiled.

Mendeley readers

The data shown below were compiled from readership statistics for 13 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 13 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 6 46%
Student > Doctoral Student 2 15%
Other 1 8%
Student > Master 1 8%
Researcher 1 8%
Other 0 0%
Unknown 2 15%
Readers by discipline Count As %
Engineering 7 54%
Computer Science 3 23%
Unknown 3 23%