Learn More
Thank you for reading efficient graph rewriting and its implementation. Maybe you have knowledge that, people have look numerous times for their favorite readings like this efficient graph rewriting and its implementation, but end up in infectious downloads. Rather than reading a good book with a cup of tea in the afternoon, instead they cope with some(More)
Die modellbasierte Entwicklung beginnt sich als Standardparadigma in der Steuergerätesoftwareentwicklung zu etablieren. Um die Wirksamkeit und Effizienz der modellbasierten Entwicklung zu erhöhen, sind Richtlinien für die Modellierung unerlässlich. Diese manuell zu überprüfen ist aufwändig und fehleranfällig. Das Projekt MATE (MATLAB Simulink/Stateflow(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)
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 successfully applied in other sectors of industry such as nuclear, defense, aerospace, and railway. A safety case communicates a clear, comprehensive(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)
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)
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(More)