ASCET 제품

ASCET V6.4에서 ASCET-DEVELOPER 로의 전환에 관한 참고사항

ASCET 제품군의 V6.4 버전은 다양한 add-on소프트웨어 툴로 구성되어있습니다. ASCET 6.x 버전은ASCET-DEVELOPER에서 다음과 같이 변경되었습니다.

ASCET-MD (모델링 및 디자인), ASCET-SE (오토 코드 생성), ASCET-DIFF (모델 차이점 분석) 및 ASCET-MDV (모델 뷰어)의 기능이 ASCET-DEVELOPER에 병합되었습니다.

ASCET-RP (래피드 프로토타이핑)가 이전에 제공한 기능은 이타스 INTECRIO에 통합되었습니다.

또한 ASCET-DEVELOPER에서는 형상관리(Software Configuration Management) 시스템에 대한 인터페이스가 Eclipse 개발환경에서 직접 처리됩니다. 따라서 ASCET-SCM (소프트웨어 형상관리)은 더 이상 필요하지 않습니다.

주요 툴 기능

다중 패러다임 모델링

ASCET-DEVELOPER 모델은 텍스트 및 그래픽을 지원하기 때문에 개발자가 작업에 적합한 표기법을 선택할 수 있습니다. ASCET-DEVELOPER의 텍스트 표기법인 ESDL (Embedded Software Devel-opment Language)을 사용하면 프로그래밍처럼 쉽게 모델링하는 것이 가능합니다. ASCET-DEVELOPER의 그래픽표기법은 개별 시스템 개발을 위한 통합된 제어 및 데이터 흐름과 개별 시스템 개발을 위한 스테이트머신을 모두 지원합니다.

설계를 위한 안전한 언어

ASCET-DEVELOPER의 ESDL (Embedded Software Development Language)은 안전과 보안이 중요한 환경에서 사용하기 어려운 C언어의 단점을 극복하는 사항을 포함하고 있습니다.

  • 더 안전한 구문: 많은 프로그래밍 오류를 유발하는 C의 "loopholes"를 제거
  • 더 안전한 입력: 범위에 적합한 숫자 타입, 최적의 C 변수 타입 선택, 고정 소수점 지원, 측정단위 자동변환
  • 더 안전한 추상화: 연관배열 (모든 별개의 스칼라 유형의 배열 인덱스), 상태 기반 제어를 위한 스테이트머신, Continuous 제어를 위한 곡선과 맵
  • 더 안전한 구조: 네임스페이스 메커니즘, 안전한 정적 객체 생성, 제품 라인을 위한 변형 처리

“즉각적인 (on-the-fly)"정적 분석

ASCET 모델 편집 시 특정 오류 클래스에 대해 정적으로 검사할 수 있습니다.

ASCET-DEVELOPER는 메소드의 입력 값, 스테이트머신의 상태 전이 및 작성 코드에 대한 부작용을 자동으로 검사합니다. ASCET-DEVELOPER는 C툴 체인의 변경에 유연하게 대응합니다.

자동 방어코드 생성

ASCET- DEVELOPER는 IEC 61508 및 ISO 26262를 만족하는 Safety관련 시스템 개발에 사용됩니다. 또한 ASCET-DEVELOPER는 임베디드 마이크로 컨트롤러를 위한 MISRA-C: 2004 및 MISRA-C: 2012를 준수하며 고성능, 저 오버헤드코드를 생성합니다.

ASCET-DEVELOPER는 정적 분석으로는 발견할 수 없는 잠재적 오류를 방지하기 위해 자동으로 방어코딩을 생성합니다. ASCET-DEVELOPER는 체계적으로 검사하기 때문에 런타임 및 메모리를 낭비하지 않습니다. ASCET-DEVELOPER에 의해 생성된 C 코드는 0으로 나눈 값, 언더플로, 오버플로 및 배열 인덱싱 오류로부터 자유롭습니다.

Eclipse 통합 및 사용

ASCET-DEVELOPER 는 Eclipse를 기반으로 하며 독립적으로 사용하거나 기존 Eclipse 기반 툴 환경에 통합될 수 있습니다. ASCET-DEVELOPER는 다른 Eclipse 툴과 쉽게 연동되며 형상관리 시스템, 이력추적, Eclipse CDT C 개발 툴 등과 같은 최적의 개발환경시스템을 제공합니다. ASCET-DEVELOPER는 표준 Eclipse 메커니즘을 사용하여 사용자의 특정 개발 환경에 맞춰 확장될 수 있습니다.

개발을 통한 모델 재사용 용이

ASCET 모델은 다음과 같이 다양한 개발 단계에서 쉽게 통합될 수 있습니다.

  • 이타스 실험 환경 (Experiment Environment)을 이용한 open-loop 시뮬레이션
  • FMI (Functional Mock-Up Interface) 또는 MATLAB® / Simulink®를 사용한 closed-loop 시뮬레이션
  • 이타스 INTECRIO 또는 이타스 EHOOKS를 사용하여 함수 (Function) 프로토타이핑