SCODE 방법론

SCODE-ANALYZER가 지원하는 SCODE 방법론은 검증 과정에서 오류를 툴에 표현하며 즉시 수정이 가능합니다. 따라서 개발자는 항상 검증된 시스템에서 작업할 수 있습니다. 전문가는 결과를 이용하여 기존 소프트웨어를 최적화하고 새로운 소프트웨어를 설계하며 검증 결과를 향상시킬 수 있습니다.

모든 결과는 프로그램 코드의 자동 생성과 같이 다른 툴에 의해 다양한 형태로 추가 처리될 수 있습니다.

SCODE 방법론

전자기계식 브레이크 시스템 (예)

SCODE 방법은 시스템을 쉽게 표현하고 분석하는 3단계의 반복 프로세스입니다. 이 과정에서 문제를 서로 독립적으로 해결할 수 있는 작은 문제로 분해한 후 작은 문제를 해결함으로써 주요 문제를 해결할 수 있습니다. SCODE-ANALYZER는 프로세스를 통해 사용자를 안내하고 지원합니다.

1단계 - 문제 공간 정의

첫 번째 단계는 시스템의 변화를 초래하는 모든 시스템 환경(예: 사용자 개입, 센서의 측정 결과)을 고려하여 문제 공간을 정의하는 것입니다. 변경 사항들은 (예: 수정된 변수 또는 신호)은 출력으로 간주됩니다.

2단계 - 모드 정의

"압축 브레이크 캘리퍼스”모드의 정의 (예)

두 번째 단계에서는 유효하거나 유효하지 않은 시스템 모드를 정의 됩니다. 함수 개발자는 각 차원에 대해 선택된 대안을 결합하여 모드를 정의합니다.

동일한 출력 규칙을 가진 다양한 입력 규칙

서로 다른 입력의 조합은 동일한 출력의 조합을 생성할 수 있습니다. 즉, 서로 다른 입력은 시스템에서 동일한 변화를 초래합니다.

SCODE-ANALYZER는 모든 조합을 고려한 지원 및 검증을 제공합니다. 예를 들어 초기에 모든 요구사항이 정의되지 않았을 때 예기치 못하게 비용이 많이 드는 상황을 방지합니다. 또한 소프트웨어는 각 시스템 조합이 단일 모드에 할당되고 모드 정의에 중복이 없음을 확인합니다.

3단계 - 모드 전환 정의

모드 전환 표 및 그래픽 표현

세 번째 단계에서 함수 개발자는 모드 간의 전환에서 시스템이 어떻게 반응해야 하는지 정의합니다. 테이블 또는 그래픽 사용자 인터페이스를 사용하여 어떤 이벤트가 한 모드에서 다른 모드로 전환을 초래하는지 결정합니다. 또한 특정 모드 간의 전환이 유효하지 않음을 입증하는 것도 가능합니다. 개발자는 완전성, 교착 상태 및 기타 속성에 대한 모드와 동일한 방식으로 정의된 이벤트를 검사합니다.