Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Extensible and automated model-evaluations with INProVE

: Kemmann, Sören; Kuhn, Thomas; Trapp, Mario


Kraemer, F.A.:
System analysis and modeling: About models. 6th international workshop, SAM 2010 : Oslo, Norway, October 4-5, 2010; revised selected papers
Berlin: Springer, 2011 (Lecture Notes in Computer Science 6598)
ISBN: 978-3-642-21651-0
ISBN: 3-642-21651-X
ISSN: 0302-9743
Workshop on System Analysis and Modelling (SAM) <6, 2010, Oslo>
Conference Paper
Fraunhofer IESE ()
quality modeling; quality assurance; matlab simulink; evaluation

Model-based development is gaining more and more importance for the creation of software-intensive embedded systems. One important aspect of software models is model quality. This does not imply functional correctness, but non-functional properties, such as maintainability, scalability, extensibility. Lots of effort was put into development of metrics for control flow models. In the embedded systems domain however, domain specific- and data flow languages are commonly applied for model creation. For these languages, existing metrics are not applicable. Domain and project specific quality metrics therefore are informally defined; tracking conformance to these metrics is a manual and effort consuming task. To resolve this situation, we developed INProVE. INProVE is a model-based framework that supports definition of quality metrics in an intuitive, yet formal notion. It provides automated evaluation of design models through its indicators. Applied in different industry projects to complex models, INProVE has proven its applicability for quality assessment of data flow-oriented design models not only in research, but also in practice.