Abstrakt. En metod för att hantera komplexiteten i inbyggda system är användning av modeller och domänspecifika språk (DSL) som Matlab / Simulink. Om vi vill tillämpa sådana tekniker på familjer med liknande system måste vi beskriva deras variabilitet, dvs. likheter och skillnader mellan liknande system. Här kan strategier från Software Product Lines (SPL) och variabilitet modellering vara till hjälp. I detta dokument diskuterar vi tre utmaningar som uppstår i detta sammanhang: 1) Vi måste integrera mekanismer för att beskriva variabilitet i DSL. (2) För att effektivt härleda produkter, kräver vi tekniker och verktygsstöd som gör att vi kan konfigurera en viss produkt och lösa variabilitet i DSL. (3) När vi löser variabiliteten måste vi ta hänsyn till beroenden mellan olika element, t.ex. när vi tar bort Simulinkblock måste vi också ta bort signalerna mellan dessa block. Den metod som presenteras här använder sig av transformationer av högre ordning (HOT), som härleder variabilitetsmekanismerna (som en genererad modellomvandling) från DSL:s metamodell.
I REF beskriver författarna sina metoder för att använda HOTs som en variationsmekanism för inbyggda system.
Using Higher-order Transformations to Derive Variability Mechanism for Embedded Systems
{'venue': 'ACES-MB@MoDELS', 'journal': None, 'mag_field_of_study': ['Computer Science']}