To provide guarantee of the functio

To provide guarantee of the functional correctness of the adaptation logic, formal methods can be used as a rigorous means for specifying and reasoning about self-adaptive systems’ behavior, both at design time and at runtime. However, the survey in [34] shows that, although the attention for self-adaptive software systems is gradually increasing, the number of studies that employ formal methods remains low, and mainly related to runtime verification. Formally founded design models that cover both structural and behavioral aspects of self-adaptation and of approaches to validate and verify behavioral properties are highly demanded. Of extreme importance is engineering self-adaptive systems in a way that unwanted interferences/conflicts between feedback control loops are excluded at the early stages of the system design.

결과 (한국어) 1:

적응 논리의 기능적인 정확성의 보증을 제공 하려면 공식적인 방법은 사용할 수 있습니다 엄격한 방법으로 지정 하 고 디자인 타임 및 런타임에 self-adaptive 시스템의 동작에 대 한 추론에 대 한. 그러나, [34] 조사 보여준다, self-adaptive 소프트웨어 시스템에 대 한 관심은 점차 증가 하 고, 비록 공식적인 방법을 사용 하는 연구의 수 남아 낮고 주로 런타임 확인 관련. 디자인 자기 적응 하 고 유효성을 검사 하 고 행동 속성을 확인 하는 방법의 구조 및 동작 측면을 커버 하는 모델은 높은 요구는 공식적으로 설립. 극단적인 중요성의 원치 않는 간섭/충돌 피드백 제어 루프 시스템 설계의 초기 단계에서 제외 하는 방식으로 self-adaptive 시스템 엔지니어링입니다.

결과 (한국어) 2:

적응 로직의 기능의 정확성을 보증을 제공하기 위해 정식 방법 설계시 및 실행시 모두, 자기 - 적응 형 시스템의 행동에 대해 지정하고 추론 엄격한 의미로 사용될 수있다. 그러나, [34]의 조사는 자기 적응 형 소프트웨어 시스템에 대한 관심이 점차 증가하고 있지만, 형식적인 방법을 사용하는 연구의 수를 낮게 유지하고, 주로 검증 런타임 관련이 있음을 보여줍니다. 공식적으로 확인하고 행동 특성이 매우 요구된다 확인하기 위해 구조 및 행동 자체 적응의 측면과 방법을 모두 커버 디자인 모델을 설립했다. 극단적으로 중요 불필요한 간섭이 / 피드백 제어 루프 사이의 충돌은 시스템 설계의 초기 단계에서 제외 된 방식 엔지니어링 자기 적응 형 시스템이다.

결과 (한국어) 3:

기능 제공 정확하다는 것을 적응 논리, 정식으로 방법 쓸 수 있는 방법 및 추리 관한 엄격한 규정을 적응 시스템 디자인 때 행동을 모두 실행 시간.그러나 조사 [34] 따르면, 비록 적응 소프트웨어 시스템 관심을 점점 커지다고용 많은 연구 정식으로 방법, 여전히 낮은 주로 실행 확인.정식으로 발족하다 표지 디자인 모델 구조 및 행위 맞춤, 어떻게 행위는 성능 검사, 요구는 매우 높다.매우 중요한 한 가지 적응 시스템 공학 불필요한 방해 / 충돌 안 피드백 코일 초기 시스템 설계.