Dr.-Ing.

Schneider, Daniel

Filters

8 1
Reset filters

Settings
Now showing 1 - 9 of 9
  • Publication
    Safety4Ventilators - Public Project Report
    (Fraunhofer IESE, 2021)
    Sorokos, Ioannis
    ;
    Manta, Andrei
    ;
    Naveed, Akram Mohammed
    ;
    Maier, Oliver
    ;
    Schneider, Daniel
    Since December 2019, the world population has experienced one of the worst widespread lung disease pandemics of this century. Due to its high human-to-human transmission rate and lack of known medication and vaccination, COVID-19 caught most medical and pharmaceutical experts by surprise. The nature and the known effects of the novel SARS-CoV-19 virus led to a significant rise in demand for ICU ventilators. Together with the Kaiserslautern University of Applied Sciences (German: Hochschule Kaiserslautern, abbrev. HS KL), we present and provide a walkthrough across the safety engineering lifecycle for a proprietary ventilator, the latter being developed courtesy of our HS KL colleagues. The IEC 61508 Safety Engineering Lifecycle is applied as a case study, using our proprietary tool safeTbox.
  • Publication
    Conditional safety certification of open adaptive systems
    ( 2012)
    Schneider, Daniel
    ;
    Trapp, Mario
    In recent years it has become more and more evident that openness and adaptivity are key characteristics of next-generation distributed systems. The reason for this is not least due to the advent of computing trends like Ubiquitous Computing, Ambient Intelligence, and Cyber-Physical Systems, where systems are usually open for dynamic integration and able to react adaptively to changing situations. Despite being open and adaptive, it is a common requirement for such systems to be safe. However, traditional safety assurance techniques, both state-of-the-practice and state-of-the-art ones, are not sufficient in this context. We have recently developed some initial solution concepts based on conditional safety certificates and corresponding runtime analyses. In this article we show how to operationalize these concepts. To this end, we present 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.
  • Publication
    Approaching runtime trust assurance in open adaptive systems
    ( 2011)
    Schneider, Daniel
    ;
    Becker, Martin
    ;
    Trapp, Mario
    In recent years it has become more and more evident that the ability of systems to adapt themselves is an increasingly important requirement. This is not least driven by emerging computing trends like Ubiquitous Computing, Ambient Intelligence, and Cyber Physical Systems, where systems have to react on changing user needs, service/device availability and resource situations. Despite being open and adaptive it is a common requirement for such systems to be trustworthy, whereas traditional assurance techniques for related system properties like safety, reliability and security are not sufficient in this context. We recently developed the Plug&Safe approach for composition time safety assurance in systems of systems. In this position paper we provide an overview on Plug&Safe, elaborate the different facets of trust, and discuss how our approach can be augmented to enable trust assurance in open adaptive systems.
  • Publication
    A safety engineering framework for open adaptive systems
    ( 2011)
    Schneider, Daniel
    ;
    Trapp, Mario
    In recent years it has become more and more evident that openness and adaptivity are key characteristics of next generation distributed systems. The reason for that is not least the advent of computing trends like Ubiquitous Computing, Ambient Intelligence, and Cyber Physical Systems, where systems are usually open for dynamic integration and able to react adaptively to changing situations. Despite being open and adaptive it is a common requirement for such systems to be safe. However, traditional safety assurance techniques, both state-of-the-practice and state-of-the-art, are not sufficient in this context. We recently developed some initial solution concepts based on conditional safety certificates and corresponding runtime analyses. In this paper we show how to operationalize these concepts. To this end we present 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.
  • Publication
    Evaluation of AAL platforms according to architecture-based quality attributes
    ( 2011)
    Antonino, Pablo
    ;
    Schneider, Daniel
    ;
    Hofmann, Cristian
    ;
    Nakagawa, Elisa Yumi
    In the Ambient Assisted Living (AAL) domain, specific systems have been developed and applied to enable people with specific needs, such as elderly or disabled people, to live longer independently in their familiar residential environments. In order to support the development of such systems, a range of AAL platforms have been developed in recent years. However, there are considerable differences among these AAL platforms, particularly with respect to the treatment of important non-functional properties. This makes the selection of a suitable platform for a given AAL project very difficult. In order to support developers in this difficult task, we present an evaluation of relevant AAL platforms based on a selection of quality attributes that are important for AAL systems.
  • Publication
    Evaluating adaptation behavior of adaptive systems
    ( 2010)
    Antonino, Pablo
    ;
    Orfgen, Marius
    ;
    Schneider, Daniel
    ;
    Hussain, Tanvir
    ;
    Becker, Martin
    With the advent of new computing paradigms, such as Ubiquitous Computing, Ambient Intelligence, and Cyber Physical Systems, promising application domains like Ambient Assisted Living (AAL) and Car2Car have emerged. One key concern in these application domains is that systems are required to dynamically adapt in reaction to changes within the system or its environment. As a consequence, it is indispensable to incorporate corresponding facilities within systems, yielding adequate adaptation behavior to appropriately react on such dynamic changes. The definition of adaptation behavior is, however, a complex task in its own. In order to help engineers working on adaptive systems, we propose in this paper a generic testbed that allows specifying adaptation strategies and evaluating them in a runtime context to improve the adaptation behavior. Our approach further introduces basic visualization features as a means for the engineers to better evaluate the complex dynamic behavior resulting from runtime adaptation.
  • Publication
    Comparative study of variability management in software product lines and runtime adaptable systems
    ( 2009)
    Alves, Vander
    ;
    Schneider, Daniel
    ;
    Becker, Martin
    ;
    Bencomo, Nelly
    ;
    Grace, Paul
    Software Product Lines (SPL) and Runtime Adaptation (RTA) have traditionally been distinct research areas addressing different problems and with different communities. Despite the differences, there are also underlying commonalities with synergies that are worth investigating in both domains, potentially leading to more systematic variability support in both domains. Accordingly, this paper analyses commonality and differences of variability management between SPL and RTA and presents an initial discussion on the feasibility of integrating variability management in both areas.
  • Publication
    Mapping of formal network quality-of-service requirements
    ( 2007)
    Webel, Christian
    ;
    Gotzhein, Reinhard
    ;
    Schneider, Daniel
    The provision of network Quality-of-Service (network QoS) in wireless (ad-hoc) networks is a major challenge in the development of future communication systems. Before designing and implementing these systems, the network QoS requirements are to be specified. Since QoS functionalities are integrated across layers and hence QoS specifications exist on different system layers, a QoS mapping technique is needed to translate the specifications into each other. In this paper, we formalize the relationship between layers. Based on a comprehensive and holistic formalization of network QoS requirements, we define two kinds of QoS mappings. QoS domain mappings associate QoS domains of two abstraction levels. QoS scalability mappings associate utility and cost functions of two abstraction levels. We illustrate our approach by examples from the case study Wireless Video Transmission.
  • Publication
    Formalization of network quality-of-service requirements
    ( 2007)
    Webel, Christian
    ;
    Gotzhein, Reinhard
    ;
    Schneider, Daniel
    The provision of network Quality-of-Service (network QoS) in wireless (ad-hoc) networks is a major challenge in the development of future communication systems. Before designing and implementing these systems, the network QoS requirements are to be specified. Existing approaches to the specification of network QoS requirements are mainly focused on specific domains or individual system layers. In this paper, we present a holistic, comprehensive formalization of network QoS requirements, across layers. QoS requirements are specified on each layer by defining QoS domain, consisting of QoS performance, reliability, and guarantee, and QoS scalability, with utility and cost functions. Furthermore, we derive preorders on multi-dimensional QoS domains, and present criteria to reduce these domains, leading to a manageable subset of QoS values that is sufficient for system design and implementation. We illustrate our approach by examples from the case study Wireless Video Transmission.