default search action
4th IMBSA 2014: Munich, Germany
- Frank Ortmeier, Antoine Rauzy:
Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings. Lecture Notes in Computer Science 8822, Springer 2014, ISBN 978-3-319-12213-7
Modeling Paradigms
- Shaojun Li, Su Duo:
A Practicable MBSA Modeling Process Using Altarica. 1-13 - Mykhaylo Nykolaychuk, Michael Lipaczewski, Tino Liebusch, Frank Ortmeier:
On Efficiently Specifying Models for Model Checking. 14-27 - Melissa Issad, Leïla Kloul, Antoine Rauzy:
A Model-Based Methodology to Formalize Specifications of Railway Systems. 28-42
Validation and Testing
- Toby Wilkinson, Michael J. Butler
, John Colley:
A Systematic Approach to Requirements Driven Test Generation for Safety Critical Systems. 43-56 - Marion Morel:
Model-Based Safety Approach for Early Validation of Integrated and Modular Avionics Architectures. 57-69 - Luís Silva Azevedo, David Parker, Yiannis Papadopoulos, Martin Walker
Exploring the Impact of Different Cost Heuristics in the Allocation of Safety Integrity Levels. 70-81
Fault Detection and Handling
- Benjamin Bittner, Marco Bozzano, Alessandro Cimatti
An Integrated Process for FDIR Design in Aerospace. 82-95 - Sohag Kabir, Martin Walker
Reliability Analysis of Dynamic Systems by Translating Temporal Fault Trees into Bayesian Networks. 96-109 - Kai Höfig, Marc Zeller, Lars Grunske
metaFMEA-A Framework for Reusable FMEAs. 110-122
Safety Assessment in the Automotive Domain
- Abraham Cherfi, Antoine Rauzy, Michel Leeman:
AltaRica 3 Based Models for ISO 26262 Automotive Safety Mechanisms. 123-136 - Maged Khalil, Alejandro Prieto, Florian Hölzl:
A Pattern-Based Approach towards the Guided Reuse of Safety Mechanisms in the Automotive Domain. 137-151 - Stefan Schmidhuber, Michael Deubzer, Ralph Mader, Michael Niemetz, Jürgen Mottok:
Towards the Derivation of Guidelines for the Deployment of Real-Time Tasks on a Multicore Processor. 152-165
Case Studies
- Jelena Frtunikj, Vladimir Rupanov, Michael Armbruster, Alois C. Knoll
Adaptive Error and Sensor Management for Autonomous Vehicles: Model-Based Approach and Run-Time System. 166-180 - Hala Mortada, Tatiana Prosvirnova, Antoine Rauzy:
Safety Assessment of an Electrical System with AltaRica 3.0. 181-194 - Mohammad Reza Gholami, Hanifa Boucheneb:
Applying Formal Methods into Safety-Critical Health Applications. 195-208
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: