간단 사양
Ansys SCADE Suite는 핵심 제어 애플리케이션 설계를 간소화하고 검증, 적격/보증 코드 생성 및 문서 생성을 자동화하여 안전성 인증 비용을 크게 줄입니다.
Ansys SCADE Suite는 상호 운용성 표준 및 Python 기반 사용자 지정 기능을 지원하므로 사용자 흐름에 원활하게 통합됩니다.
Ansys SCADE Suite는 요구 사항 관리, 모델 기반 설계, 검증, 적격/공인 코드 생성 기능, 다른 개발 도구 및 플랫폼과의 상호 운용성에 대한 연결을 제공하는 안정적인 임베디드 소프트웨어를 위한 모델 기반 개발 환경입니다.
현대의 자동차, 항공기 및 기타 복잡한 산업 제품은 여러 전자 부품으로 구성되어 있으며, 중요한 기능을 제공하기 위해 완벽하게 통합되어 있습니다. 이러한 첨단 시스템은 모든 운영 시나리오에서 결함 없는 작동을 보장하는 수백만 줄의 임베디드 소프트웨어 코드를 기반으로 합니다.
Ansys SCADE Suite는 중요한 애플리케이션에서 안전성과 신뢰성을 유지하면서 검증 비용을 줄이고 생산성을 향상시킵니다.
Ansys SCADE Suite는 핵심 제어 애플리케이션 설계를 간소화하고 검증, 적격/보증 코드 생성 및 문서 생성을 자동화하여 안전성 인증 비용을 크게 줄입니다.
Ansys SCADE Suite는 상호 운용성 표준 및 Python 기반 사용자 지정 기능을 지원하므로 사용자 흐름에 원활하게 통합됩니다.
자동차 업계의 선두 주자가 개발 프로세스의 95%를 자동화하여 비교할 수 없는 정확성, 속도 및 비용 절감을 달성합니다.
새로운 하이브리드 및 전기 차량 모델을 출시하기 위한 경쟁에서 Ansys SCADE는 지난 10년 동안 Subaru의 귀중한 전략적 도구로 부상하여 안전과 품질을 타협하지 않는 자동차 제조업체의 노력을 지원하고 있습니다. 제어 소프트웨어의 정확성을 그대로 유지하면서 ECU의 엔드투엔드 개발 과정에서 절약된 시간은 Subaru가 혁신적인 신기술을 도입하는 데 중요한 역할을 했습니다.
ECU를 위한 소프트웨어 코드 생성 프로세스는 차량의 모든 전자 장치 아키텍처 부분을 통합하기 위한 제어 논리를 정의하는 것에서 시작됩니다. 이 일련의 논리 기반 규칙은 차량의 모든 전자 장치가 안전하고 확실하게 통합되도록 합니다. 시스템 상호 작용을 관리하고, 필요할 때 경보를 보내고, 비상 시에는 시스템을 종료할 수도 있습니다. 또한 차량 다이내믹스, 엔진 기능, 차량의 에너지 소비 및 전기 배터리의 부하 관리를 제어합니다.
기능
중요한 임베디드 소프트웨어를 위한 모델 기반 개발 환경인 Ansys SCADE Suite를 사용하면 최소한의 프로젝트 인증 비용으로 중요한 임베디드 소프트웨어를 설계 및 검증할 수 있습니다. 공식적으로 정의된 Scade 언어를 통해 직관적이며 분명한 표기가 가능합니다.
Ansys SCADE Suite는 중요 애플리케이션을 위한 신뢰할 수 있는 임베디드 소프트웨어의 설계, 분석, 시뮬레이션 및 검증을 위한 완벽한 모델 기반 솔루션입니다.
Ansys SCADE Suite를 사용하면 직관적인 그래픽 표시를 사용하여 데이터 흐름과 계층적 상태 시스템의 무제한 중첩을 지원할 수 있습니다. 코드가 적용 가능한 표준을 준수하는지 규칙 검사기를 사용하여 확인합니다. Python 기반 프레임워크는 모든 프로젝트에 완벽하게 맞춤화된 솔루션을 위한 고유한 규칙과 메트릭을 생성할 수 있게 해줍니다.
이러한 통합을 통해 요청 시 그리고 프로젝트 마일스톤에서 사용 가능한 동기화를 통해 아키텍처와 설계를 동시에 발전시킬 수 있습니다. 아키텍처와 설계 모델 간의 양방향 동기화는 인터페이스 동기화 작업의 중복을 줄이거나 제거하여 효율성을 극대화합니다. Ansys SCADE Suite와 Ansys SCADE Architect 간의 동기화는 IMA, FACE 및 AUTOSAR 같은 컨텍스트에서 아키텍처 설계부터 코드 생산 흐름까지 지원합니다.
비디오: 소프트웨어 중심 임베디드 시스템을 위한 통합 워크플로
Ansys SCADE Suite의 코드 생성기는 코드를 확인할 필요 없이도 모델에 제공된 사양을 충족합니다. 따라서 모델의 동작이 올바른지 확인하는 것이 중요합니다. Ansys 소프트웨어에는 모델의 정확성을 검증하고 개발 시간을 단축하기 위한 여러 모델 수준 분석 기능이 탑재되어 있습니다. 모델의 정적 해석을 수행할 수 있습니다. 모델의 정적 해석(즉, 모델이 일관되는지, 데이터 흐름이 제대로 입력되었는지, 초기화가 제대로 수행되었는지 확인)은 코드 생성기의 프런트 엔드에 의해 수행되므로 다양한 소프트웨어 안전 표준에 대해 가장 높은 수준에서 검증됩니다. 규칙 검사기를 사용하면 필수 또는 권장 규칙에 대한 타당성 메커니즘을 지원하는 Python 기반 프레임워크를 사용하여 특정 검사를 사용자 정의하고 추가할 수 있습니다.
Ansys SCADE Suite Design Verifier는 안전 요구 사항을 공식적으로 표시하고 평가하는 검증 도우미로, 개발 프로세스 초기에 버그를 찾을 수 있는 생산적인 방법을 제공합니다. Prover® 기술을 기반으로 하며 부동 소수점 계산 지원을 포함한 멀티코어 공식 증명 엔진을 통해 지원됩니다.
Ansys SCADE Suite를 사용하면 그래픽 및 텍스트 블록으로 소프트웨어 설계를 정의할 수 있습니다. 정의된 후에는 자동으로 생성된 코드에 기반한 시뮬레이션 기능을 사용하여 소프트웨어 설계 또는 개별 블록을 시뮬레이션할 수 있습니다. 시뮬레이션 및 디버깅 기능에는 실행 가능한 설계, 실제 생성된 코드의 세부 시뮬레이션, 시나리오 기록 및 재생, 사양 오류의 조기 감지, 자동 비회귀 테스트 등이 포함됩니다.
Ansys SCADE Suite KCG는 DO-178B 소프트웨어(레벨 A까지) 및 DO-178C/DO-330(TQL-1)에 대한 개발 도구로 인증을 받은 Scade 모델의 C 및 Ada 코드 생성기입니다. 또한 IEC 61508(SIL 3) 및 EN 50128(SIL 3/4)에 대한 인증을 받았으며, ISO 26262 소프트웨어에 대한 ASIL D까지 자격을 획득했는데, 이는 KCG 개발 프로세스가 이러한 소프트웨어 안전 표준을 준수함을 의미합니다. Ansys SCADE Suite는 멀티코어 코드 생성기를 사용하여 멀티코어 코드를 생성할 수 있습니다. 연산자의 특정 인스턴스가 모델에서 식별되어 병렬화 가능한 작업이 됩니다. 이러한 작업의 사양은 모델과 관련이 없으므로 다양한 구성을 사용할 수 있습니다.
Ansys SCADE Suite는 시스템 아키텍처 설계, HMI 개발 및 테스트, 애플리케이션 수명 주기 관리를 위한 도구와 쉽게 통합되어 모든 임베디드 소프트웨어 개발 활동을 위한 완벽한 환경을 제공합니다.
Ansys SCADE Suite의 고급 모델러에는 가상 시스템 프로토타입을 모델링, 시뮬레이션 및 분석하기 위한 강력한 플랫폼인 Twin Builder가 포함되어 있습니다. 따라서 제품 개발 팀이 소프트웨어로 제어되는 다중 도메인 시스템 설계의 성능을 검증하고 최적화할 수 있습니다.
Ansys SCADE Suite는 자동차 시장의 시스템 설계 기능을 확장하고 단순화합니다. AUTOSAR 소프트웨어 컴포넌트(SWC)부터 Runnable에 대한 AUTOSAR RTE 호환 코드 생성에 이르기까지 개발 흐름을 지원합니다. AUTOSAR 표준에 따라 개발 흐름을 시작하여 Ansys SCADE Suite의 KCG 코드 생성기로 생성된 AUTOSAR RTE 호환 코드를 생성할 수 있습니다. 또한 이 솔루션을 사용하면 AUTOSAR ARXML 상호 교환 형식을 가져오고 내보낼 수 있으며, 시스템 엔지니어 간의 다중 동기화를 지원하고, 호환 코드를 생성할 수 있습니다.
리소스 및 이벤트
Ansys는 장애가 있는 사용자를 포함하여 모든 사용자가 당사의 제품에 액세스할 수 있는 것이 매우 중요하다고 생각합니다. 따라서 미국 접근성 위원회(508조), WCAG(Web Content Accessibility Guidelines) 및 현재 VPAT(Voluntary Product Accessibility Template) 형식에 따른 접근성 요구 사항을 준수하기 위해 노력합니다.