I detta arbete föreslår vi en strategi för verifiering av AADL-arkitekturen. Detta tillvägagångssätt är baserat på Model Driven Engineering (MDE) och assisteras av en verktygskedja. I själva verket definierar vi en källmetamodell för AADL och en målmetamodell för den tidsinställda automatiserade formalismen; vi definierar en omvandlingsprocess i två steg: den första är en modell2 Modellomvandling som tar en AADL-modell och producerar motsvarande tidsinställda automatamodell. Den andra omvandlingen är en Model2 Text transformation som tar en tidsinställd automata modell och genererar en text i ta-format kod. Denna kod accepteras av verktygslådan Uppaal. En fallstudie har utarbetats för att visa att det föreslagna tillvägagångssättet är genomförbart och giltigt.
I REF föreslår författarna ett tillvägagångssätt för verifiering av AADL-arkitekturen, som assisteras av en verktygskedja och definierar en källmetamodell för AADL och en målmetamodell för den tidsinställda automatiserade formalismen; författarna definierar också en omvandlingsprocess i två steg, en modell2Model transformation och en omvandling av en modell2Text.
Toolchain Based on MDE for the Transformation of AADL Models to Timed Automata Models
{'venue': None, 'journal': 'Journal of Software Engineering and Applications', 'mag_field_of_study': ['Computer Science']}