신호 기반 사이버 물리 시스템 특성 분류와 논리적 표현

본 논문은 사이버‑물리 시스템(CPS)의 핵심 특성인 센서·액추에이터 신호를 기반으로 한 요구사항을 체계적으로 정의하고, 이를 정형화하기 위한 논리적 도구들을 비교·분석한다. 서론에서는 CPS가 안전‑중요 분야에 널리 적용되면서, 신호 기반 요구사항을 명확히 기술하는 것이 검증·검증(V&V) 과정에서 필수적임을 강조한다. 그러나 신호 행동을 기술하는 데는 (1) 다양한 특성(진폭, 기울기, 폭 등)과 (2) 이를 표현할 수 있는 시계열 논리의 표현력 차이라는 두 가지 난관이 존재한다. 이를 해결하기 위해 저자들은 다음과 같은 연구 목표를 설정한다. 첫째, 신호 기반 특성을 유형화한 taxonomy를 제시하고, 각 유형을 정형 논리로 정확히 기술한다. 둘째, 현재 주요 시계열 논리(STL, STL*, SFO)의 표현력을 taxonomy와 매핑해 비교한다. 셋째, 실제 산업 사례에 적용해 taxonomy의 실용성과 완전성을 검증한다. **1. 배경** 신호는 연속 시간·값을 갖는 아날로그, 이산 시간·값을 갖는 디지털·디스크리트 등으로 구분된다. 논문은 주로 아날로그 신호를 대상으로 하며, 시계열 논리의 기본 개념을 소개한다. STL은 실시간 구간 연산자(U, S)와 기본 원자식(p, x∼c)으로 구성되며, 만족도는 (s,t)⊨ϕ 형태로 정의된다. STL*는 STL에 ‘값 고정’ 연산자 *i