Heiko Dörr

Learn More
The application of formal techniques can contribute much to the quality of software, which is of utmost importance for safety-critical embedded systems. These techniques, however, are not easy to apply. In particular, methodolog-ical guidance is often unsatisfactory. We address this problem by the concept of an agenda. An agenda is a list of activities to(More)
Unlike for conventional compilers for imperative programming languages such as C or ADA, no establishedmethods for safeguarding artifacts generated by model-based code generators exist despite progress in the field of formalverification. Several test approaches dominate the engineering practice. This paper describes a general and toolindependenttest(More)
Tool integration is still lacking appropriate solutions. For an integration project at DaimlerChrysler a number of requirements have been identified which shall lead to a sustainable integration framework being open to further evolution. The requirements are based on a number of principles and cover several levels: user, system, architectural, and(More)
reserved. No part of this series may be reproduced in any form or by any means without prior written permission of the publisher. Abstract. The upcoming safety standard ISO/WD 26262 that has been derived from the more general IEC 61508 and adapted for the automotive industry, introduces the concept of a safety case, a scheme that has already been(More)
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(More)
Die modellbasierte Entwicklung beginnt sich als Standardparadigma in der Steuergerätesoftwareentwicklung zu etablieren. Um die Wirksamkeit und Effi-zienz der modellbasierten Entwicklung zu erhöhen, sind Richtlinien für die Mo-dellierung unerlässlich. Diese manuell zu überprüfen ist aufwändig und fehleran-fällig. Das Projekt MATE (MATLAB Simulink/Stateflow(More)