direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

MeMo – Methods of Model Quality
Citation key MeMo-MBEES2011
Author Wei Hu and Joachim Wegener and Ingo Stürmer and Robert Reicherdt and Elke Salecker and Sabine Glesner
Year 2011
Journal 7. Dagstuhl-Workshop Model-Based Development of Embedded Systems (MBEES 2011)
Abstract Model driven development as implemented by the Simulink-Stateflow- TargetLink tool chain facilitates the efficient development of software for embedded processors. But there are only a few automated quality assurance techniques comparable to those known from traditional software development that can be applied in early phases of the development process. This is a serious problem since the generated software especially in the automotive area has to fulfill very high safety requirements. In this paper, we present our project Methods of Model Quality in which we develop automated quality assurance methods for early development phases to improve the current unsatisfying situation. These methods comprise static analyses for domain specific error detection, analyses to identify the most error-prone model parts through model metrics and furthermore slicing techniques for analyses support and result visualization. To estimate the model maintainability and changeability a quality model including architecture and design analyses is proposed as well. The expected results of our project will help to reduce development time and costs as well as to improve code quality and reliability.
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe