Jazyk pro analýzu a design architektury - Architecture Analysis & Design Language

The Jazyk pro analýzu a design architektury (AADL) je jazyk popisu architektury standardizováno SAE.[1] AADL byl poprvé vyvinut v oblasti avionika, a byl dříve známý jako Jazyk popisu architektury avioniky.[2]

Jazyk pro analýzu a design architektury je odvozen od MetaH, jazyka pro popis architektury vytvořeného Advanced Technology Center v Honeywell. AADL se používá k modelování software a Hardware architektura vložený, reálný čas Systém. Díky svému důrazu na integrovanou doménu obsahuje AADL konstrukty pro modelování softwarových i hardwarových komponent (v rámci standardu jsou hardwarové komponenty pojmenovány jako komponenty „prováděcí platformy“). Tento model architektury lze potom použít buď jako konstrukční dokumentaci, pro analýzy (jako je naplánovatelnost a řízení toku), nebo pro generování kódu (softwarové části), jako UML.[3][4]

Ekosystém AADL

AADL je definován základním jazykem, který definuje jedinou notaci pro systémové i softwarové aspekty. Jediný model usnadňuje analytické nástroje tím, že má pouze jednu jedinou reprezentaci systému. Jazyk určuje vlastnosti specifické pro systém pomocí vlastností.

Jazyk lze rozšířit pomocí následujících metod:

  • uživatelem definované vlastnosti: uživatel může rozšířit sadu příslušných vlastností a přidat vlastní, aby určil své vlastní požadavky
  • jazykové přílohy: základní jazyk je vylepšen o přílohy jazyků, které obohacují popis architektury. Prozatím byly definovány následující přílohy.
    • Příloha chování: přidání chování komponent na stavových automatech
    • Příloha modelu chyby: specifikuje problémy s chybou a šířením
    • Příloha ARINC653: definuje modelovací vzory pro modelování systému avioniky
    • Příloha datového modelu: popisuje modelování specifických omezení dat pomocí AADL

Nástroje AADL

AADL je podporována širokou škálou nástrojů:

Úplný seznam sad nástrojů naleznete na webu AADL veřejná wiki

Související projekty

AADL byl použit pro následující výzkumné projekty:

  • AVSI / SAVI: iniciativa, která využívá AADL (kromě jiných jazyků) k virtuální integraci leteckých a obranných systémů
  • META: projekt DARPA pro zlepšení metod softwarového inženýrství
  • PARSEC: francouzská iniciativa k validaci a implementaci systémů avioniky z modelů architektury
  • TASTE: platforma pro navrhování bezpečnostně důležitých systémů z modelů

Úplný seznam minulých a současných projektů / iniciativ nelze najít na internetu AADL veřejná wiki protože byl v důchodu. Od prosince 2020 nebyla poskytnuta žádná náhrada.

Reference

  1. ^ Jazyk pro analýzu a design architektury, Institut softwarového inženýrství, Carnegie-Mellon University, Pittsburgh, Pensylvánie, USA. Archivováno 2013-11-01 na Wayback Machine
  2. ^ Podrobná prezentace AADL Archivováno 4. února 2012, v Wayback Machine
  3. ^ Bordin, M., Comar, C., Falis, E., Gasperoni, F., Moy, Y., Richa, E., & Hugues, J. (2014). Integrita systému k softwaru: Případová studie.
  4. ^ Delange, Julien. „Generování kódu pomocí AADL: zpráva o stavu techniky“.

externí odkazy