Logo des Repositoriums

Auflistung nach Autor:in "Stierand, Ingo"

1 - 2 von 2
  • Konferenzbeitrag
    A pattern-based requirement specification language: mapping automotive specific timing requirements
    (Software Engineering 2011 – Workshopband, 2011) Reinkemeier, Philipp; Stierand, Ingo; Rehkop, Philip; Henkler, Stefan
    Today most requirement specifications are documents written in natural language. Natural language however is abiguous. Thus computer-aided verification of system-models against such requirement specifications is generally impossible. In this paper we propose a textual requirement specification language (RSL), that is based on patterns, which have a formally defined semantics. RSL is able to express requirements from multiple aspects (e.g. real-time, safety, etc.) on a system. In order to apply RSL in the domain of automotive systems, it has to support timing requirements as the Timing Augmented Description Language (TADL). TADL is the comming standard for handling timing information in the automotive domain. In this paper, we present a mapping of TADL constraints to RSL patterns.
  • Konferenzbeitrag
    Providing Evidence for Correct and Timely Functioning of Software Safety Mechanisms
    (Software Engineering 2023 Workshops, 2023) Becker, Jan Steffen; Koopmann, Björn; Stierand, Ingo; Westhofen, Lukas
    In many application domains, the development of safety-critical systems must follow standards that define process steps and artifacts to establish a comprehensive safety argumentation. Commonly, this involves the identification of hazards and risks as well as the formulation of a safety concept to mitigate these risks. The concept is decomposed into safety requirements, which are finally implemented in hardware and software. All steps must be covered by analyses to ensure that the concept is effective and correctly implemented. This work focuses on timing aspects of the safety concept, i.e., on how it can be ensured that risk mitigation occurs in time. Based on an industrial use case, we show how consistent timing specifications can be derived, decomposed, and implemented in a complete and sound way. The approach extends previous work on contract-based design and investigates on explicating failure modes and fault detection in contract specifications. Finally, we show how model checking can support the verification of safety concepts and their implementation.