default search action
6th IMBSA 2019: Thessaloniki, Greece
- Yiannis Papadopoulos, Koorosh Aslansefat
, Panagiotis Katsaros, Marco Bozzano
Model-Based Safety and Assessment - 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings. Lecture Notes in Computer Science 11842, Springer 2019, ISBN 978-3-030-32871-9
Safety Models and Languages
- Mathilde Machin, Estelle Saez, Pierre Virelizier, Xavier de Bossoreille:
Modeling Functional Allocation in AltaRica to Support MBSE/MBSA Consistency. 3-17 - Lorenzo Bitetti, Régis De Ferluc, David Mailland, Guy Gregoris, Fulvio Capogna:
Model Based Approach for RAMS Analyses in the Space Domain with Capella Open-Source Tool. 18-31 - Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy:
Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0. 32-46 - Arut Prakash Kaleeswaran, Peter Munk, Samir Sarkic, Thomas Vogel
A Domain Specific Language to Support HAZOP Studies of SysML Models. 47-62 - Kester Dean Clegg, Mole Li, David Stamp, Alan Grigg, John A. McDermid
Integrating Existing Safety Analyses into SysML. 63-77 - Liu Yang, Antoine Rauzy:
FDS-ML: A New Modeling Formalism for Probabilistic Risk and Safety Analyses. 78-92 - Tim Gonschorek
Integrating Safety Design Artifacts into System Development Models Using SafeDeML. 93-106
Dependability Analysis Processes
- Sohag Kabir, Koorosh Aslansefat
A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPS. 109-124 - Simon Greiner, Peter Munk, Arne Nordmann:
Compositionality of Component Fault Trees. 125-140 - Kevin Delmas, Christel Seguin, Pierre Bieber:
Tiered Model-Based Safety Assessment. 141-156 - Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy:
Model Synchronization: A Formal Framework for the Management of Heterogeneous Models. 157-172 - Zhensheng Guo, Marc Zeller:
DPN - Dependability Priority Numbers. 173-187 - Jose Ignacio Aizpurua
Towards Dependability and Energy Aware Asset Management Framework for Maintenance Planning in Smart Grids. 188-203 - Stylianos Basagiannis
Formal Verification of Network Interlocking Control by Distributed Signal Boxes. 204-221 - Chee Hung Koo, Stefan Rothbauer, Marian Vorderer, Kai Höfig, Marc Zeller:
SQUADfps: Integrated Model-Based Machine Safety and Product Quality for Flexible Production Systems. 222-236
Security Assessment
- Pangkaj Chandra Paul, John Loane
A Serverless Architecture for Wireless Body Area Network Applications. 239-254 - Declan Whiting, Ioannis Sorokos, Yiannis Papadopoulos, Gilbert Regan
Automated Model-Based Attack Tree Analysis Using HiP-HOPS. 255-269 - Markus Zoppelt, Ramin Tavakoli Kolagari:
What Today's Serious Cyber Attacks on Cars Tell Us: Consequences for Automotive Security and Dependability. 270-285 - Georg Macher
Safety and Security Aspects of Fail-Operational Urban Surround perceptION (FUSION). 286-300
Safety Assessment in Automotive Industry
- Deepak Rao
An Approach for Validating Safety of Perception Software in Autonomous Driving Systems. 303-316 - Wei Chen, Leïla Kloul:
Stochastic Modelling of Autonomous Vehicles Driving Scenarios Using PEPA. 317-331 - Sohag Kabir, Ioannis Sorokos, Koorosh Aslansefat, Yiannis Papadopoulos, Youcef Gheraibia, Jan Reich
A Runtime Safety Analysis Concept for Open Adaptive Systems. 332-346
AI in Safety Assessment
- Tim Wuellner
Clustering Environmental Conditions of Historical Accident Data to Efficiently Generate Testing Sceneries for Maritime Systems. 349-362 - Inna Vistbakka, Elena Troubitsyna:
Pattern-Based Formal Approach to Analyse Security and Safety of Control Systems. 363-378
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-21 20:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: