안전하고 효율적인 고품질 C 코드 개발

• 클래스를 구조화의 개념으로 사용하여 소프트웨어의 복잡성 해결 가능
• 임베디드 프로젝트에서 객체 기반 캡슐화, 체계적 재사용의 검증된 이점 활용 가능

• 소프트웨어 속성을 효율적으로 재사용하는 ASCET 기능으로 생산성 극대화
• 복잡성을 명확하게 바꾸어주는 ASCET을 사용함으로써 사용자가 소프트웨어 속성을 시각적으로 표현하여 쉽게 이해 가능
• 고품질 코드를 자동으로 생성하고 수동 코딩 작업에 소요되는 시간 절약

• ASCET을 사용하면 모델 내에서 단위와 관계 쉽게 정의
• ASCET은 수동 변환 작업 없이도 단위를 직관적으로 이해하고 통합하므로 단위를 사용하여 모델 개선 가능
• ASCET은 단위를 자동으로 감지하고 생성 코드로 간단히 변환하여 모델링 프로세스 간소화

• 숨겨진 문제를 조기에 발견 가능
• 실시간 정적 분석이 탑재되어 있어 타입 호환성, 호환되지 않는 단위, 부작용, 읽기 또는 쓰기 누락, 연결할 수 없는 코드 등을 확인

코드를 수동으로 작성할 때는 런타임 오류를 방지하고 표준 및 코딩 가이드라인을 준수하기 위한 추가적인 노력이 필요합니다. ASCET-DEVELOPER를 사용하면 문제 해결에만 집중할 수 있습니다. 나머지는 코드 생성기가 처리해줍니다. 이는 다음과 같은 특징이 있습니다:

• 고품질 생산의 MISRA 호환 가능한 C 코드
• 사용자에게 편리한 코드의 가독
• ASCET 모델에 대한 추적성
• 방어 코드 자동 삽입; 예를 들어 0으로 나누기를 방지하고 유형 속성을 기반으로 포화 한도를 적용하며 배열 유형에 대한 인덱스 오버플로를 방지 고정 코드 생성
• 고정 코드 생성
• ASCET 모델을 AUTOSAR 구조에 매핑하여 AUTOSAR 코드 생성
• 사용자 지정 옵션을 통해 기존 ASCET 모델을 빠르게 재사용하고 다양한 대상에 맞는 코드 생성
  • 기기별 산술, 보간 또는 서비스 라이브러리에 대한 사용자 지정 콜백
  • 컴파일러용 메모리 지시어
  • 컴파일 또는 생성 시 해결 가능한 조건부 코드 및 데이터 구조
  • 리소스 및 런타임 성능을 위한 다양한 최적화 전략

• ESDL 단위 테스트 프레임워크를 사용하여 소프트웨어 단위를 체계적으로 테스트
• ESDL 테스트 클래스를 사용하여 독립적인 소프트웨어 유닛을 테스트하고 실행 후 결과를 시각화

• 시뮬레이션을 사용하여 데이터를 실시간으로 측정 및 보정하여 초기 설계 검증
• 신호 발생기, 데이터 로거, 위젯을 갖춘 정교한 실험 환경 구현

• PC 시뮬레이션 또는 단위 테스트 실행을 통한 대화형 테스트 커버리지
• 커버리지 뷰에는 실행 중인 모든 소프트웨어 유닛에 대한 테스트 항목 요약 표시
• 텍스트 또는 그래픽 편집기에서 테스트 항목을 시각화하여 모델의 어느 부분이 테스트되었는지 확인

• 데이터 및 제어 흐름의 모델링 및 시각화에 이상적
• 명시적인 계산 순서를 통해 완전히 Determinstic한 실행 순서

• 유한한 상태 머신 표기법을 기반으로 의사 결정 로직 프로그래밍 및 시각화
• Actions and conditions를 ESDL로 직접 작성하거나 혹은 Block Diagram Editor에서 프로그래밍된 별도의 방법으로 캡슐화 가능

• ESDL은 Embedded Software Description Language의 약자이며, ASCET 모델의 의미를 캡처합니다. 앞서 언급된 그래픽 편집기를 사용하거나 텍스트로 직접 프로그래밍할 수 있습니다.
• 이 편집기는 텍스트 기반 구현(예: 루프)에 더 적합한 코드에 사용하는 것이 좋습니다.

• 익숙한 ESDL 인터페이스를 사용하여 사용자의 모델을 정의해 보세요.
• C 언어의 모든 기능을 사용하여 모델의 동작 지정해 보세요.
• C 코드 모델을 여러 모델에서 편리하게 재사용 함으로써 일관성을 높이고 개발 시간을 절약할 수 있습니다.