Logo des Repositoriums

Auflistung nach Autor:in "Slotosch, Oscar"

1 - 5 von 5
  • Konferenzbeitrag
    CASE support and model-based development
    (Modellierung 2004, 2004) Schätz, Bernhard; Romberg, Jan; Slotosch, Oscar; Strecker, Martin
  • Konferenzbeitrag
    Development of a car seat: A case study using AUTOFOCUS, DOORS, and the Validas Validator
    (OMER - Object-oriented Modeling of Embedded Real-Time Systems, GI-Workshops OMER-1 & OMER-2, 2001) Braun, Peter; Slotosch, Oscar
    In this paper we describe the modeling process and the resulting model of a typical car seat. The requirements of this seat are documented in [Chr00] which are the input of our process. We used the tools AUTOFOCUS [AF-02], DOORS [Tel02], and Validas Validator [Val02]. Starting with requirements analysis we develop first model fragments. Afterwards the graphical, component oriented approach of AUTOFOCUS is used to model the system. Requirements management and tracing techniques ensure that all requirements are implemented. The model-based core of the development process helps very much for the requirements tracing. The model fragments of the earlier phases can be updated so that tracing information is consistent. Compared to traditional requirements tracing techniques less manual interaction is needed. Beside this the test management is also done based upon the requirements. For relevant requirements test cases are specified. This is done using the AUTOFOCUS notation of Extended Event Traces (EETs) a variant of Message Sequence Charts (MSCs). Afterwards the generated code of the model is tested based upon those test cases. Further validation techniques like simulation, consistency, and determinism checks of the Validas Validator have led to the detection of inconsistencies in the model and in the specification.
  • Konferenzbeitrag
    ISO 26262 - Tool chain analysis reduces tool qualification costs
    (Automotive - Safety & Security 2012, 2012) Slotosch, Oscar; Wildmoser, Martin; Philipps, Jan; Jeschull, Reinhard; Zalman, Rafael
    Software tools in safety related projects are indispensable, but also introduce risks. A tool error may lead to the injection or non-detection of a fault in the product. For this reason the safety norm for road vehicles, ISO 26262, requires determination of a tool confidence level for each software tool. In this paper we present a model-based approach to represent a tool chain, its potential errors and the counter-measures for these. In this model tools are not only error sources, but can also act as error sinks for other tools by providing appropriate checks and restrictions. The tool work flow in a project can be rearranged or extended to make the integrated tool chain safer than its parts and to reduce tool qualification costs greatly. The tool chain model not only identifies the critical tools, but also exposes very specific qualification requirements for these. The paper illustrates and augments this approach with experiences and results from an application to a real industrial automotive tool chain consisting of 37 tools.
  • Konferenzbeitrag
    Modeling and Safety-Certification of Model-based Development Processes
    (Modellierung 2018, 2018) Slotosch, Oscar; Abu-Alqumsan, Mohammad
    In this paper, we describe a two-step approach to show evidence for compliance with safety standards within certification efforts for model-based development projects that share some commonalities (i.e. using the same metamodel). The approach is based on modeling model-based development processes in combination with the requirements imposed on them by safety standards. Besides the typical benefits of model-based approaches (modularity, rigor, formalization and simulation), we use the combined hierarchic processes-requirements model in order to automatically generate formalized descriptions of processes, standard compliance report and verification check-lists. The process description can be used to introduce new team members to the deployed development processes. As a concrete example of the proposed approach, we present representative parts of the Validas model-based tool qualification process that has been fully modeled and certified based on the automatically generated documents by TÜV SÜD
  • Konferenzbeitrag
    Transforming Message Sequence Charts for Testing – Automated Test Code Generation for Different Abstraction Layers
    (Modellierung 2008, 2008) Slotosch, Oscar
    In this paper we describe experiences gained from using Message Sequence Charts (MSCs) for the specification and execution of tests. Using a test code generator (MSC2C) allows us to verify a system under test against the specified sequences. For executing one test specification on different test stages with different interfaces we applied transformation rules that transform abstract MSCs to concrete MSCs for different test stages. The rules are also formulated as MSCs. We demonstrate the approach using aspects from the AUTOSAR network management function.