응용 소프트웨어 엔지니어링

ASCET 툴은 추상화 기반의 객체와 OSEK 운영시스템을 결합시킵니다. 그것들은, 변수, 매개변수, 상수, 메모리 구조 및 데이터 요건의 표현과 같은 용어로 자동차 ECU의 소프트웨어 요소를 명시적으로 지원합니다. ASCET는 메시지 사용을 통해서 실시간으로 프로세스의 상호작용을 정의하는 것을 도와주며, 실행 시간 동안에 데이터의 일관성을 보장합니다. ASCET 모듈은 기능적 로직, 실시간 스케줄링, 매개변수 값, 그리고 타겟 마이크로 컨트롤러에서의 특정한 구현을 명확하게 구분합니다. 이후 작업으로 비트 솔루션, 한계치, 변환 공식, 메모리 위치 및 데이터 요소의 약정을 정의합니다. 이 명확한 구분은 소프트웨어 기능의 전체적인 수명 동안 모델 변형의 숫자를 낮게 유지하는 중요한 단계입니다.

ASCET 모델로부터 타겟 코드의 자동생성은 이전 단계에서 얻어진 결과물을 기반으로 하는 ECU를 위한 새로운 기능의 양산 C 코드를 생성하는데 사용됩니다. 결국에는 이것들을 기반으로, 모델기반 소프트웨어 개발은 효율, 품질 및 재사용성의 측면에서 최대의 장점이 얻을 수 있게 됩니다. 양산 ECU에 대한 ASCET 자동 코드는 타겟 마이크로 컨트롤러를 위해 재사용성과   최적화를 갖게 됩니다.

ASCET은 ECU의 완전한 소프트웨어를 빌드하기 위한 다른 소스의 C-코드를 통합할 수 기존의 뿐만 아니라, 이미 사용하고 있는 C-코드 환경에 코드를 공급할 수도 있습니다. 자동차 측정 및 조정 툴과의 통합을 달성하기 위해, ASCET은 ASAM MCD 2MC 표준을 준수하는 특정한 자동차 조정 기법과 ECU 설명 파일을 지원합니다. 모델 사양에 근거하여, ASCET은 ECU 소프트웨어의 완전한 문서기록을 제공하며, 이는 생성된 코드 및 다른 설명 파일과 항상 일치합니다.

MISRA-C는 크리티컬 시스템을 위한 수동 코드화 작업에서 C 언어의 사용을 위한 일련의 규칙을 정의하고 있습니다. 모든 규칙들을 확정적인 자동 코드 생성을 통해 적용되는 것은 아니지만, ASCET은 실질적으로 모든 MISRA-C 규칙을 준수합니다. 각각의 ASCET 출시버전의 경우, MISRA-C의 준수는 ETAS에 의해 검증되고 있습니다. 이러한 문서화된 MISRA 호환성과 함께, ASCET 생산 코드는 수동 코드 검토의 공식적인 검증 기준을 준수합니다.

고객의 요청 시,  ASCET-SE 코드 생성기는 지원되는 모든 목표에 대해서 IEC 61508 안전 기준에 따라 인증될 수 있습니다.