SW 개발도구

  • SW개발도구
  • SCADE
제품문의

SCADE

SCADE는 Formal Method 방식의 Safety-Critical 소프트웨어 개발을 위한 설계 및 코드 자동 생성 솔루션입니다.
모델 기반 시스템의 설계, 제어 로직의 개발, HMI(Human Machine Interface)를 위한 그래픽 개발 환경 및 모델 검증을 위한 테스트 환경을 제공하여 임베디드 소프트웨어에 최적화된 개발을 수행할 수 있게 합니다. Model Based Development(MBD) 또한 수학적으로 안전성이 검증된 코드 생성기를 탑재하여 코드 검증에 수반되는 비용 및 시간을 줄일 수 있으며, 요구사항 관리/ALM 도구와 연동하여 양방향 추적성을 확보할 수 있어, 소프트웨어 기능 안전을 요구하는 각종 국제표준에 쉽게 대응할 수 있도록 하는 솔루션입니다.

제품의 구성

  • SCADE SUITE
    • 소프트웨어 제어 로직 설계
      임베디드 소프트웨어 설계를 위한 모델
      기반 개발 환경 지원 및 자동 코드 생성
      바로가기
  • SCADE ARCHITECT
    • 시스템/소프트웨어 아키텍처 설계
      MBSE 프로세스를 준수하는 시스템 아키테처 모델 설계 지원
  • SCADE DISPLAY
    • HMI 소프트웨어 설계
      임베디드 소프트웨어의 HMI 개발을
      위한 그래픽 환경 지원
      바로가기
  • SCADE TEST
    • 커버리지 측정 및 테스팅 환경 지원
      임베디드 제어 소프트웨어 설계 검증
      시,상호 작용 가능한 시뮬레이션 지원
      및 Test case 생성/관리환경 제공

제품의 특징 및 이점

  • DO-178C/DO-330 기준 세계에서 유일하게 적격 판정을 받은 TQL-1 도구로서 Safety Critical 고신뢰성, 고품질의 제품 설계가 가능합니다.
  • DO-178B/C, EN 50128/IEC 61508/ISO 26262등 산업별 안전 표준에 대해 인증받은 코드의 자동 생성으로 코드에 대한 안전성 및 검증에 대한 시간과 비용을 획기적으로 줄여줍니다.
  • 산업별로 특화/검증된 위젯 라이브러리와 멀티 디스플레이는 Cockpits, Dashboard, Control Center 등의 개발에 높은 효율성을 보장합니다.
  • 요구사항부터 모델 및 코드 검증까지의 추적성 확보로 Safety Critical System의 설계 전반의 신뢰성을 향상합니다.
  • HOST와 타겟 환경 모두 테스팅 도구 등과의 연동으로 Test case 및 Driver를 자동 생성하여 테스트에 소요되는 시간을 감축합니다.

SCADE SUITE

SCADE SUITE는 임베디드 소프트웨어 설계를 위한 모델 기반 개발 환경을 지원하며, 산업별 안전 표준에 대해 인증이 완료된 코드 생성기를 제공합니다.
정형 언어를 활용하여 모델을 설계하고 검증하며, 모델 내용을 100% 반영하는 코드를 자동으로 생성합니다.

제품의 주요 기능

  • Model Checker 기능

    • 요구사항 간 추적성 누락 여부를 쉽게 식별 가능
    • 추적성 누락으로 인한 오류를 사전에 방지 가능
    • 생성 코드 기반의 시뮬레이션 지원

      • 실제 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

    주요 고객사