IAR Visual State

IAR 플랫폼의 일부

IAR Visual State는 상태 기계 모델을 기반으로 임베디드 애플리케이션을 설계, 테스트 및 구현하기 위한 완벽하게 통합된 개발 도구 세트입니다.

대화형 데모 체험하기 가격 문의

주요 이점

IAR Visual State는 그래픽 기반 설계, 코드 재사용, 검증 및 타깃 독립적 통합을 지원합니다.

직관적 개발
유지보수 및 재사용 간소화
고신뢰성 시스템 지원
대상 독립형 코드

직관적인 개발

그래픽 기반 상태 머신을 사용하면 애플리케이션 로직을 쉽게 작성하고, 이해하며, 수정할 수 있습니다. 이 방식은 상태 머신의 상태가 애플리케이션의 상태와 일치하는 반복적인 워크플로를 가능하게 하여, 명확성과 의사소통을 향상시키면서 자연스러운 개발 프로세스를 보장합니다.

간소화된 유지보수 및 재사용

코드를 작성하는 대신 설계 논리에 집중하면 유지보수가 더욱 효율적입니다. 상태 기계 모델은 최소한의 노력으로 유사한 애플리케이션에서 재사용할 수 있어, 개발 시간을 단축하는 동시에 복잡한 논리를 다루는 프로젝트 전반에 걸쳐 일관성을 보장합니다.

고신뢰성 시스템 지원

IAR Visual State에서 생성된 코드는 MISRA C/C++ 규격을 준수하도록 구성할 수 있으며, IEC-61508 준수를 포함한 기능 안전 설계도 지원합니다. 이 도구의 형식 검증 기능은 도달 불가능한 상태, 막다른 경로, 처리되지 않은 입력을 감지하여, 기존의 테스트 스위트로는 놓치기 쉬운 설계 결함을 더 쉽게 식별할 수 있게 해줍니다.

타겟 독립형 코드

생성된 C 및 C++ 코드는 표준 컴파일러가 설치된 모든 플랫폼에서 실행됩니다. 컴파일러 고유의 기능에 의존하지 않기 때문에 임베디드 시스템 전반에 걸쳐 유연성과 이식성을 보장하며, C# 및 Java 지원 기능을 통해 다양한 소프트웨어 환경에서 크로스 플랫폼 개발이 가능합니다.

RTOS 호환

생성된 코드는 RTOS 환경과 원활하게 통합됩니다. IAR Visual State를 사용하여 제어 로직을 설계하고 상태 머신을 RTOS 태스크에 할당할 수 있으므로, 효율성과 모듈성을 유지하면서 여러 시스템에 걸쳐 태스크를 유연하게 분배할 수 있습니다.

두 가지 코드 API

추적성을 위한 사람이 읽기 쉬운 코드와 효율성을 위한 간결한 테이블 기반 코드 중에서 선택하십시오. 읽기 쉬운 형식은 상태 머신과 코드 간의 명확한 매핑을 제공하는 반면, 테이블 기반 방식은 크기와 실행 성능을 최적화합니다.

실행 시뮬레이션

Visual State Simulator는 애니메이션 디버깅, 상태 머신 추적, 동적/정적 분석 기능을 제공합니다. 이 도구는 단계별 실행 정보를 제공하여 개발자가 작업 간 상호작용과 시스템 동작을 시각화할 수 있도록 지원함으로써, 디버깅 및 설계 검증 효율을 높여줍니다.

내장형 형식 검증

도달 불가능한 상태나 차단 조건과 같이 테스트하기 어려운 문제를 식별합니다. 이 검증 엔진은 의도하지 않은 설계 결함을 조기에 탐지하여, 기존의 테스트 방법으로는 발견하기 어려웠던 C, C++, C# 또는 Java 구현의 신뢰성을 높여줍니다.

제품 변형 지원

공통된 기본 설계를 유지하면서 여러 제품 변형을 효율적으로 정의할 수 있습니다. IAR Visual State는 조건부 기능 관리를 지원하여 별도의 개발 트랙을 구축할 필요성을 줄여주며, 동시에 서로 다른 제품 버전 전반에 걸쳐 일관성과 유지 관리 용이성을 보장합니다.

기능 안전 인증

IAR Embedded Workbench는 TÜV SÜD로부터 여러 기능 안전 표준을 충족한다는 인증을 받았습니다. 새로운 플랫폼이 출시될 때마다 인증 절차를 거치며, 이를 통해 일관되게 높은 품질의 개발 프로세스와 소프트웨어를 보장합니다.

IAR 플랫폼을 체험해 보세요

인터랙티브 데모

IAR 플랫폼을 직접 체험하고 작동 원리에 대해 알아보세요.

대화형 데모 체험하기

타사 도구 연동

외부 도구 및 개발 환경과 연동하여 유연성과 상호 운용성을 높입니다.

제어 센터

Visual State Control Center는 타사 제품에 IAR Visual State와의 연동 인터페이스를 제공합니다. 특히, 이 Control Center를 사용하면 상태 기계 모델을 원격으로 시뮬레이션할 수 있습니다.

상태 머신 API

C 기반의 개방형 API를 통해 다양한 프로그래밍 언어에서 모델에 접근할 수 있습니다.

코드 통합

생성된 코드는 Microsoft® Visual C++®와 같은 RAD 도구 또는 기타 GUI 툴체인을 사용하여 구축된 애플리케이션과 원활하게 통합됩니다.

Architecture	Manufacturer	Family	Device
Loading…

지원되는 표준

IAR Visual State는 UML 표기법에따라 개발되었으나, Mealy 표기법을 준수하는 상태/이벤트 시스템 설계에도 사용할 수 있습니다.
생성된 모든 C/C++ 코드 구문은 ISO/ANSI C 표준을 준수하며, MISRA-C:2004, MISRA-C:2012 및 MISRA-C++:2008을 충족할 수 있습니다. C# 및 Java 코드는 유지보수성을 위해 구조적 프로그래밍 원칙을 따릅니다.

자주 묻는 질문

생성된 코드를 수정해야 하나요?

아닙니다. IAR Visual State에서 생성된 코드는 상태 기계 시스템의 제어 논리에 중점을 둡니다. 설계는 항상 제어 논리를 명시적으로 나타내는 유일한 수단입니다. 모델과 실행 코드는 항상 동기화되어 있어야 합니다. 상태 기계 코드를 수동으로 수정할 경우, 상태와 조건의 내부 관리 과정에서 발견하기 어려운 오류가 발생할 위험이 있습니다.

자동화된 코드 생성은 유연성을 유지하면서 개발 오류를 어떻게 줄일 수 있을까요?

자동 코드 생성은 최적화되고 검증된 C/C++ 코드를 생성함으로써 인적 오류를 제거하고, 일관성을 보장하며, 개발 속도를 높여줍니다.

자동화된 코드 생성은 어떻게 효율성을 높이고 엔지니어링 업무 부담을 줄일 수 있을까요?

수동 코딩 오류를 제거하고 디버깅 시간을 단축함으로써, 자동 코드 생성은 개발자의 생산성을 높이고 제품 출시를 가속화합니다.

모델 기반 개발은 팀이 일관된 품질을 유지하며 임베디드 프로젝트를 확장하는 데 어떻게 도움이 될까요?

표준화되고 자동화된 프로세스는 프로젝트 전반에 걸쳐 일관성을 보장함으로써, 팀이 검증된 구성 요소를 재사용하고 재작업에 소요되는 시간을 줄일 수 있게 해줍니다.

IAR Visual State를 기존 개발 환경과 연동할 수 있나요?

네, IAR Embedded Workbench 및 기타 툴체인과 원활하게 연동되어 임베디드 애플리케이션을 위한 설계부터 코딩까지의 원활한 워크플로를 지원합니다.

모든 기능 이용하기

자유롭고 유연하게 개발 운영을 확장하고, 코드에 대한 확신을 바탕으로 혁신을 가속화하며, 규정 준수를 간소화하세요.

아키텍처 및 기기에 구애받지 않음
클라우드 지원, 기업에 최적화
기능 안전성 항상 포함
Linux 및 Windows에서 네이티브 지원

당사의 플랫폼을 통해 모든 것에 접근할 수 있습니다.

플랫폼 살펴보기