Abstract is missing.
- Modeling Functional Allocation in AltaRica to Support MBSE/MBSA ConsistencyMathilde Machin, Estelle Saez, Pierre Virelizier, Xavier de Bossoreille. 3-17 [doi]
- Model Based Approach for RAMS Analyses in the Space Domain with Capella Open-Source ToolLorenzo Bitetti, Régis De Ferluc, David Mailland, Guy Gregoris, Fulvio Capogna. 18-31 [doi]
- Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0Michel Batteux, Tatiana Prosvirnova, Antoine Rauzy. 32-46 [doi]
- A Domain Specific Language to Support HAZOP Studies of SysML ModelsArut Prakash Kaleeswaran, Peter Munk, Samir Sarkic, Thomas Vogel 0001, Arne Nordmann. 47-62 [doi]
- Integrating Existing Safety Analyses into SysMLKester Clegg, Mole Li, David Stamp, Alan Grigg, John McDermid. 63-77 [doi]
- FDS-ML: A New Modeling Formalism for Probabilistic Risk and Safety AnalysesLiu Yang, Antoine Rauzy. 78-92 [doi]
- Integrating Safety Design Artifacts into System Development Models Using SafeDeMLTim Gonschorek, Philipp Bergt, Marco Filax, Frank Ortmeier. 93-106 [doi]
- A Conceptual Framework to Incorporate Complex Basic Events in HiP-HOPSSohag Kabir, Koorosh Aslansefat, Ioannis Sorokos, Yiannis Papadopoulos, Youcef Gheraibia. 109-124 [doi]
- Compositionality of Component Fault TreesSimon Greiner, Peter Munk, Arne Nordmann. 125-140 [doi]
- Tiered Model-Based Safety AssessmentKevin Delmas, Christel Seguin, Pierre Bieber. 141-156 [doi]
- Model Synchronization: A Formal Framework for the Management of Heterogeneous ModelsMichel Batteux, Tatiana Prosvirnova, Antoine Rauzy. 157-172 [doi]
- DPN - Dependability Priority NumbersZhensheng Guo, Marc Zeller. 173-187 [doi]
- Towards Dependability and Energy Aware Asset Management Framework for Maintenance Planning in Smart GridsJose Ignacio Aizpurua, Unai Garro, Eñaut Muxika, Mikel Mendicute, Ian Paul Gilbert. 188-203 [doi]
- Formal Verification of Network Interlocking Control by Distributed Signal BoxesStylianos Basagiannis, Panagiotis Katsaros. 204-221 [doi]
- SQUADfps: Integrated Model-Based Machine Safety and Product Quality for Flexible Production SystemsChee Hung Koo, Stefan Rothbauer, Marian Vorderer, Kai Höfig, Marc Zeller. 222-236 [doi]
- A Serverless Architecture for Wireless Body Area Network ApplicationsPangkaj Chandra Paul, John Loane, Fergal McCaffery, Gilbert Regan. 239-254 [doi]
- Automated Model-Based Attack Tree Analysis Using HiP-HOPSDeclan Whiting, Ioannis Sorokos, Yiannis Papadopoulos, Gilbert Regan, Eoin O'Carroll. 255-269 [doi]
- What Today's Serious Cyber Attacks on Cars Tell Us: Consequences for Automotive Security and DependabilityMarkus Zoppelt, Ramin Tavakoli Kolagari. 270-285 [doi]
- Safety and Security Aspects of Fail-Operational Urban Surround perceptION (FUSION)Georg Macher, Norbert Druml, Omar Veledar, Jakob Reckenzaun. 286-300 [doi]
- An Approach for Validating Safety of Perception Software in Autonomous Driving SystemsDeepak Rao, Plato Pathrose, Felix Huening, Jithin Sid. 303-316 [doi]
- Stochastic Modelling of Autonomous Vehicles Driving Scenarios Using PEPAWei Chen, Leïla Kloul. 317-331 [doi]
- A Runtime Safety Analysis Concept for Open Adaptive SystemsSohag Kabir, Ioannis Sorokos, Koorosh Aslansefat, Yiannis Papadopoulos, Youcef Gheraibia, Jan Reich, Merve Saimler, Ran Wei. 332-346 [doi]
- Clustering Environmental Conditions of Historical Accident Data to Efficiently Generate Testing Sceneries for Maritime SystemsTim Wuellner, Sebastian Feuerstack, Axel Hahn. 349-362 [doi]
- Pattern-Based Formal Approach to Analyse Security and Safety of Control SystemsInna Vistbakka, Elena Troubitsyna. 363-378 [doi]