SafeDSE: 데이터플로우 애플리케이션을 위한 안전성 아키텍처 패턴, 매핑 및 스케줄링의 공동 탐색에 관한 연구 (확장 버전)

요약

본 논문은 동기식 데이터플로우 애플리케이션의 안전성 아키텍처 패턴을 탐색하는 SafeDSE 프레임워크를 제시합니다. 이 모델은 액터의 패턴, 배치, 스케줄링 및 플랫폼을 결정하고 안전 무결성 수준(SIL) 승진 비용까지 산정할 수 있습니다. 공동 탐색 방식을 통해 기존 방식보다 효율적이고 정확한 솔루션을 제공함을 입증했습니다.

핵심 포인트

• SafeDSE는 데이터플로우 애플리케이션의 안전 아키텍처 패턴을 탐색하는 프레임워크입니다.
• 하나의 선언적 모델로 배치, 스케줄링, SIL 비용 등을 통합적으로 결정합니다.
• 공동 탐색(Co-exploration) 방식이 기존 방법보다 효율적이면서도 정확한 솔루션을 제공했습니다.
• 최대 16개 액터까지 합성 그래프에 대한 최적성을 증명했습니다.