Abstract-Aktuella metoder för modellering, analys och design av cyber-fysiska system saknar en enhetlig ram på grund av komplexiteten och heterogeniteten hos de ingående elementen och deras interaktioner. Vår strategi är att definiera relationer mellan systemmodeller på arkitektonisk nivå, vilket fångar de strukturella ömsesidiga beroendena och vissa semantiska ömsesidiga beroenden mellan representationer utan att försöka förstå alla detaljer i någon särskild modelleringsformalism. I detta dokument behandlas frågan om att definiera och utvärdera överensstämmelse mellan arkitektoniska åsikter som olika heterogena modeller kräver och en basarkitektur (BA) för hela systemet. Detta begrepp om strukturell överensstämmelse säkerställer att modellelementen följer de cyber- och fysiska typerna och kopplingarna mellan de komponenter som finns i BA, som fungerar som en enhetlig ram för modellbaserad utveckling. Samstämmighetskontroll mellan en modell och den underliggande systemarkitekturen formuleras som ett typat grafmatchningsproblem mellan konnektivitetsgraferna i motsvarande arkitektoniska vy och systemets BA. Nyttan av metoden för att kontrollera antaganden om systemmodellering illustreras i samband med två heterogena vyer av ett fyrhjulingssystem.
Samstämmighet mellan arkitektoniska synsätt, som fångar strukturella men inte beteendemässiga aspekter av ett system, studeras i REF.
View Consistency in Architectures for Cyber-Physical Systems
{'venue': '2011 IEEE/ACM Second International Conference on Cyber-Physical Systems', 'journal': '2011 IEEE/ACM Second International Conference on Cyber-Physical Systems', 'mag_field_of_study': ['Computer Science']}