Core Concepts
본 논문은 요구사항 기반 적응 프레임워크를 제안하여, 예기치 않은 환경 변화에 대한 시스템의 점진적 성능 저하와 복구를 자동으로 조정하는 방법을 제시한다.
Abstract
본 논문은 사이버-물리 시스템의 복원력 향상을 위한 요구사항 기반 자가 적응 접근법을 제안한다.
점진적 성능 저하와 복구를 요구사항 기반 적응 작업으로 다룸
성능 저하는 원래(이상적) 요구사항을 일시적으로 약화시키는 것으로 간주
복구는 약화된 요구사항을 강화하는 것으로 간주
요구사항 약화와 강화를 이중 작업으로 다루어 단일 요구사항 기반 적응 방법으로 조정 가능
신호 시간 논리(STL)로 명시된 요구사항을 기반으로 환경 변화에 따른 성능 저하와 복구를 수행하는 실행 시간 적응 프레임워크 제안
최소한의 약화와 최대한의 강화를 찾기 위해 혼합 정수 선형 계획법(MILP)을 활용한 최적화 접근법 제시
무인 수중 차량 사례 연구를 통해 제안 접근법의 실현 가능성 입증
Stats
시스템이 예기치 않은 환경 조건, 악의적 공격, 하드웨어 고장 등에 노출될 수 있음
이로 인한 시스템 장애는 안전하지 않은 상태로 이어질 수 있음
시스템 복원력을 위해서는 점진적 성능 저하와 복구 두 가지 작업이 필요함
Quotes
"Cyber-physical systems (CPS) are subject to environmental uncertainties such as adverse operating conditions, malicious attacks, and hardware degradation. These uncertainties may lead to failures that put the system in a sub-optimal or unsafe state."
"Typically, mechanisms for degradation and recovery are developed independently from each other, and later integrated into a system, requiring the designer to develop an additional, ad-hoc logic for activating and coordinating between the two operations."