폐루프 제어 소프트웨어 정밀 분석: 동시 모델링과 비선형 처리

초록

본 논문은 폐루프 제어 시스템의 소프트웨어를 분석할 때 발생하는 물리 시스템 표현 문제를 다루며, 제어 프로그램과 독립적인 식물(플랜트) 모델을 동시 실행 형태로 제시한다. 폐루프가 충분히 직렬화되어 순차적 분석이 가능하도록 설계하고, 비선형 요소에 대한 특수 처리를 통해 제어 사양 검증과 코드 검증을 일관되게 연결한다.

상세 분석

폐루프 제어 소프트웨어 분석은 개방형(open‑loop) 분석과 근본적으로 다른 차원을 가진다. 첫 번째 차원은 물리 시스템, 즉 플랜트 모델이 소프트웨어와 별도로 정의되어야 한다는 점이다. 이는 제어 알고리즘이 실제 하드웨어와 어떻게 상호작용하는지를 정확히 기술하기 위해 필수적이며, 모델 간의 결합을 최소화함으로써 재사용성과 검증 효율을 높인다. 논문은 이를 위해 플랜트와 제어 로직을 각각 독립적인 스레드 혹은 프로세스로 구현하고, 이들 사이의 인터페이스를 명시적인 입출력 채널로 정의한다.

두 번째 차원은 폐루프 시스템이 본질적으로 직렬화된 실행 흐름을 갖도록 설계한다는 점이다. 동시 모델링에도 불구하고, 실제 분석 단계에서는 시간 순서에 따라 이벤트를 정렬하여 순차적 검증 도구(예: 모델 체커, 정적 분석기)를 적용한다. 이렇게 하면 동시성에 따른 상태 폭발(state explosion) 문제를 회피하면서도, 폐루프 특유의 피드백 효과를 정확히 포착할 수 있다.

세 번째 차원은 비선형성 처리이다. 제어 사양 단계에서 흔히 사용되는 비선형 함수(포화, 히스테리시스, 절단 등)는 코드 수준에서도 동일한 형태로 구현된다. 논문은 비선형 함수를 추상화하는 두 가지 접근법을 제시한다. 첫째는 구간 기반(linearization) 근사와 경계 조건을 이용한 오버‑어프로치이며, 둘째는 SMT(Satisfiability Modulo Theories) 솔버에 비선형 이론을 직접 통합하는 방법이다. 이를 통해 비선형 특성이 시스템 안정성, 수렴성, 과도 응답 등에 미치는 영향을 정량적으로 평가한다.

마지막으로, 논문은 사례 연구를 통해 제안된 프레임워크가 실제 임베디드 제어 코드에 적용될 때 얻는 이점을 실증한다. 예제는 DC‑모터 속도 제어와 로봇 관절 제어 두 가지를 포함하며, 각각의 경우에 플랜트‑제어 동시 모델링, 직렬화된 분석 흐름, 비선형 함수 특수 처리 과정을 상세히 기술한다. 결과적으로, 기존 개방형 분석에 비해 오류 탐지율이 30 % 이상 향상되고, 검증 시간은 동시성으로 인한 복잡도 증가에도 불구하고 2배 이내로 유지된다.