직관적인 개발
그래픽 상태 머신을 사용하면 애플리케이션 로직을 쉽게 생성, 이해 및 수정할 수 있습니다. 머신의 상태가 애플리케이션의 상태에 대응하는 반복적인 워크플로우를 지원하므로 자연스러운 개발 프로세스를 보장하는 동시에 명확성과 커뮤니케이션을 개선할 수 있습니다.
제품
IAR Visual State
주요 이점
IAR Visual State는 그래픽 디자인, 코드 재사용, 검증 및 대상에 독립적인 통합을 지원합니다.
유지 관리 및 재사용 간소화
코드 작성 대신 디자인 로직에 집중하면 유지 관리가 더 효율적입니다. 상태 머신 모델은 최소한의 노력으로 유사한 애플리케이션에서 재사용할 수 있으므로 개발 시간을 단축하는 동시에 복잡한 로직이 있는 프로젝트 전반에서 일관성을 보장할 수 있습니다.
무결성 높은 시스템 지원
IAR Visual State로 생성된 코드는 MISRA C/C++를 준수할 수 있으며 IEC-61508 준수를 포함한 기능 안전 설계를 지원합니다. 공식적인 검증을 통해 도달할 수 없는 상태, 막다른 상태, 사용되지 않은 입력을 감지하여 기존 테스트 제품군에서 놓칠 수 있는 설계 결함을 쉽게 식별할 수 있습니다.
대상 독립 코드
생성된 C 및 C++ 코드는 표준 컴파일러가 있는 모든 플랫폼에서 실행됩니다. 컴파일러별 기능에 의존하지 않으므로 임베디드 시스템 전반에서 유연성과 이식성을 보장하며, C# 및 Java를 지원하므로 다양한 소프트웨어 환경에서 크로스 플랫폼 개발이 가능합니다.
특징
IAR Visual State는 RTOS 통합, 코드 생성, 시뮬레이션, 검증, 배리언트 관리를 지원하여 개발 팀이 효율성, 안정성 및 소프트웨어 설계를 개선할 수 있도록 도와줍니다.
RTOS 친화적
생성된 코드는 RTOS 환경과 원활하게 통합됩니다. IAR Visual State를 사용하여 제어 로직을 설계하고 RTOS 작업에 상태 머신을 할당하여 효율성과 모듈성을 유지하면서 여러 시스템에 걸쳐 작업을 유연하게 배포할 수 있습니다.
두 가지 코드 API
추적성을 위해 사람이 읽을 수 있는 코드와 효율성을 위해 간결한 테이블 기반 코드 중에서 선택하세요. 판독 가능한 형식은 상태 머신에서 코드로의 명확한 매핑을 제공하며, 테이블 기반 접근 방식은 크기와 실행 성능을 최적화합니다.
실행 시뮬레이션
비주얼 상태 시뮬레이터는 애니메이션 디버깅, 상태 머신 추적, 동적/정적 분석 기능을 제공합니다. 단계별 실행 인사이트를 제공하여 개발자가 작업 상호 작용과 시스템 동작을 시각화하여 디버깅 및 디자인 검증을 개선할 수 있도록 도와줍니다.
기본 제공 공식 인증
연결할 수 없는 상태 및 차단 조건과 같이 테스트하기 어려운 문제를 식별합니다. 검증 엔진은 의도하지 않은 설계 결함을 조기에 감지하여 기존 테스트 방법으로는 발견하기 어려운 C, C++, C# 또는 Java 구현의 안정성을 보장합니다.
제품 이형 상품 지원
공유된 기본 디자인을 유지하면서 여러 제품 변형을 효율적으로 정의할 수 있습니다. IAR Visual State를 사용하면 조건부 기능 관리가 가능하므로 별도의 개발 트랙이 필요하지 않고 여러 제품 버전에서 일관성과 유지 관리성을 보장할 수 있습니다.
지원되는 표준
IAR Visual State는 UML 표기법에따라 개발되었지만, Mealy 표기법을 준수하는 상태/이벤트 시스템을 설계하는 데에도 사용할 수 있습니다.
생성된 모든 코드 C/C++ 구조는 ISO/ANSI C를 준수하며 MISRA-C:2004, MISRA-C:2012 및 MISRA-C++:2008을 준수할 수 있습니다. C# 및 Java 코드는 유지보수성을 위해 구조화된 프로그래밍 원칙을 따릅니다.
