Arkitekturbeskrivningsspråk används för att beskriva både hårdvara och programvaruarkitektur i en applikation, på systemnivå. De grundläggande programvarukomponenterna är avsedda att utvecklas självständigt och sedan spridas på den beskrivna arkitekturen. Denna separata utveckling av arkitekturen och programvaran väcker problemet med tidig validering av det integrerade systemet. I detta dokument föreslår vi att man löser detta problem genom att översätta arkitekturen till en körbar modell, som kan simuleras och valideras tillsammans med programvarukomponenterna. Mer specifikt anser vi att arkitekturen beskrivs i AADL-språket, och programvarukomponenterna är utvecklade i något synkront språk som Scade eller Lustre. Vi visar hur arkitekturen automatiskt kan översättas till en icke-deterministisk synkron modell, till vilken den faktiska programvarukomponenten kan integreras. Resultatet är en körbar integrerad synkron modell, som kan valideras med verktyg tillgängliga för synkrona program. Metoden illustreras av en industriell fallstudie som utvunnits ur ett faktiskt rumsligt system.
I REF studerar författarna fallet där beteenden beskrivs i ett synkront språk, såsom Scade eller Lustre.
Virtual execution of AADL models via a translation into synchronous programs
{'venue': "EMSOFT '07", 'journal': None, 'mag_field_of_study': ['Computer Science']}