<B1D4B0DDBCAD202D20C4DAB5E520B1E2B9DD2E687770>

Size: px

Start display at page:

Download "<B1D4B0DDBCAD202D20C4DAB5E520B1E2B9DD2E687770>"

송현 십
4 years ago
Views:

수량 Unit Quantity Set A. 원리및특징 <ISO26262 Standard SW V-Model Development Process>.

1 서식제호 규격서 규격서 COMMODITY DESCRIPTION 세부품명번호 Item No. 품목및규격 Description 코드기반표준SW 개발 / 검증 / 지원도구 (Code based standard software solutions for development, verification, and support) 단위 수량 Unit Quantity Set A. 원리및특징 <ISO26262 Standard SW V-Model Development Process>. 자동차기능안전성국제표준인 ISO26262의표준소프트웨어개발과정인 V-Model Development Process 과정을따라 C 등을이용한코드기반제어로직의설계 실행 테스트과정수행 2. SW 단위설계 / 실행 (QAC, CodeSoanr), SW 단위테스트 (CodeSonar, VectorCAST/C++) 및 SW 통합테스트 (VectorCAST/C++) 를일괄수행 3. ISO26262, MISRA Coding Rule 등의국제표준에서요구하는 SW 코딩규칙준수여부체크

2 B. 구성 순번품명규격수량비고 QAC 2 CodeSonar VectorCAST 3 /C++ - C 약,700개의코딩규칙분석지원 - S/W 품질 Metrics 측정 : 33가지함수분석방법과 32가지파일분석방법제공 - 데이터오류로인한문제점검출 (Dataflow 분석지원 ) - 함수간 Relationship, Call 관계분석 - 컴파환경을모니터링하는기법을통해분석환경자동설정 - MISRA-C Compliance Module 지원 (MISRA 202 지원 ) - IEC 6508 : 200, ISO26262 : 20, IEC 62304, EN 2052, IEC Certification - MS Visual Studio, Eclipse, WindRiver, Tornado 등 IDE 환경과통합 - 동시사용 명 (Client 설치무제한 ) - Perpetual License 제공 ( 단, 기능 Upgrade는유지보수계약을통해진행 ) - SW 실행시발생할수있는결함, 코드파일간의 Link 관계, Extern 영역에서발생가능한결함검출 - Software Architecture 시각화기능을통한함수호출관계그래프제공 - 결함유형, 결함심각도및결함상태를기준으로분류 검색하고변경이력을관리 - 결함별문제발생호출경로그래프제공 - 최대 500,000 라인에대한 code를분석 (C, C++, Java 언어 ) - 최대 6명의사용자관리 - ISO26262, IEC 6508, EN5028 Certification, CWE Compatible 인증보유 - 함수 / 파일별단위시험및 CLI (Command Line Interface) 기능 - Test Driver 및 Case 개발을위해별도의 Script 작성없이자동생성 - Basis Path, MC/DC 복잡도분석제공및분석을통한 Test case 생성 - 함수 / 파일별 Stub의자동생성기능 - Statement, Branch, MC/DC 커버리지분석 - Function, Call Coverage 분석 - Test Case 입력을위한 GUI 입력기능 - CSV, TAB형식의 Test Case 파일입력기능 - 시험결과및커버리지분석에대한리포트자동생성 (HTML, TXT) - Management, Matric, Aggregate, Testcase Report 등 6종의리포트형식지원 - ISO 26262, IEC 6508, DO-78B/C, EN-5028 Certificate 인증지원 - C & C++ 언어지원 (MFC 라이브러리통합시험은불가 ) - Perpetual License 및 Floating 라이선스타입지원 - ASIL을위한 Statement, Branch, MC/DC, Function, Call Coverage 분석 - Visual Studio 202 이하버전, GNU 시험환경제공

4 VectorCAST /RSP - TI 계열타겟 MCU에대한연동인터페이스기능 - VectorCAST/C++ 의기능을 CCS (Code Composer Studio) 컴파일러를사용하여 Test Harness 빌드 - 크로스컴파일러, 타켓 MCU에대한시뮬레이터 SW or 타겟연동제공 - 구동타겟은 TI 칩셋으로가능 C. 규격 / 사양.

3 4 VectorCAST /RSP - TI 계열타겟 MCU에대한연동인터페이스기능 - VectorCAST/C++ 의기능을 CCS (Code Composer Studio) 컴파일러를사용하여 Test Harness 빌드 - 크로스컴파일러, 타켓 MCU에대한시뮬레이터 SW or 타겟연동제공 - 구동타겟은 TI 칩셋으로가능 C. 규격 / 사양. QAC SET <QAC - ISO2626 Part 4, 6 의 V-Cycle 에서의해당범위 > ) 장비용도 - ISO2626에서요구하는 SW V모델프로세스확립 - SW 실행시발생할수있는오동작및 SW 코딩규칙을검출하기위해필요 - MISRA Coding Rule 과같은국제표준에서요구하는 Coding Compliance 분석및 SW Metrics 분석을통해 SW의잠재적인결함제거 - 코딩규칙위반으로발생할수있는문제점을조기에해결함으로써개발기간을단축 - C 약,700개의코딩규칙분석지원 - 코드작성표준 Rule과사용자정의 Rule을이용하여 Bug 검출 - S/W 품질 Metrics 측정 : 33가지의함수분석방법과 32가지의파일분석방법제공 - 데이터오류로인한문제점검출 (Dataflow 분석지원 ) - 함수간 Relationship 분석

- 함수간 Call 관계분석 - 컴파일러와동시에테스트진행가능 - 컴파일환경의 Monitoring 기법을통해분석환경자동설정 - Command Line Interface지원으로완벽하게 Continuous Integration과연동 ( 프로젝트생성부터분석결과확인까지자동실행 ) - 프로젝트내파일간참조관계에서발생하는문제검출 - MS Visual Studio,

4 - 함수간 Call 관계분석 - 컴파일러와동시에테스트진행가능 - 컴파일환경의 Monitoring 기법을통해분석환경자동설정 - Command Line Interface지원으로완벽하게 Continuous Integration과연동 ( 프로젝트생성부터분석결과확인까지자동실행 ) - 프로젝트내파일간참조관계에서발생하는문제검출 - MS Visual Studio, Eclipse, WindRiver, Tornado 등 IDE환경과통합 - 형상관리도구와연동하여웹기반의결과공유및관리시스템 - 모든 C Compiler 지원 - MISRA-C Compliance Module 지원 (MISRA 202 지원 ) - IEC 6508 : 200, ISO26262 : 20 Certification - IEC 62304, IEC Certification - 동시사용 명 (Client 설치무제한 ) - Perpetual License 제공 ( 단, 기능 Upgrade는유지보수계약을통해진행 ) 2. CodeSonar SET <CodeSonar - ISO2626 Part 4, 6 의 V-Cycle 에서의해당범위 > ) 장비용도 - ISO26262에서요구하는 Semantic, Data Flow, Control Flow 분석 - SW 실행시발생할수있는오동작및 SW Run-Time Error를검출하기위해필요 - 나날이복잡해지는차량용 SW의결함을빠른시간내에효율적으로검출하고 SW의안정성을향상시키기위하여반드시필요

- 코드커버리지확보에서발생할수있는문제점을조기해결함으로써개발기간을단축 - SW 실행시발생할수있는결함, 코드파일간의 Link 관계, Extern 영역에서발생가능한결함검출 - Software Architecture 시각화기능을통한함수호출관계그래프제공 - 결함유형, 결함심각도및결함상태를기준으로분류 검색하고변경이력을관리 - 결함별문제발생호출경로그래프제공 - 최대

5 - 코드커버리지확보에서발생할수있는문제점을조기해결함으로써개발기간을단축 - SW 실행시발생할수있는결함, 코드파일간의 Link 관계, Extern 영역에서발생가능한결함검출 - Software Architecture 시각화기능을통한함수호출관계그래프제공 - 결함유형, 결함심각도및결함상태를기준으로분류 검색하고변경이력을관리 - 결함별문제발생호출경로그래프제공 - 최대 500,000 라인에대한 code를분석 (C, C++, Java 언어 ) - 최대 6명의사용자관리 - ISO26262, IEC 6508, EN5028 Certification, CWE Compatible 인증보유 3. VectorCAST/C++ SET <VectorCAST/C++ - ISO2626 Part 4, 6 의 V-Cycle 에서의해당범위 > ) 장비용도 - ISO26262에서요구하는 Unit/Integration/Structural Coverage Analysis 자동화 - S/W Unit/Integration Testing에요구사항검증에대한일관성 / 추적성확인 - SW 단위 / 통합시험환경구축및 ASIL에요구되는커버리지분석을진행하기위해필요함 (ISO Part 6에서필수수행항목 ) - 나날이복잡해지는차량용 SW시험환경구축및분석을자동화함으로써시험에들어가는많은리소스 ( 인력 / 시간 ) 를절감할수있음

- 함수 / 파일별단위시험및 CLI (Command Line Interface) 기능 - Test Driver 및 Test Case 개발을위해별도의 Script 작성없이자동생성 - Basis Path, MC/DC 복잡도분석제공및분석을통한 Test case 생성 - 함수 / 파일별 Stub 자동생성기능 - Statement,

Testcase Report 등 6종의리포트형식지원 - ISO 26262, IEC 6508, DO-78B/C, EN-5028 Certificate - 선정된특정타겟보드와의 Integration 시험환경제공 - C & C++ 언어지원 (MFC 라이브러리통합시험은불가 ) - Perpetual License 및 Floating

6 - 함수 / 파일별단위시험및 CLI (Command Line Interface) 기능 - Test Driver 및 Test Case 개발을위해별도의 Script 작성없이자동생성 - Basis Path, MC/DC 복잡도분석제공및분석을통한 Test case 생성 - 함수 / 파일별 Stub 자동생성기능 - Statement, Branch, MC/DC 커버리지분석 - Function, Call Coverage 분석 - Test Case 입력을위한 GUI 입력기능 - CSV, TAB형식의 Test Case 파일입력기능 - 시험결과및커버리지분석에대한리포트자동생성 (HTML, TXT) - Management, Matric, Aggregate, Testcase Report 등 6종의리포트형식지원 - ISO 26262, IEC 6508, DO-78B/C, EN-5028 Certificate - 선정된특정타겟보드와의 Integration 시험환경제공 - C & C++ 언어지원 (MFC 라이브러리통합시험은불가 ) - Perpetual License 및 Floating 라이선스타입지원 - ASIL을위한 Statement, Branch, MC/DC, Function, Call Coverage 분석 - Visual Studio 202 이하버전, GNU 시험환경제공 4. VectorCAST/RSP SET <VectorCAST/RSP 역할 > ) 장비용도 - TI MCU를시뮬레이터 or 타겟보드를통해시험실행

7 - Target/Simulator 에서실행된 Test Result 를 VectorCAST/C++ 로전달후결과리포팅 - TI 계열타겟 MCU에대한연동인터페이스기능 - VectorCAST/C++ 의기능을 CCS (Code Composer Studio) 컴파일러를사용하여 Test Harness 빌드 - 크로스컴파일러, 타켓 MCU에대한시뮬레이터 SW or 타겟연동제공 - 구동타겟은 TI 칩셋으로가능 D. 액세서리 E. 비고. 납기 : 발주후 8주 2. 유지보수기간 : 년이상이며, 유지보수내용은다음과같음. - 기본사용자교육 (5명이내) - 전화, 을통한기술지원및 On-Site 지원 - 제품의 Upgrade Version 및 Patch의무상제공 3. 납품처 : 발주자의지정장소

example code are examined in this stage The low pressure pressurizer reactor trip module of the Plant Protection System was programmed as subject for

example code are examined in this stage The low pressure pressurizer reactor trip module of the Plant Protection System was programmed as subject for 2003 Development of the Software Generation Method using Model Driven Software Engineering Tool,,,,, Hoon-Seon Chang, Jae-Cheon Jung, Jae-Hack Kim Hee-Hwan Han, Do-Yeon Kim, Young-Woo Chang Wang Sik, Moon