시스템·임베디드
Ansys medini analyze
기능안전·사이버보안 분석 도구
SysML 기반 단일 모델에서 HARA, FMEA, FTA, FMEDA, TARA를 수행해 ISO 26262, IEC 61508, ARP 4761, ISO/SAE 21434 대응을 체계화합니다.
개요 Overview
Ansys SCADE는 비행제어, 엔진 제어(FADEC), 철도 신호, 원자력 계측제어, 자동차 ECU처럼 결정적 동작과 인증이 요구되는 임베디드 소프트웨어를 위한 모델 기반 개발 환경입니다. 동기식 데이터플로와 상태 머신을 결합한 정형 의미론 위에서 설계하므로 모델 자체가 명확한 실행 규칙을 가지며, 모델에서 생성된 코드의 동작을 예측할 수 있습니다.
핵심인 KCG 코드 생성기는 DO-178C(DO-330 TQL-1), IEC 61508, EN 50128, ISO 26262 등 기준에 맞춰 자격 인정되어 생성 코드에 대한 일부 검증 활동을 줄일 수 있습니다. 차세대 환경인 Scade One은 SCADE 제품군의 후속 플랫폼으로 MBSE 흐름과의 연결을 강화했습니다.
주요 기능 Key Features
FEATURE 01Scade One 차세대 환경
SCADE 제품군의 후속 플랫폼으로 Swan 언어 기반 모델링, 시뮬레이션, 코드 생성을 하나의 환경에서 제공하며 MBSE 흐름과의 연결을 강화했습니다.
FEATURE 02SCADE Suite 제어설계
데이터플로 다이어그램과 Safe State Machine으로 제어 로직을 설계하고, 모델 단계에서 시뮬레이션과 디버깅을 수행합니다.
FEATURE 03KCG 자동 코드 생성
모델로부터 C 또는 Ada 코드를 생성하며 Certification Kit로 인증 근거 자료 작성을 지원합니다. 생성 코드는 결정적이고 동적 메모리를 사용하지 않습니다.
FEATURE 04Display HMI 개발
조종석 계기, 차량 클러스터 등 안전 필수 HMI를 그래픽으로 설계하고 OpenGL 기반 코드를 생성합니다. ARINC 661 표준 대응 도구를 제공합니다.
FEATURE 05Architect 아키텍처
SysML 기반으로 시스템·소프트웨어 아키텍처와 인터페이스를 정의하고, AADL 등 도메인 모델과 SCADE Suite 설계로 연결합니다.
FEATURE 06Test·정형 검증
호스트·타깃 테스트 실행과 MC/DC 수준 모델 커버리지 측정을 지원하며, Design Verifier로 안전 속성을 정형 증명할 수 있습니다.
기술 사양 Capabilities
| 제품 구성 | Scade One, SCADE Suite, SCADE Display, SCADE Architect, SCADE Test, SCADE LifeCycle |
|---|---|
| 모델링 언어 | 동기식 데이터플로 + Safe State Machine(Lustre 기반 의미론), Scade One은 Swan 언어 |
| 코드 생성 | KCG: C / Ada 코드, 결정적 실행, 동적 메모리 할당 없음 |
| 대응 인증 기준 | DO-178C/DO-330, IEC 61508, EN 50128, ISO 26262 등 |
| 검증 | 모델 시뮬레이션, MC/DC 모델 커버리지, 정형 검증(Design Verifier), 타깃 실행 테스트 |
| HMI 표준 | ARINC 661 위젯 라이브러리·UA DF 생성, OpenGL 계열 렌더링 코드 |
| 연계 | Simulink 모델 가져오기(Gateway), 요구사항 추적, LifeCycle Reporter 문서 자동화 |
에디션 · 구매 옵션 Editions & Licensing
Ansys Scade One EssentialAnsys Scade One StudioAnsys Scade One V&VAnsys Scade One Code GenAnsys SCADE Suite Advanced Modeler SeatAnsys SCADE Suite KCG Code Generator - C and ADAAnsys SCADE Suite Design VerifierAnsys SCADE Display Advanced Modeler SeatAnsys SCADE Architect Advanced Modeler SeatAnsys SCADE Test Environment for HostAnsys SCADE Test Model Coverage
모델러 시트, 코드 생성기(KCG), 인증 키트, 테스트 모듈이 개별 구성되므로 개발 인원과 대상 인증 수준(DAL·ASIL·SIL)에 맞춰 조합합니다. ARINC 661 및 AADL 등 항공 전용 패키지도 별도 구성할 수 있습니다.
※ 가격은 제품 구성·수량·라이선스 형태·HPC 옵션에 따라 달라지므로 견적서로 안내해 드립니다.
적용 분야 Applications
항공기 비행제어·FADEC 소프트웨어조종석 디스플레이(ARINC 661 CDS/UA)철도 신호·열차 제어(CBTC)원자력 계측제어(I&C)자동차 ECU·ADAS 제어 로직방산 무장·임무 시스템산업용 안전 PLC 로직
함께 쓰면 좋은 구성
- Ansys medini analyze로 안전 요구사항을 도출하고 SCADE 설계와 추적성 연결
- Ansys Twin Builder 플랜트 모델과 연계해 제어 로직 MiL/SiL 검증
- Ansys ModelCenter 기반 MBSE 흐름에서 SCADE Architect 아키텍처 활용
자주 묻는 질문 FAQ
Scade One과 SCADE Suite 중 무엇을 선택해야 하나요?
신규 프로젝트는 차세대 환경인 Scade One 검토를 권장하며, 기존 SCADE Suite 자산과 인증 이력이 있는 프로젝트는 SCADE Suite 유지 또는 단계적 전환을 함께 검토해 안내드립니다.
인증 키트는 꼭 필요한가요?
생성 코드에 대한 검증 활동을 줄이려면 대상 인증 기준과 등급에 맞는 Certification Kit가 필요합니다. 인증 대상이 아닌 연구·선행 개발은 모델러와 코드 생성기만으로 시작할 수 있습니다.
Ansys SCADE 견적은 어떻게 받나요?
이 페이지의 “이 제품 주문서 작성” 버튼을 누르면 제품이 자동 선택된 주문서가 열립니다. 구매 유형(영구 라이선스 / 1년 리스 / 해석 용역 / 기타)과 연락처를 남기시면 영업일 1일 이내 구성안과 견적서를 회신해 드립니다. 급하시면 010-3007-2564로 전화 주세요.
Related Products
관련 제품
시스템·임베디드
Ansys Twin Builder
시스템 시뮬레이션·디지털 트윈
회로·블록·Modelica 모델을 결합한 멀티도메인 1D 시스템 시뮬레이션과 3D 해석 기반 ROM, TwinAI 하이브리드 분석으로 디지털 트윈을 구축·배포합니다.
별도 공급
최적화·MBSE
Ansys ModelCenter
MBSE 연계·다분야 설계 통합
이기종 해석 도구와 사내 코드를 자동화 워크플로로 통합하고, SysML 시스템 모델과 연계해 요구사항을 해석 결과로 검증하는 MBSE·PIDO 솔루션입니다.
Quote & Purchase
Ansys SCADE 도입, 지금 견적을 받아보세요
에디션 · 수량 · HPC · 워크스테이션 구성까지 맞춤 견적서로 영업일 1일 이내 회신해 드립니다.