Infrastructure to Use OCL for Runtime Structural Compatibility Checks of Simulink Models
Vincent Bertram, Peter Manhart, Dimitri Plotnikov, Bernhard Rumpe⋆, Christoph Schulze, Michael von Wenckstern · RWTH Publications (RWTH Aachen) · 2016
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 owntoolchain with corresponding models, an unified modeling notation is needed.Fort his reason based on ad etailed feature analysis of wellestablished and commonly used modeling languages, am eta-model hasb een derivedt hat allows checking structural compatibility,evenbetween heterogeneous modeling languages.