Simulink Requirements Tables 내 사이버 물리 시스템(CPS) 요구사항의 자동 수리

요약

본 논문은 사이버 물리 시스템(CPS) 개발 과정에서 발생하는 시스템 구현과 요구사항 간의 불일치 문제를 해결하기 위한 프레임워크를 제안합니다. 시스템 실행 데이터를 활용하여 MATLAB Simulink Requirements Tables 기반의 선언적 요구사항을 자동으로 수리함으로써 준수성을 복구합니다.

핵심 포인트

• 시스템 실행 데이터를 활용한 요구사항 자동 수리 프레임워크 제안
• CPS의 구현과 요구사항 간의 정렬 불일치 문제 해결
• MATLAB Simulink Requirements Tables 기반 시간 기반 신호 평가
• 6개의 실제 사례 연구를 통해 프레임워크의 효과성 검증