SAFECOMP B

21 papers

YearTitle / Authors
2018A Generic Method for a Bottom-Up ASIL Decomposition.
Alessandro Frigerio, Bart Vermeulen, Kees Goossens
2018A Model-Based Safety Analysis of Dependencies Across Abstraction Layers.
Christoph Dropmann, Eike Thaden, Mario Trapp, Denis Uecker, Rakshith Amarnath, Leandro Avila da Silva, Peter Munk, Markus Schweizer, Matthias Jung, Rasmus Adler
2018Assurance Benefits of ISO 26262 Compliant Microcontrollers for Safety-Critical Avionics.
Andreas Schwierz, Håkan Forsberg
2018Computer Safety, Reliability, and Security - 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings
Barbara Gallina, Amund Skavhaug, Friedemann Bitsch
2018Dependability Analysis of the AFDX Frame Management Design.
Venesa Watson, Mahlet Bejiga
2018Deriving and Formalising Safety and Security Requirements for Control Systems.
Elena Troubitsyna, Inna Vistbakka
2018Diversity in Open Source Intrusion Detection Systems.
Hafizul Asad, Ilir Gashi
2018Efficient On-Line Error Detection and Mitigation for Deep Neural Network Accelerators.
Christoph Schorn, Andre Guntoro, Gerd Ascheid
2018Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions.
Eckard Böde, Matthias Büker, Ulrich Eberle, Martin Fränzle, Sebastian Gerwinn, Birte Kramer
2018Fault-Tolerant Clock Synchronization with Only Two Redundant Paths.
Zoha Moztarzadeh
2018Formal Verification of Signalling Programs with SafeCap.
Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander B. Romanovsky
2018Inter-device Sensor-Fusion for Action Authorization on Industrial Mobile Robots.
Sarah Haas, Andrea Höller, Thomas Ulz, Christian Steger
2018MORE: MOdel-based REdundancy for Simulink.
Kai Ding, Andrey Morozov, Klaus Janschek
2018Multi-aspect Safety Engineering for Highly Automated Driving - Looking Beyond Functional Safety and Established Standards and Methodologies.
Patrik Feth, Rasmus Adler, Takeshi Fukuda, Tasuku Ishigooka, Satoshi Otsuka, Daniel Schneider, Denis Uecker, Kentaro Yoshimura
2018Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving.
Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Artho, Angelo Gargantini
2018Practical Experience Report: Automotive Safety Practices vs. Accepted Principles.
Philip Koopman
2018Random Additive Control Flow Error Detection.
Jens Vankeirsbilck, Niels Penneman, Hans Hallez, Jeroen Boydens
2018Roadblocks on the Highway to Secure Cars: An Exploratory Survey on the Current Safety and Security Practice of the Automotive Industry.
Michael M. Huber, Michael Brunner, Clemens Sauerwein, Carmen Cârlan, Ruth Breu
2018Safe and Secure Automotive Over-the-Air Updates.
Thomas Chowdhury, Eric Lesiuta, Kerianne Rikley, Chung-Wei Lin, Eunsuk Kang, BaekGyu Kim, Shinichi Shiraishi, Mark Lawford, Alan Wassyng
2018Structuring Validation Targets of a Machine Learning Function Applied to Automated Driving.
Lydia Gauerhof, Peter Munk, Simon Burton
2018Towards a Common Ontology of Safety Risk Concepts for Railway Vehicles and Signaling.
Bernhard Hulin, Hermann Kaindl, Roland Beckert, Thomas Rathfux, Roman Popp