적응형 시스템의 통계적 검증 기반 예측적 적응 기법PROACTIVE ADAPTATION APPROACH BASED ON STATISTICAL MODEL CHECKING FOR SELF-ADAPTIVE SYSTEMS
적응형 시스템의 통계적 검증 기반 예측적 적응 기법이 개시된다. 컴퓨터 시스템에서 수행되는 예측적 적응 방법은, 상기 컴퓨터 시스템의 운행 환경에 대한 변화를 모니터링하는 단계; 및 상기 변화에 따라 상기 컴퓨터 시스템의 운행과 관련된 최적 행동 옵션을 선택하기 위해 SMC(statistical model checking) 기법을 이용하여 사전 적응(proactive adaptation) 프로세스를 수행하는 단계를 포함한다.
- Assignee
- 한국과학기술원
- Country
- KO (South Korea)
- Application Date
- 2021-05-12
- Application Number
- 10-2021-0061164
- Registration Date
- 2023-09-27
- Registration Number
- 10-2585570-0000
- Appears in Collection
- CS-Patent(특허)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.