(전략)
2. 정식으로 요구 사항 명세에 접근
부터 Z (저건, 1988), VDM (존스, 1986)와 같은 몇몇 공식적인 요구 사항 명세 방법 및 라취 (Guttag 및 Horning, 1993) 순차적으로 시스템의 동작을 지정하는 데 중점을 둡니다. 이러한 접근 방법, 관계, 및 기능 상태 및 사용 중고 - 조건 및 게시물 - 상태 전환을위한 조건을 설명하기 위해 세트와 같은 풍부한 수학적 구조를 사용합니다. 이러한 표기법 표현력이 풍부한 반면, 응용 프로그램이 전문가의 리뷰를 읽고 쓰기 어려운 수있는 표기법을 찾을 수있습니다.
SCR (Heninger, 1980) 80 년대 초반 진짜 - 시간의 임베디드 시스템 소프트웨어 요구 사항을 지정할 도입되었다. 최근 두 가지 기능 및 비 - 기능적 통합까지 확장하고있다 (예를 들어 타이밍과 정확도를) 요구 사항 (Parnas와 마데, 1995; 밴 외., 1993). 으로 사용하도록 설계 엔지니어들이 있었고, SCR 방식을 성공적으로 실천 체계의 다양한를 A - 7 작전 비행 프로그램 등과 같은 (Alspaugh 외 적용되었습니다., 1992), 잠수함 통신 시스템 (Heitmeyer와 McLean, 캐나다의 원자력 발전소의 Darlington 1983), 및 안전 - 중요한 구성 요소 (밴 외., 1993).
., 1993) Darlington AECL하여 원자력 발전소에 적용 접근 (반 외 원자력 발전소 시스템에 대한 공식적인 소프트웨어 요구 사양으로 최초의 시도이며, 또한 셧다운 시스템 2 핵 전력 Wolsong에 (SDS2)에 적용했다 한국에 공장 (WolsongNPP2/3/4, 1993). SCR 접근법은 여러 가지 방법으로 확장됩니다.
첫째, 그것은 표의 구조적 결정 테이블 (SDT)라는 이름으로 (즉, 모드 전환 테이블, 이벤트 테이블, 상태 테이블) SCR의 세 테이블을 결합했다. 그것은 그래픽 시스템의 구성 요소와 종속성의 개요를 설명하는 기능 개요 다이어그램 (FOD), 데이터 흐름 다이어그램 (DFD)와 비슷합니다.
마침내, 그 타이밍 제약에 요구 사항을 정밀와 관용에 관한 설명하기위한 정교한 기능을 제공합니다.
대부분의 핵 엔지니어와 소프트웨어 엔지니어가 쉽게 이해할 수 AECL 표기법을 찾을 수 있도록 몇 가지 한계가 있었다. 그들은 : (1) 검토하는 엔지니어들에게 SDTs 지나치게 복잡하게 될 수있습니다. AECL 지침의 모든 조건은 SDT의 각 행에있는 원자 수로 지정된 '' '' (, 논리를 사용하지 않고 작업 등)이 필요합니다. 따라서 하나의 Wolsung SDS2 사양의 경우에는, SDT가 완전히 기능을 지정하려면 14 행 및 16 컬럼이 필요합니다. 그러나, 수학 수식 the SDTs에서 사용 잘 - 원자력 공학 사회에서 전반적으로, 별도로 알려져 있고 필요가없습니다 수학적 규격에서 사용되는 각 용어의 정확성을 확인하는 것입니다. (2) 관리 관련 기능 등과 같은 시간의 - 타이머도 이해가 복잡하게 정의하고있다. 그들은 시간을 지정하기위한 - 관련 요구 사항은 특별한 타이밍 기능을 사용할 수있습니다.
그러나, 그들의 정의가 너무 직감적으로 일반 도메인 기술자에 의해 알려지게 어렵다. 또한 타이밍 제약 조건에 대한 추가 표기법을 추가하여 복잡한 FOD.
2. 정식으로 요구 사항 명세에 접근
부터 Z (저건, 1988), VDM (존스, 1986)와 같은 몇몇 공식적인 요구 사항 명세 방법 및 라취 (Guttag 및 Horning, 1993) 순차적으로 시스템의 동작을 지정하는 데 중점을 둡니다. 이러한 접근 방법, 관계, 및 기능 상태 및 사용 중고 - 조건 및 게시물 - 상태 전환을위한 조건을 설명하기 위해 세트와 같은 풍부한 수학적 구조를 사용합니다. 이러한 표기법 표현력이 풍부한 반면, 응용 프로그램이 전문가의 리뷰를 읽고 쓰기 어려운 수있는 표기법을 찾을 수있습니다.
SCR (Heninger, 1980) 80 년대 초반 진짜 - 시간의 임베디드 시스템 소프트웨어 요구 사항을 지정할 도입되었다. 최근 두 가지 기능 및 비 - 기능적 통합까지 확장하고있다 (예를 들어 타이밍과 정확도를) 요구 사항 (Parnas와 마데, 1995; 밴 외., 1993). 으로 사용하도록 설계 엔지니어들이 있었고, SCR 방식을 성공적으로 실천 체계의 다양한를 A - 7 작전 비행 프로그램 등과 같은 (Alspaugh 외 적용되었습니다., 1992), 잠수함 통신 시스템 (Heitmeyer와 McLean, 캐나다의 원자력 발전소의 Darlington 1983), 및 안전 - 중요한 구성 요소 (밴 외., 1993).
., 1993) Darlington AECL하여 원자력 발전소에 적용 접근 (반 외 원자력 발전소 시스템에 대한 공식적인 소프트웨어 요구 사양으로 최초의 시도이며, 또한 셧다운 시스템 2 핵 전력 Wolsong에 (SDS2)에 적용했다 한국에 공장 (WolsongNPP2/3/4, 1993). SCR 접근법은 여러 가지 방법으로 확장됩니다.
첫째, 그것은 표의 구조적 결정 테이블 (SDT)라는 이름으로 (즉, 모드 전환 테이블, 이벤트 테이블, 상태 테이블) SCR의 세 테이블을 결합했다. 그것은 그래픽 시스템의 구성 요소와 종속성의 개요를 설명하는 기능 개요 다이어그램 (FOD), 데이터 흐름 다이어그램 (DFD)와 비슷합니다.
마침내, 그 타이밍 제약에 요구 사항을 정밀와 관용에 관한 설명하기위한 정교한 기능을 제공합니다.
대부분의 핵 엔지니어와 소프트웨어 엔지니어가 쉽게 이해할 수 AECL 표기법을 찾을 수 있도록 몇 가지 한계가 있었다. 그들은 : (1) 검토하는 엔지니어들에게 SDTs 지나치게 복잡하게 될 수있습니다. AECL 지침의 모든 조건은 SDT의 각 행에있는 원자 수로 지정된 '' '' (, 논리를 사용하지 않고 작업 등)이 필요합니다. 따라서 하나의 Wolsung SDS2 사양의 경우에는, SDT가 완전히 기능을 지정하려면 14 행 및 16 컬럼이 필요합니다. 그러나, 수학 수식 the SDTs에서 사용 잘 - 원자력 공학 사회에서 전반적으로, 별도로 알려져 있고 필요가없습니다 수학적 규격에서 사용되는 각 용어의 정확성을 확인하는 것입니다. (2) 관리 관련 기능 등과 같은 시간의 - 타이머도 이해가 복잡하게 정의하고있다. 그들은 시간을 지정하기위한 - 관련 요구 사항은 특별한 타이밍 기능을 사용할 수있습니다.
그러나, 그들의 정의가 너무 직감적으로 일반 도메인 기술자에 의해 알려지게 어렵다. 또한 타이밍 제약 조건에 대한 추가 표기법을 추가하여 복잡한 FOD.
3. NuSCR 소프트웨어 요구 사항 명세 구조
NuSCR 기본적으로,, 변수를 입력 변수, 출력 변수, 모니터링 및 제어 Parnas 변수 '4 - 가변 모델 (Parnas와 마데, 1991에 따라) 4 개의 구조를 사용합니다. 또한, 우리는 세 가지 다른 기본, 기능 변수, 역사 변수, 그리고 시간의 역사를 소개 실용 및 도메인 종속 변수를 구성 매너에 Parnas '4 - 가변 모델의 관계를 지정합니다. 이 세 SDT, FSM으로 정의될 수 있고, 각각 TTS 구조.
모두에 의해 표현되는 구조의 관계
FOD.
대회 이름을 지어라. 각 효율적으로 구축 NuSCR 구별하는 명명 규칙은 다음 접두사를 사용합니다. 두 접두사, '' g ''과 '' 케이 '', 사양의 편의를 위해 소개합니다 :
NuSCR 기본적으로,, 변수를 입력 변수, 출력 변수, 모니터링 및 제어 Parnas 변수 '4 - 가변 모델 (Parnas와 마데, 1991에 따라) 4 개의 구조를 사용합니다. 또한, 우리는 세 가지 다른 기본, 기능 변수, 역사 변수, 그리고 시간의 역사를 소개 실용 및 도메인 종속 변수를 구성 매너에 Parnas '4 - 가변 모델의 관계를 지정합니다. 이 세 SDT, FSM으로 정의될 수 있고, 각각 TTS 구조.
모두에 의해 표현되는 구조의 관계
FOD.
대회 이름을 지어라. 각 효율적으로 구축 NuSCR 구별하는 명명 규칙은 다음 접두사를 사용합니다. 두 접두사, '' g ''과 '' 케이 '', 사양의 편의를 위해 소개합니다 :
• m : 변수 모니터링
• i : 입력 변수
• f : 시스템 함수 변수
• h : 역사 변수
• th : 타임 역사 변수
• g : 함수 변수, 역사 변수 또는 타임 역사 변수의 설정
• k : 미리 정의된 상수
• o : 메시지 출력 변수
• c : 제어 변수
• i : 입력 변수
• f : 시스템 함수 변수
• h : 역사 변수
• th : 타임 역사 변수
• g : 함수 변수, 역사 변수 또는 타임 역사 변수의 설정
• k : 미리 정의된 상수
• o : 메시지 출력 변수
• c : 제어 변수
시스템 엔티티. 시스템 구축으로 정의 엔티티 NuSCR 소프트웨어 요구 사양은 다음과 같습니다 :
• VSE 모든 시스템 엔티티의 집합으로 정의됩니다
VSE ¼ VI [ VF [ VH [ VTH [ VO
VI: 시스템의 입력 변수의 집합
VF: 함수의 변수의 집합
VH: 역사의 설정 변수
VTH: 타임 역사 변수의 집합
VO: 시스템 출력 변수의 집합
• DSE: VSE의 모든 연구에 대한 가능한 모든 도메인의 가치 설정
Let r 2 VSE, vr 2 DSE, a; b 2 N, and 2 f¼; 6¼; 6;<;
P;>g,
simple condition :¼ r vr jr rjTRUEjFALSE
complex condition :¼ simple condition ^ simple
condition
j simple condition _ simple conditionj
:simple conditionjsimple condition
timed condition :¼ ½a; bcomplex condition
VSE ¼ VI [ VF [ VH [ VTH [ VO
VI: 시스템의 입력 변수의 집합
VF: 함수의 변수의 집합
VH: 역사의 설정 변수
VTH: 타임 역사 변수의 집합
VO: 시스템 출력 변수의 집합
• DSE: VSE의 모든 연구에 대한 가능한 모든 도메인의 가치 설정
조건을 진술했다. VSE에있는 모든 조건을 진술 엔티티의 가치에 대한 predicates있다. NuSCR에있는 상태로 BNF 제표 양식으로 정의는 다음과 같습니다 :
Let r 2 VSE, vr 2 DSE, a; b 2 N, and 2 f¼; 6¼; 6;<;
P;>g,
simple condition :¼ r vr jr rjTRUEjFALSE
complex condition :¼ simple condition ^ simple
condition
j simple condition _ simple conditionj
:simple conditionjsimple condition
timed condition :¼ ½a; bcomplex condition
그것은 시간이 초과 상태가 복잡한 상태입니다 주목해야한다 타이밍 제약은 기간으로 표명했다. 시간이 초과 상태가 복잡한 상태 이신데 타임 역사 변수를 정의하는 표현 함수의 변수와 변수를 포함하는 역사로 작성된 사용됩니다.
과제물 진술했다. 과제물 진술 VSE에서 엔티티의 가치 뜻. NuSCR에있는 임무는 진술로 BNF 양식으로 정의는 다음과 같습니다 :
Let r 2 VSE; vr 2 DSE; a; b 2 N; and 2fþ;; ;g
assignment :¼ ðr :¼ vrÞjðr :¼ rÞjðr :¼ r rÞjðr :¼ r vrÞ
과제물 진술했다. 과제물 진술 VSE에서 엔티티의 가치 뜻. NuSCR에있는 임무는 진술로 BNF 양식으로 정의는 다음과 같습니다 :
Let r 2 VSE; vr 2 DSE; a; b 2 N; and 2fþ;; ;g
assignment :¼ ðr :¼ vrÞjðr :¼ rÞjðr :¼ r rÞjðr :¼ r vrÞ
기능 변수. 수학적 함수의 변수는 시스템의 기능 동작을 지정하는 데 사용됩니다. 그들은 SDTs로 정의되어있습니다. SDT 조건의 일종 / 행동 (임무 제표) 수행을 유도하는 경우 조건 (조건 제표)에 만족을 나타냅니다 액션 테이블입니다. 표 형식의 표기법과 같은 장점을 가지고 SDTs의 엔지니어와 개발자에게 익숙한있다. SDT에서 조건 함수 변수의 입력과 complex_conditions가없습니다.
동작은 함수 자체를 변수에 할당됩니다.
동작은 함수 자체를 변수에 할당됩니다.