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:
- OSATE zawiera platformę modelowania, przeglądarkę graficzną i języki zapytań z ograniczeniami
- Ocarina, łańcuch narzędzi AADL do generowania kodu z modeli
- TASTE toolchain , wspierany przez Europejską Agencję Kosmiczną
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
- AADL.info
- Publiczna wiki AADL
- Narzędzia AADL
- AADL w Axlog
- AADL w Ecole Nationale Supérieure des Télécommunications de Paris (ENST)
- Analiza wydajności AADL z Cheddar, Univ. Brześcia (analiza systemu planowania i kolejkowania w czasie rzeczywistym)
- Wsparcie projektów przemysłowych z wykorzystaniem Stood for AADL
- AADL In Practice, książka poświęcona wykorzystaniu języków i powiązanych z nimi narzędzi do modelowania