Analiza architektury i język projektowania - Architecture Analysis & Design Language

Architecture & Design Analiza językowa ( AADL ) to język opisu architektury standaryzowany przez SAE . AADL został po raz pierwszy opracowany w dziedzinie awioniki i był znany wcześniej jako język opisu architektury awioniki .

Język analizy i projektowania architektury wywodzi się z MetaH, języka opisu architektury stworzonego przez Centrum Zaawansowanych Technologii Honeywell . AADL służy do modelowania oprogramowania i sprzętu architekturę z osadzonym , w czasie rzeczywistym systemu. Ze względu na nacisk na domenę osadzoną, AADL zawiera konstrukcje do modelowania zarówno komponentów oprogramowania, jak i sprzętu (z komponentami sprzętowymi nazywanymi komponentami „platformy wykonawczej” w ramach standardu). Ten model architektury może być następnie wykorzystany jako dokumentacja projektowa, do analiz (takich jak planowanie i kontrola przepływu) lub do generowania kodu (części oprogramowania), jak UML .

Ekosystem AADL

AADL jest zdefiniowany przez podstawowy język, który definiuje pojedynczą notację zarówno dla aspektów systemu, jak i oprogramowania. Posiadanie jednego modelu ułatwia narzędzia analityczne dzięki posiadaniu tylko jednej reprezentacji systemu. Język określa cechy charakterystyczne dla systemu za pomocą właściwości.

Język można rozszerzyć za pomocą następujących metod:

  • właściwości zdefiniowane przez użytkownika : użytkownik może rozszerzyć zestaw odpowiednich właściwości i dodać własne, aby określić własne wymagania
  • załączniki językowe : język podstawowy jest wzbogacony o języki załączników, które wzbogacają opis architektury. Na razie zdefiniowane zostały następujące załączniki.
    • Aneks zachowania: dodaj zachowanie komponentów za pomocą automatów stanów
    • Załącznik dotyczący modelu błędu: określa problemy dotyczące błędów i propagacji
    • ARINC653 załącznik: definiuje wzorce modelowania do modelowania systemu awioniki
    • Załącznik Data-Model: opisuje modelowanie określonego ograniczenia danych za pomocą AADL

Narzędzia AADL

AADL jest obsługiwany przez szeroką gamę narzędzi:

Pełną listę zestawu narzędzi można znaleźć na publicznej wiki AADL

Powiązane projekty

AADL został wykorzystany w następujących projektach badawczych:

  • AVSI/SAVI : inicjatywa, która wykorzystuje język AADL (między innymi) do przeprowadzania wirtualnej integracji systemów lotniczych i obronnych
  • META : projekt DARPA mający na celu poprawę metod inżynierii oprogramowania software
  • PARSEC: francuska inicjatywa walidacji i wdrażania systemów awioniki z modeli architektonicznych
  • SMAK: platforma do projektowania systemów krytycznych dla bezpieczeństwa z modeli

Pełnej listy przeszłych i bieżących projektów/inicjatyw nie można znaleźć na publicznej wiki AADL, ponieważ została wycofana. Do grudnia 2020 r. nie dostarczono żadnej wymiany.

Bibliografia

Linki zewnętrzne