Inbäddade programvarusystem, t.ex. Bil-, robot- eller automationssystem är mycket konfigurerbara och består av många programvarukomponenter som finns tillgängliga i olika varianter och versioner. För att identifiera graden av återanvändning mellan dessa olika förekomster av en komponent är det nödvändigt att fastställa den funktionella bakåt- och framåtkompatibiliteten mellan dem. Baserat på denna information är det möjligt att identifiera i vilket systemsammanhang en komponent kan ersättas på ett säkert sätt med en annan version, t.ex. Utbyte av en äldre komponent eller variant, t.ex. införa nya funktioner för att uppnå samma funktionalitet. Detta dokument presenterar en modell kontroll metod för att avgöra beteendekompatibilitet av Simulink modeller, som erhållits från olika komponentvarianter eller under evolution. En prototyp för automatiserad kompatibilitetskontroll visar att den är genomförbar. Dessutom gör implementerade optimeringar analysen mer effektiv, när de jämförda varianterna eller versionerna är strukturellt likartade. En fallstudie om ett förarassistanssystem som tillhandahålls av Daimler AG visar hur effektivt tillvägagångssättet är för att automatiskt jämföra Simulink-komponenter.
Som nämnts i tidigare avsnitt, är denna artikel baserad på arbetet av REF som beskriver en modell kontroll metod för kompatibilitet kontroll av Simulink komponenter.
Behavioral compatibility of simulink models for product line maintenance and evolution
{'venue': "SPLC '15", 'journal': None, 'mag_field_of_study': ['Computer Science']}