건축분석과 디자인 언어
Architecture Analysis & Design LanguageAADL(Achitecture Analysis & Design Language)은 SAE가 표준화한 아키텍처 설명 언어다.[1]AADL은 항전 분야에서 처음 개발되었으며, 이전에는 항전 건축 기술 언어로 알려져 있었다.[2]
건축 분석 및 디자인 언어는 Honeywell의 첨단 기술 센터에서 만든 건축 기술 언어인 MetaH에서 파생되었다.AADL은 임베디드 실시간 시스템의 소프트웨어와 하드웨어 아키텍처를 모델링하는 데 사용된다.임베디드 영역을 강조하기 때문에 AADL은 소프트웨어와 하드웨어 구성요소 모두를 모델링하는 구조를 포함하고 있다(표준 내에 "실행 플랫폼" 구성요소로 명명된 하드웨어 구성요소를 포함).그런 다음 이 아키텍처 모델은 (스케줄링 및 흐름 제어와 같은) 분석 또는 (소프트웨어 부분의) UML과 같은 코드 생성에 설계 문서로 사용될 수 있다.[3][4]
AADL 생태계
AADL은 시스템과 소프트웨어 측면 모두에 대해 단일 표기법을 정의하는 핵심 언어로 정의된다.단일 모델을 사용하면 시스템을 한 번만 표시하여 분석 도구를 쉽게 사용할 수 있다.언어는 속성을 사용하여 시스템별 특성을 지정한다.
언어는 다음과 같은 방법으로 확장할 수 있다.
- 사용자 정의 속성: 사용자는 해당 속성 집합을 확장하고 자체 속성을 추가하여 자체 요구 사항을 지정할 수 있음
- 언어 부록: 핵심 언어는 아키텍처 설명을 풍부하게 하는 부속 언어에 의해 강화된다.현재로서 다음과 같은 부속문서가 규정되어 있다.
- 동작 별첨: 상태 시스템을 사용하여 구성 요소 동작 추가
- 오류 모델 부록: 고장 및 전파 문제 지정
- ARINC653 부록: 항전 시스템 모델링에 대한 모델링 패턴 정의
- 데이터 모델 부속서: AADL을 사용한 특정 데이터 제약 조건의 모델링에 대해 설명
AADL 공구
AADL은 다양한 공구에 의해 지원된다.
- OSATE에는 모델링 플랫폼, 그래픽 뷰어 및 제약 조건 쿼리 언어가 포함됨
- 모델에서 코드를 생성하기 위한 AADL 툴체인 오카리나
- 유럽우주국(European Space Agency)이 지원하는 TIME 툴체인
도구 세트의 전체 목록은 AADL 공용 wiki에서 찾을 수 있다.
관련 프로젝트
AADL은 다음과 같은 연구 프로젝트에 사용되었다.
- AVSI/SAVI: AADL(다른 언어 중)을 활용하여 항공우주 및 방위 시스템의 가상 통합을 수행하는 이니셔티브
- 메타: 소프트웨어 엔지니어링 방법 개선을 위한 DARPA 프로젝트
- PARSEC: 아키텍처 모델로부터 항전 시스템을 검증하고 구현하기 위한 프랑스의 이니셔티브
- 취향: 모델에서 안전 중요 시스템을 설계하기 위한 플랫폼
과거 및 현재 프로젝트/이니셔티브의 전체 목록은 AADL 공개 위키에서 찾을 수 없다.2020년 12월 현재 어떤 대체품도 제공되지 않았다.
참조
- ^ 건축분석 및 디자인 언어, 소프트웨어 엔지니어링 연구소, Carnegie-Mellon University, Pittsbitts, Phillivania, Wayback Machine에 2013-11-01 보관
- ^ 2012년 2월 4일 웨이백 머신에 보관된 AADL의 상세 프레젠테이션
- ^ 보딘, M, 코마르, C, 팔리스, E, 가스페로니, F, 모이, Y, 리차, E, & Hugues, J. (2014)시스템 간 소프트웨어 무결성:사례 연구
- ^ Delange, Julien. "Code Generation with AADL: A State-of-the-Art Report".
