Logo des Repositoriums

Auflistung nach Autor:in "Conrad, Mirko"

1 - 7 von 7
  • Konferenzbeitrag
    Artifact-centric compliance demonstration for ISO 26262 projects using model-based design
    (INFORMATIK 2012, 2012) Conrad, Mirko
    Automotive software components are frequently engineered using Model-Based Design. For software that needs to comply with the ISO 26262 standard, OEMs and suppliers look for efficient ways to demonstrate compliance with the software-related requirements of this functional safety standard. To demonstrate process compliance, the objectives and requirements of ISO 26262-6 need to be mapped onto Model-Based Design approaches and tools. Since Model- Based Design projects typically use a tailored version of the ISO 26262 reference phase model for software development, this is not a straightforward task. This paper discusses an artifact-centric compliance demonstration approach intended to streamline ISO 26262 compliance documentation for software developed using Model-Based Design with code generation. Using templates and distinguishing between application-specific and application-agnostic compliance arguments, the approach facilitates partial re-use of the compliance documentation artifacts across Model-Based Design projects using the same or updated tools and processes.
  • Konferenzbeitrag
    Code generator testing in practice
    (Informatik 2004, Informatik verbindet, Band 2, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), 2004) Stürmer, Ingo; Conrad, Mirko
    This paper provides an overview of a practice-oriented testing approach for code generation tools. The main application area for the testing approach presented here is the testing of optimisations performed by the code generator. The test models and corresponding test vectors generated represent an important component in a comprehensive test suite for code generators.
  • Konferenzbeitrag
    Deployment of model-based software development in safety-related applications: challenges and solutions scenarios
    (Modellierung 2006, 2006) Conrad, Mirko; Doerr, Heiko
    Since the mid 1990s, model-based development techniques have been adopted for the development of embedded automotive control software. Nowadays, they are also increasingly being deployed in safety-related applications. In usage scenarios such as these, the requirements of standards and guidelines from the safety area have to be adapted and be mapped onto model-based development. This paper discusses the challenges that appear in the process and sketches possible solutions.
  • Konferenzbeitrag
    Graph transformations for model-based testing
    (Modellierung 2002, Modellierung in der Praxis – Modellierung für die Praxis, 2002) Conrad, Mirko; Dörr, Heiko; Stürmer, Ingo; Schürr, Andy
    Model-based development uses modeling and simulation as essential means for specification, rapid prototyping, design, and realization of embedded systems. The classification-tree method complements model-based development with a formal approach for test case description and automation. This paper shows how "raw" classification trees are transformed into complete classificati- on trees using an extensible tool, the classification-tree transformer (CTT). This tool and its domain specific extensions are generated using the graph rewriting system PROGRES.
  • Zeitschriftenartikel
    ISO 26262 – Exemplary Tool Classification of Model-Based Design Tools
    (Softwaretechnik-Trends Band 31, Heft 3, 2011) Conrad, Mirko; Fey, Ines
    Tool classification is an important part of the tool qualification process required by ISO 26262 since it determines the required confidence level for each tool in use. To cover the variety of tools used by practitioners, the standard only provides a framework for tool classification and leaves it up to the applicant to instantiate this framework. To illustrate the ISO 26262 tool classification procedure, this paper provides an exemplary tool classification for the Model Advisor, a static analysis tool used in Model-Based Design, By putting this example into the context of a practical tool qualification approach for COTS tools, the author’s report their experiences in instantiating the ISO 26262-8 tool qualification framework.
  • Konferenzbeitrag
    Model-based design for IEC 61508: Towards translation validation of generated code
    (Software Engineering 2008, 2008) Conrad, Mirko
  • Konferenzbeitrag
    Modellbasierte Entwicklung eingebetteter Fahrzeugsoftware bei DaimlerChrysler
    (Modellierung 2004, 2004) Klein, Torsten; Conrad, Mirko; Fey, Ines; Grochtmann, Matthias