Arkitekturanalys & Designspråk

Architecture Analysis & Design Language ( AADL ) är ett arkitekturbeskrivningsspråk standardiserat av SAE . AADL utvecklades först inom flygelektronikområdet och var tidigare känt som Avionics Architecture Description Language .

Architecture Analysis & Design Language kommer från MetaH, ett arkitekturbeskrivningsspråk gjort av Advanced Technology Center of Honeywell . AADL används för att modellera mjukvaru- och hårdvaruarkitekturen för ett inbyggt realtidssystem . På grund av sin betoning på den inbäddade domänen, innehåller AADL konstruktioner för modellering av både mjukvaru- och hårdvarukomponenter (med hårdvarukomponenterna benämnda "exekveringsplattformskomponenter" i standarden). Denna arkitekturmodell kan sedan användas antingen som designdokumentation, för analyser (som schemaläggning och flödeskontroll) eller för kodgenerering (av mjukvarudelen), som UML .

AADL ekosystem

AADL definieras av ett kärnspråk som definierar en enda notation för både system- och mjukvaruaspekter. Att ha en enda modell förenklar analysverktygen genom att bara ha en enda representation av systemet. Språket specificerar systemspecifika egenskaper med hjälp av egenskaper.

Språket kan utökas med följande metoder:

användardefinierade egenskaper : användaren kan utöka uppsättningen av tillämpliga egenskaper och lägga till sina egna för att specificera sina egna krav
språkbilagor : kärnspråket förstärks av annexspråk som berikar arkitekturbeskrivningen. För närvarande har följande bilagor definierats.
- Beteendebilaga: lägg till komponenters beteende med tillståndsmaskiner
- Felmodellbilaga: specificerar problem med fel och spridning
- ARINC653 bilaga: definierar modelleringsmönster för modellering av flygelektroniksystem
- Datamodellbilaga: beskriver modelleringen av specifika databegränsningar med AADL

AADL-verktyg

AADL stöds av ett brett utbud av verktyg:

OSATE inkluderar en modelleringsplattform, en grafisk visningsprogram och en begränsningsfråga
Ocarina, en AADL-verktygskedja för att generera kod från modeller
TASTE verktygskedja , stöds av European Space Agency

En komplett lista över verktygsuppsättningen finns på AADL:s offentliga wiki

Relaterade Projekt

AADL har använts för följande forskningsprojekt:

AVSI/SAVI : ett initiativ som utnyttjar AADL (bland andra språk) för att utföra virtuell integration av flyg- och försvarssystem
META : ett DARPA-projekt för att förbättra metoder för mjukvaruutveckling
PARSEC: ett franskt initiativ för att validera och implementera flygelektroniksystem från arkitekturmodeller
TASTE: en plattform för att designa säkerhetskritiska system från modeller

En fullständig lista över tidigare och aktuella projekt/initiativ kan inte hittas på AADL:s offentliga wiki eftersom den har tagits i pension. Ingen ersättning har tillhandahållits från och med december 2020.

externa länkar