유한체적법(FVM)

실시간 시스템은 마감 시간을 지키지 못했을 때 발생하는 결과에 따라 "하드" 또는 "소프트"로 분류됩니다. 하드 실시간 시스템에서는 마감 시간을 지키지 못하면 시스템 전체가 마비되는 경우가 있는데, 예를 들어 ABS(잠금 방지 제동 시스템)가 있습니다. 소프트 실시간 시스템에서는 마감 시간을 지키지 못해도 성능 저하가 발생하지만, 치명적인 오류로 이어지지는 않습니다. 예를 들어 실시간 오디오-비디오 스트리밍이 있습니다.

RMS(Rate-Monotonic Scheduling)는 실시간 시스템에서 주기적인 작업을 위한 정적 우선순위 스케줄링 알고리즘입니다. RMS는 작업 빈도에 따라 우선순위를 할당합니다. 작업 주기가 짧을수록(작업 빈도가 높을수록) 우선순위가 높아집니다. RMS는 최적의 정적 우선순위 알고리즘으로, 다른 정적 우선순위 알고리즘이 작업 집합을 스케줄링할 수 있다면 RMS도 스케줄링할 수 있습니다. 스케줄링 가능성은 활용률 기반 테스트를 통해 확인할 수 있습니다.

형식 검증은 수학적 방법을 사용하여 형식 명세에 대한 시스템 설계의 정확성을 증명하거나 반증하는 것입니다. 특정 입력에 대해서만 버그의 존재를 보여줄 수 있는 테스트와 달리, 형식 검증은 모든 가능한 입력에 대해 버그가 없음을 증명할 수 있습니다. 형식 검증은 시스템의 형식 모델을 생성하고 모델 검증이나 정리 증명과 같은 기법을 사용하는 과정을 포함합니다.

A statistical measure of a process's ability to produce output within customer-defined specification limits. Unlike control charts, which track stability, Cpk quantifies capability. It measures how centered the process is between the specification limits and accounts for process variation. A higher Cpk value indicates a more capable process. The formula is [latex]C_{pk} = \min\left[\frac{USL - \mu}{3\sigma}, \frac{\mu - LSL}{3\sigma}\right][/latex].

객체지향 프로그래밍에서 추상화는 복잡한 구현 세부 사항을 숨기고 객체의 핵심 기능만 보여주는 개념입니다. 객체가 어떻게 작동하는지가 아니라 무엇을 하는지에 초점을 맞춥니다. 이는 추상 클래스와 인터페이스를 통해 구현되는데, 이들은 완전한 구현을 제공하지 않고 다른 클래스의 설계도를 정의하여 복잡한 시스템을 단순화합니다.

'품질의 7가지 기본 도구'는 카오루 이시카와가 품질 관련 문제 해결을 위해 제시한 일련의 그래픽 기법입니다. 이 도구들은 원인-결과 다이어그램(피시본 다이어그램), 체크 시트, 관리도, 히스토그램, 파레토 차트, 산점도, 그리고 층화 분석(흐름도 형태로 표현되는 경우가 많음)입니다. 이 도구들이 '기본' 도구로 여겨지는 이유는 사용이 간편하고 전문적인 통계 교육이 거의 필요하지 않기 때문입니다.

폭포수 모델은 순차적이고 비반복적인 소프트웨어 개발 프로세스로, 개발 과정이 마치 폭포처럼 아래로 꾸준히 흐르는 방식입니다. 구상, 시작, 분석, 설계, 구축, 테스트, 배포 및 유지보수의 여러 단계를 거치며, 각 단계는 다음 단계로 넘어가기 전에 완전히 완료되어야 합니다. 이러한 유연성을 강조하기 위해 반복 모델과 자주 비교됩니다.

복구 블록 스키마는 설계 다양성과 역방향 오류 복구를 기반으로 하는 소프트웨어 내결함성 기법입니다. 이 기법은 프로그램을 일련의 블록으로 구성하며, 각 블록은 주 모듈, 인수 테스트, 그리고 하나 이상의 대체 모듈로 이루어져 있습니다. 주 모듈의 출력이 인수 테스트를 통과하지 못하면 시스템 상태가 복원되고 대체 모듈이 실행됩니다.

검증과 유효성 검사(V&V)는 서로 다른 프로세스입니다. 검증은 제품이 명시된 요구사항을 충족하는지 확인하는 과정입니다("제대로 만들고 있는가?"). 유효성 검사는 제품이 사용자의 실제 요구사항과 의도된 용도에 부합하는지 확인하는 과정입니다("올바른 제품을 만들고 있는가?"). 이 두 과정은 품질 관리 내에서 상호 보완적인 활동이며, 정확성과 유용성을 모두 보장하기 위해 순차적으로 또는 동시에 수행되는 경우가 많습니다.

반복성 한계 [latex]r[/latex]은 반복성 표준편차([latex]s_r[/latex])에서 도출된 임계값입니다. 이는 반복성 조건에서 얻은 두 번의 단일 검사 결과 간의 최대 예상 절대 차이를 95% 확률로 나타냅니다. 일반적으로 [latex]r = 2.8 times s_r[/latex]로 계산됩니다. 차이가 [latex]r[/latex]을 초과하면 결과는 의심스러운 것으로 간주됩니다.

BFT(비잔틴 장애 허용)는 시스템의 속성 중 하나로, 일부 구성 요소가 임의적이고 예측 불가능한 방식으로, 심지어 악의적인 행위(비잔틴 장애)로 인해 고장 나더라도 시스템이 정상적으로 작동하고 합의에 도달할 수 있도록 하는 기능입니다. 이는 단순한 시스템 충돌을 허용하는 것보다 훨씬 강력한 보장입니다. BFT를 구현하려면 최소 [latex]3f+1[/latex]개의 전체 구성 요소가 [latex]f[/latex]개의 결함 있는 악의적인 구성 요소를 허용해야 합니다.