Functional development of embedded software systems in the automotive industry is mostly done using models consisting of highly adjustable and potentially reusable components. A basic pre-requisite for reuse is structural compatibility of available component versions and variants. Since each vendor in the automotive domain uses its ow nt oolchain with corresponding models, an unified modeling notation is needed. Fo rt his reason based on ad etailed feature analysis of well- established and commonly used modeling languages, am eta-model ha sb een derive dt hat allows checking structural compatibility ,e ve nb etween heterogeneous modeling languages.
['Vincent Bertram', 'Peter Manhart', 'Dimitri Plotnikov', 'Bernhard Rumpe', 'Christoph Schulze', 'Michael von Wenckstern']
Infrastructure to Use OCL for Runtime Structural Compatibility Checks of Simulink Models