원하는 편집기를 사용하세요.
ASCET-DEVELOPER를 사용하면 프로그래밍 요구사항에 맞는 텍스트와 그래픽을 쉽게 결합할 수 있습니다. 다양한 방식으로 로직을 모델링할 수 있어 원하는 만큼 효율적으로 작업할 수 있습니다. 네 가지 사양 중에서 선택할 수 있습니다.
블록 다이어그램 편집기
블록 다이어그램 편집기
- 데이터 및 제어 흐름의 모델링 및 시각화에 이상적
- 명시적인 계산 순서를 통해 완전히 Determinstic한 실행 순서
상태 머신 편집기
상태 머신 편집기
- 유한한 상태 머신 표기법을 기반으로 의사 결정 로직 프로그래밍 및 시각화
- Actions and conditions를 ESDL로 직접 작성하거나 혹은 Block Diagram Editor에서 프로그래밍된 별도의 방법으로 캡슐화할 수 있음
ESDL 편집기
ESDL 편집기
- ESDL은 Embedded Software Description Language의 약자이며, ASCET 모델의 의미를 캡처합니다. 앞서 언급된 그래픽 편집기를 사용하거나 텍스트로 직접 프로그래밍할 수 있습니다.
- 이 편집기는 텍스트 기반 구현(예: 루프)에 더 적합한 코드에 사용하는 것이 좋습니다.
C 코드 편집기
C 코드 편집기
- 익숙한 ESDL 인터페이스를 사용하여 사용자의 모델을 정의해 보세요.
- C 언어의 모든 기능을 사용하여 모델의 동작 지정해 보세요.
- C 코드 모델을 여러 모델에서 편리하게 재사용 함으로써 일관성을 높이고 개발 시간을 절약할 수 있습니다.
버그가 줄어드는 이유: 안전한 모델링 언어
ASCET은 쉽고 안전한 임베디드 프로그래밍을 위해 제작되었습니다. object-oriented programming, intention-based argument handling, safe loops, semantic units, state machine, lookup tables, static analysis, 그리고 다양한 기능이 통합되어 있습니다. 이러한 요소는 서로 연동하여 임베디드 시스템의 전반적인 프로그래밍 작업을 단순화하고 향상시킵니다.
클래스
클래스
- 클래스를 구조화의 개념으로 사용하여 소프트웨어의 복잡성 해결 가능.
- 임베디드 프로젝트에서 객체 기반 캡슐화, 체계적 재사용의 검증된 이점 활용 가능
타입 시스템
타입 시스템
- 소프트웨어 속성을 효율적으로 재사용하는 ASCET 기능으로 생산성 극대화
- 복잡성을 명확하게 바꾸어주는 ASCET을 사용함으로써 사용자가 소프트웨어 속성을 시각적으로 표현하여 쉽게 이해 가능
- 고품질 코드를 자동으로 생성하고 수동 코딩 작업에 소요되는 시간 절약
의미 단위
의미 단위
- ASCET을 사용하면 모델 내에서 단위와 관계 쉽게 정의
- ASCET은 수동 변환 작업 없이도 단위를 직관적으로 이해하고 통합하므로 단위를 사용하여 모델 개선 가능
- ASCET은 단위를 자동으로 감지하고 생성 코드로 간단히 변환하여 모델링 프로세스 간소화
실시간 유효성 검사
실시간 유효성 검사
- 숨겨진 문제를 조기에 발견 가능
- 실시간 정적 분석이 탑재되어 있어 타입 호환성, 호환되지 않는 단위, 부작용, 읽기 또는 쓰기 누락, 연결할 수 없는 코드 등을 확인함
테스트
ASCET-DEVELOPER는 다양한 개발 주기 단계에서 모델을 효율적이고 전체적으로 테스트할 수 있는 다양한 가능성을 제공합니다.
- 모델과 표현 속성을 분리하면 먼저 물리적 동작을 중심으로 간단히 테스트 진행. 나중에 더 많은 타겟별 제약 조건을 적용하여 테스트 가능
- 단위 테스트 프레임워크 탑재
- ETAS Experiment Environment를 이용한 오픈 루프 PC 시뮬레이션
- Statement, branch, state, transition, 그리고 Modified Condition Decision (MC/DC) coverage와 같은 측정항목을 사용하여 테스트 실행에서 Model coverage 및analysis를 수행
- ASCET-DEVELOPER 모델은 FMI 표준을 지원하는 외부 툴에서 모델과 함께 시뮬레이션할 가능. FMU Export & MATLAB/Simulink s-function transfer
- ETAS 프로토타이핑 솔루션을 사용하여 리얼타임 하드웨어에서 기능 프로토타이핑을 수행하며 테스트 벤치 또는 차량에서 실제와 같은 검증을 조기에 진행 가능
- 네이티브 ASCET 플랫폼을 지원하는 타사 툴 TPT를 사용하여 ASCET-DEVELOPER 모델을 체계적으로 테스트 가능
단위 테스트
- ESDL 단위 테스트 프레임워크를 사용하여 소프트웨어 단위를 체계적으로 테스트
- ESDL 테스트 클래스를 사용하여 독립적인 소프트웨어 유닛을 테스트하고 실행 후 결과를 시각화
PC 시뮬레이션
- PC 시뮬레이션을 사용하여 데이터를 실시간으로 측정 및 보정하여 초기 설계 검증
- 신호 발생기, 데이터 로거, 위젯을 갖춘 정교한 실험 환경 구현
커버리지
- PC 시뮬레이션 또는 단위 테스트 실행을 통한 대화형 테스트 커버리지
- 커버리지 뷰에는 실행 중인 모든 소프트웨어 유닛에 대한 테스트 항목 요약 표시
- 텍스트 또는 그래픽 편집기에서 테스트 항목을 시각화하여 모델의 어느 부분이 테스트되었는지 확인
자동 코드 생성
코드를 수동으로 작성할 때는 런타임 오류를 방지하고 표준 및 코딩 가이드라인을 준수하기 위한 추가적인 노력이 필요합니다. ASCET-DEVELOPER를 사용하면 문제 해결에만 집중할 수 있습니다. 나머지는 코드 생성기가 처리해줍니다. 이는 다음과 같은 특징이 있습니다.
- 고품질 생산의 MISRA 호환 가능한 C 코드
- 사용자에게 편리한 코드의 가독성
- ASCET-DEVELOPER 모델에 대한 추적성
- 방어 코드 자동 삽입. 예를 들어 0으로 나누기를 방지하고 유형 속성을 기반으로 포화 한도를 적용하며 배열 유형에 대한 인덱스 오버플로를 방지함
- 고정 코드 생성
- ASCET-DEVELOPER 모델을 AUTOSAR 구조에 매핑하여 AUTOSAR 코드 생성
- 사용자 지정 옵션을 통해 기존 ASCET-DEVELOPER 모델을 빠르게 재사용하고 다양한 대상에 맞는 코드 생성
- 기기별 산술, 보간 또는 서비스 라이브러리에 대한 사용자 지정 콜백
- 컴파일러용 메모리 지시어
- 컴파일 또는 생성 시 해결 가능한 조건부 코드 및 데이터 구조
- 리소스 및 런타임 성능을 위한 다양한 최적화 전략
코드로서의 문서
모든 모델에 문서를 원활하게 편집하고 첨부하세요.
- 문서를 원하는 형식(doc, md, tex, adoc 등)으로 작성 가능
- 사용자 정의 구성으로 템플릿을 맞춤형으로 지정
- EHANDBOOK 컨테이너 빌드를 활용하여 대화형 소프트웨어 문서를 생성
Eclipse 기반 구축
Eclipse 플랫폼을 기반으로 구축된 ETAS 시스템을 통해 수많은 기존 플러그인과 원활하게 통합함으로써 Eclipse® IDE 기능을 개선해줍니다. Git, Subversion 또는 기타 상용 제공업체와 같이 잘 알려진 소스 제어 확장을 활용하여 버전 관리를 강화할 수 있습니다.
간소화된 탐색, 효율적인 리팩토링, 자동 완성, 강력한 검색 기능, 작업 관리 툴 등 워크플로우를 최적화하는 전문적인 기능을 활용해 보세요. 또한, ETAS 플랫폼에는 다양한 파일 형식을 지원하는 편집기가 탑재되어 있어 모든 프로젝트에 활용 가능한 유연성과 사용 편의성을 보장합니다.
모델 비교
모델에 대한 종합적인 분석과 함께 다음과 같은 장점과 기능을 제공하는 ASCET의 모델 비교 기능을 살펴보십시오.
- 그래픽 편집기와 속성 편집기를 쉽게 비교하여 모델의 변경 사항을 파악할 수 있습니다. 차이점 트리 기능은 명확한 분류를 통해 각 수정 사항을 자세히 설명해줍니다.
- 필터를 유연하게 적용하여 원하는 방식으로 비교할 수 있으므로 외형적 변화로 인한 노이즈를 최소화할 수 있습니다. 개별 파일 또는 폴더, 전체 프로젝트에서도 ASCET을 사용해 정밀하게 비교할 수 있습니다.
안전 핵심 개발 인증
안전이 핵심인 소프트웨어 개발에 적합
ASCET-DEVELOPER를 사용하면 중요한 안전 표준을 완벽히 준수하는 소프트웨어를 개발할 수 있습니다.
- ISO26262 ASIL-D 및 IEC61508-SIL3 TÜV 인증 코드 생성
- MISRA-C:2012 규정 준수
- 방어 코드를 자동 삽입하여 수치 문제 제거