D
Daniel Schneider
Researcher at University of Navarra
Publications - 74
Citations - 1057
Daniel Schneider is an academic researcher from University of Navarra. The author has contributed to research in topics: Safety assurance & Cyber-physical system. The author has an hindex of 17, co-authored 72 publications receiving 902 citations. Previous affiliations of Daniel Schneider include Fraunhofer Society.
Papers
More filters
Using Models at Runtime to Address Assurance for Self-Adaptive Systems.
Betty H. C. Cheng,Kerstin Eder,Martin Gogolla,Lars Grunske,Marin Litoiu,Hausi A. Müller,Patrizio Pelliccione,Patrizio Pelliccione,Anna Perini,Nauman A. Qureshi,Bernhard Rumpe,Daniel Schneider,Frank Trollmann,Norha M. Villegas,Norha M. Villegas +14 more
TL;DR: A key challenge for self-adaptive software systems is assurance, and fundamental to the develop- ment of runtime assurance techniques is research into the use of models at runtime.
Journal ArticleDOI
Conditional Safety Certification of Open Adaptive Systems
Daniel Schneider,Mario Trapp +1 more
TL;DR: This article presents in detail how to specify conditional safety certificates, how to transform them into suitable runtime models, and how these models finally support dynamic safety evaluations.
Book ChapterDOI
Using models at runtime to address assurance for self-adaptive systems
Betty H. C. Cheng,Kerstin Eder,Martin Gogolla,Lars Grunske,Marin Litoiu,Hausi A. Müller,Patrizio Pelliccione,Patrizio Pelliccione,Anna Perini,Nauman A. Qureshi,Bernhard Rumpe,Daniel Schneider,Frank Trollmann,Norha M. Villegas,Norha M. Villegas +14 more
TL;DR: In this paper, the authors propose to use models at runtime in self-adaptive software systems to guarantee the correctness of the system requirements even in the presence of adverse conditions and adaptations.
Journal ArticleDOI
Combined automotive safety and security pattern engineering approach
Helmut Martin,Zehndong Ma,Christoph Schmittner,Bernhard Winkler,Martin Krammer,Daniel Schneider,Tiago Amorim,Georg Macher,Christian Kreiner +8 more
TL;DR: A combined safety and security pattern engineering workflow is proposed to provide systematic guidance to support non-expert engineers based on best practices and to provide guidance with respect to selection and combination of both types of patterns in context of system engineering.
Book ChapterDOI
Systematic Pattern Approach for Safety and Security Co-engineering in the Automotive Domain
Tiago Amorim,Helmut Martin,Zehndong Ma,Christoph Schmittner,Daniel Schneider,Georg Macher,Bernhard Winkler,Martin Krammer,Christian Kreiner +8 more
TL;DR: This work proposes a systematic pattern-based approach that interlinks safety and security patterns and provides guidance with respect to selection and combination of both types of patterns in context of system engineering.