SW 개발을 위한 설계 및 코드 자동 생성 솔루션
SCADE
SCADE는 Formal Method 방식의 Safety-Critical 소프트웨어 개발을 위한 설계 및 코드 자동 생성 솔루션입니다.
모델 기반 시스템의 설계, 제어 로직의 개발, HMI(Human Machine Interface)를 위한 그래픽 개발 환경 및 모델 검증을 위한 테스트 환경을 제공하여 임베디드 소프트웨어에 최적화된 개발을 수행할 수 있게 합니다. Model Based Development(MBD) 또한 수학적으로 안전성이 검증된 코드 생성기를 탑재하여 코드 검증에 수반되는 비용 및 시간을 줄일 수 있으며, 요구사항 관리/ALM 도구와 연동하여 양방향 추적성을확보할수있어,소프트웨어 기능 안전을 요구하는 각종 국제표준에 쉽게 대응할 수 있도록 하는 솔루션입니다.
모델 기반 시스템의 설계, 제어 로직의 개발, HMI(Human Machine Interface)를 위한 그래픽 개발 환경 및 모델 검증을 위한 테스트 환경을 제공하여 임베디드 소프트웨어에 최적화된 개발을 수행할 수 있게 합니다. Model Based Development(MBD) 또한 수학적으로 안전성이 검증된 코드 생성기를 탑재하여 코드 검증에 수반되는 비용 및 시간을 줄일 수 있으며, 요구사항 관리/ALM 도구와 연동하여 양방향 추적성을확보할수있어,소프트웨어 기능 안전을 요구하는 각종 국제표준에 쉽게 대응할 수 있도록 하는 솔루션입니다.
솔루션 구성
주요 특징
- 01DO-178C/D-330 기준 적격 판정을 받은 TQL-1 도구
- Safety Critical 고 신뢰성, 고 품질의 제품 설계 가능
- 02산업 별 안전 표준에 대해 인증받은 코드의 자동 생성
- DO-178B/C, EN 50128, IEC 61508, ISO 26262 등 지원
- 자동 코드 생성 기능으로 코드 안정성 및 검증에 대한 시간과 비용 절약
- 03산업 별로 특화/검증된 위젯 라이브러리와 멀티 디스플레이
- Cockpits, Dashboard, Control Center 등의 개발에 높은 효율성 보장
- 04HOST와 타겟 환경 모두 테스팅 도구 등과 연동 가능
- Test case 및 Driver 자동 생성하여 테스트 소요 시간 감축
SCADE Suite
SCADE Suite 는 소프트웨어 제어로직을 설계하는 도구입니다.
임베디드 소프트웨어 설계를 위한 모델 기반 개발 환경을 지원하며, 산업별 안전 표준에 대해 인증이 완료된 코드 생성기를 제공합니다.정형 언어를 활용하여 모델을 설계하고 검증하며, 모델 내용을 100% 반영하는 코드를 자동으로 생성합니다.
임베디드 소프트웨어 설계를 위한 모델 기반 개발 환경을 지원하며, 산업별 안전 표준에 대해 인증이 완료된 코드 생성기를 제공합니다.정형 언어를 활용하여 모델을 설계하고 검증하며, 모델 내용을 100% 반영하는 코드를 자동으로 생성합니다.
주요 기능
- 임베디드 제어 소프트웨어 설계 및 Model Check 기능
- 임베디드 소프트웨어의 제어, 로직, 알고리즘 설계를 위한 통합된 환경을 지원
- Semantic Checker를 통한 설계 모델의 논리적 오류 체크
- 모델 내 존재하는 다양한 Semantic 잠재결함 탐지
- 생성 코드 기반의 시뮬레이션 지원
- 실제 SCADE Suite로부터 생성된 코드를 기반으로 한 상세한 시뮬레이션
- 시나리오 레코딩/편집 (시작점 및 중단점 설정)
- 다양한 Closed loop 기반 임베디드 소프트웨어 테스팅 지원 (NI, Dspace, TechSAT 등)
- 인증된 자동 코드 생성기 (C코드, Ada코드)
- 국제 안전 표준 최고 등급 충족 : DO-178C (TQL 1 - DAL A)
- 국제 안전 표준 인증 : EN50128 SIL 4, ISO 26262 ASIL D, IEC 61508 SIL3
SCADE Architect
SCADE Architect 는 시스템 및 소프트웨어 아키텍처를 설계하는 도구입니다.
MBSE(Model Based System Engineering) 프로세스를 준수하는 시스템 아키텍처 모델 설계를 지원하며, 사용자의 요구사항 분석을 위한 Operational Analysis를 수행합니다. SysML 기반의 구조화된 아키텍처를 설계하고 기능을 할당하여 신뢰성이 요구되는 시스템 설계를 지원하는 도구입니다.
MBSE(Model Based System Engineering) 프로세스를 준수하는 시스템 아키텍처 모델 설계를 지원하며, 사용자의 요구사항 분석을 위한 Operational Analysis를 수행합니다. SysML 기반의 구조화된 아키텍처를 설계하고 기능을 할당하여 신뢰성이 요구되는 시스템 설계를 지원하는 도구입니다.
주요 기능
- 모델 기반 임베디드 시스템 아키텍처 설계
- 아키텍처 구성 및 설계를 위한 SysML 기반의 모델링 다이어그램 지원(Use Case, Sequence diagram, State machine, Activity diagram, Parametric diagram, Block Definition diagram, Internal Block diagram)
- 상세 데이터 설정이 가능한 Block Definition diagram을 지원하여 medini analyze와의 아키텍처 연동 시 설계 신뢰성 확보
- 인터페이스 통제 문서(Interface Control Documents, ICD) 생성
- 모델 구성 요소의 데이터를 포함한 인터페이스 통제 문서를 자동으로 생성하며, 산업별로 요구되는 데이터 형식 패키지화 지원
- SCADE Solution과의 연동
- 시스템 모델과 하위 시스템 구성 요소의 동기화로 아키텍처 일관성 확보 및 개발 효율성 증대
- 통합된 작업 환경을 지원하여 소프트웨어 인터페이스와의 자동화된 동기화 및 추적성 확보
SCADE Display
SCADE Display는 임베디드 소프트웨어의 HMI(Human-Machine Interface) 개발을 위한 그래픽 환경을 제공하며, 사전에 정의된 그래픽 모델을 기반으로 한 상세한 시뮬레이션을 지원합니다. 또한 산업별 안전 표준에 대해 인증 받은 코드 생성기를 탑재되어, 그래픽 모델과 일치하며 플랫폼에 독립적인 코드를 자동으로 생성합니다.
주요 기능
- HIM(Human Machine Interface) 소프트웨어 설계
- 산업부문 별 특화된 위젯 라이브러리 제공과 위젯 라이브러리의 쉬운 편집으로 직관적인 HMI 디스플레이 설계
- 사전에 정의되고 편집 가능한 위젯 라이브러리 제공(Cockpit, Dashboard, Control Center 등)
- WYSWYG (What you See Is What You Get) 설계 지원
- Host 기반 설계 및 타겟 기반 Runtime 시 동일한 렌더링 특성
- 자동 코드 생성기 탑재 (C코드, OpenGL, SC/ES 코드)
- 인증 받은 C코드 및 OpenGL SC (Safety Critical)/ES (Embedded Software) 소스 코드 자동 생성
- 국제 안전 표준 최고 등급 충족 : DO-178C (TQL 1 DAL A)
- 국제 안전 표준 인증, EN50128 SIL 4, ISO 26262 ASIL D, IEC 6508 SIL 3
- Advanced Graphical Prototyping & Specification
- 재사용 가능한 라이브러리, 멀티 터치 (Multi-touch) 지원
- 하나의 디스플레이 모델을 통해 PC, 임베디드, 모바일 등 다양한 환경에서 실행 가능 (One-Source Multiple – Target Support)
SCADE Test
SCADE Test 모델 기반 커버리지 측정 및 테스트 도구입니다.
임베디드 제어 소프트웨어 설계 검증 시, 상호작용 가능한 시뮬레이션을 지원하며 Test Case를 생성하고 관리할 수 있는 테스트 환경을 제공합니다. 모델 및 코드 커버리지를 측정하고 Host 및 Target 모두에서 Test Case 실행을 자동화하며, SCADE Suite로 생성된 모델 및 코드의 커버리지를 측정합니다.
임베디드 제어 소프트웨어 설계 검증 시, 상호작용 가능한 시뮬레이션을 지원하며 Test Case를 생성하고 관리할 수 있는 테스트 환경을 제공합니다. 모델 및 코드 커버리지를 측정하고 Host 및 Target 모두에서 Test Case 실행을 자동화하며, SCADE Suite로 생성된 모델 및 코드의 커버리지를 측정합니다.
주요 기능
- 테스트 데이터 관리 및 조기 요구사항 검증
- 테스트 데이터 작성 및 관리, 실행 설정 및 테스트 실행 보고서 자동 생성 등 데이터 관리를 위한 사용자 인터페이스 제공
- 테스트 중인 어플리케이션과 상호작용하는 대화식 패널을 통해 모델 시뮬레이션 및 Rapid Prototyping 가능
- 모델 커버리지 확보
- 모델 및 코드 레벨 모두에 대해 MC/DC 커버리지 측정 및 검증으로 설계에 대한 신뢰성과 품질을 향상
- 테스트 실행 자동화
- 호스트와 타겟 모두에서 테스팅 도구(VectorCAST 등)와 연동하며 Test Case 실행을 자동화하고 테스트 드라이버를 자동으로 생성
- 자동화된 테스트 실행 및 커버리지 분석으로 테스팅 업무 절감