MATLAB, Simulink 및 Polyspace를 사용한 임베디드 시스템

임베디드 시스템 설계, 코딩 및 검증

버튼 하나로 MATLAB 및 Simulink를 사용하여 코드를 생성하고 이를 하드웨어에서 실행할 수 있습니다. 하지만 코딩은 수많은 작업 중 하나에 불과합니다. MATLAB, Simulink, Polyspace를 사용하여 프로토타이핑부터 프로덕션에 이르기까지 임베디드 시스템을 설계하고 코딩하고 검증하는 방법을 알아볼 수 있습니다.

  • 최적화된 C, C++, CUDA, Verilog, VHDL,구조 텍스트  를 생성합니다.
  • 부동 소수점고정 소수점 설계 툴을 사용하여 비용 대 성능 트레이드오프를 결정합니다.
  • In-the-loop 테스팅을 사용하여 생성된 코드를 확인하고 프로파일링합니다.
  • AUTOSAR, ISO 26262, DO-178, MISRA C 및 CERT C와 같은 표준을 준수합니다.
  • 널리 사용되는 보드에서 하드웨어 지원 패키지 애드온을 사용하여 Arduino®에서 Zynq®에 이르기까지  프로토타입을 제작합니다.

"모델 기반 설계를 통해 첫 번째 비행을 성공적으로 마쳤습니다. 통제 또는 통합의 관점에서 아무 문제도 없었습니다. Embedded Coder를 사용하여 Simulink 모델에서 제어 법칙 코드를 생성하면 수동 코드 생성으로 인한 속도 저하를 제거하고 보다 광범위한 프로그램 목표를 달성하기 위해 팀을 자유롭게 할 수 있었습니다."

Mike Bothwell, Bell Helicopter

Coder Summit 세션 보기

현장 엔지니어와 개발 담당자는 소프트웨어 설계, 임베디드 코드 생성 등에 대한 새로운 기능을 제공합니다.

MATLAB에서 코드 생성

단 3번의 반복 단계로 MATLAB용 C, C++, CUDA 및 HDL 코드를 생성합니다. 데스크탑에서 모바일 장치, 임베디드 시스템에 이르기까지 어디에서든 코드를 실행하고 배포합니다. 설계가 개선됨에 따라 MATLAB Coder는 자동으로 새 코드를 생성할 수 있으므로 수동으로 코딩할 필요가 없습니다. 이를 통해 속도를 높여서 더 많은 설계를 반복할 수 있습니다.

생성된 코드를 소스 코드, 정적 라이브러리 또는 동적 라이브러리로 데스크탑이나 클라우드의 MATLAB 외부에서 실행되는 응용 프로그램에 통합할 수 있습니다. 또한, 생성된 코드를 MEX 함수로 패키징하고 MATLAB에서 직접 사용할 수 있습니다.

MATLAB 및 Simulink로 임베디드 코드 생성하기

임베디드 시스템 평가 키트

Simulink에서 코드 생성하기

Embedded Coder를 사용하여 모델을 프로토타이핑과 시스템 구축을 위한 고품질의 소스 코드 및 실행 파일로 변환합니다. 디폴트 C 및 C++ 설정을 사용하거나 SIMD 명령어, 데이터 스토리지 클래스 및 메모리 섹션 코드 배치를 사용하여 고성능을 위해 최적화합니다. 런타임 시스템에 연결되는 ANSI/ISO C/C++, MISRA-C 또는 AUTOSAR 소스 코드를 생성합니다. 또는, 사용자 지정 하드웨어 장치에서 자동으로 다운로드하여 실행되는 전체 턴키 실행 파일을 생성할 수 있습니다.

양방향 추적 링크를 사용하여 모델에 대해 생성된 코드를 검사하거나, 코드, 데이터, 함수 인터페이스 및 코드 메트릭으로 보고서를 생성합니다.


고정 소수점

풍부한 데이터형과 툴 세트를 사용하여 double형 타입을 빠르게 8비트, 16비트 및 32비트 고정 소수점 및 단정밀도 알고리즘을 개발할 수 있습니다. Fixed-Point Designer는 고정 소수점 및 부동 소수점 계산을 위해 설계를 최적화하는 수학, 비트, 배열 및 행렬 연산과 같은 함수를 제공합니다.

MATLAB 코드, Simulink 모델 및 Stateflow 차트에서 bit-true C 및 C++ 및 합성 가능한 Verilog® 및 VHDL® 코드를 쉽게 생성합니다.

데이터형 재정의를 사용하여 임베디드 고정 소수점 또는 단정밀도 설계를 즉석에서 배정밀도로 전환하여 양자화의 영향을 분석할 수 있습니다. 그리고 오버플로, 정밀도 손실, 낭비되는 범위 또는 정밀도의 소스를 신속하게 식별할 수 있는 툴이 있습니다.

Fixed-Point Designer

Polyspace

설계와 코드 검증하기

모델, 생성된 코드 및 테스트 케이스에 대한 요구 사항을 작성, 관리 및 추적합니다. MAAB와 같은 모델 표준 준수를 위해 설계를 확인합니다. 시뮬레이션 기반 테스트(software-in-the-loop, processor-in-the-loop 및 hardware-in-the-loop 포함)를 개발하고 실행합니다. Embedded Coder를 사용하면 작업 및 함수 레벨 프로파일링을 사용하여 생성된 코드를 프로파일링할 수 있습니다.

Polyspace 제품은 수동 코드와 생성된 코드를 지원합니다. CWE, CERT-C 및 ISO/IEC 17961과 같은 표준을 사용하여 런타임 오류가 없음을 증명하고 코딩 규칙을 적용하고 보안 취약성을 검사할 수 있습니다.


표준 지원

Embedded Coder를 사용하여 AUTOSAR 및 MISRA C와 같이 널리 사용되는 소프트웨어 및 안전 표준을 준수하는 코드를 생성합니다. MathWorks는 자동차, 의료, 철도 및 우주 항공 임베디드 시스템에 대한 ISO 26262, IEC 61508, EN 50128, IEC 62304, DO-178, DO-254 및 기타 업계 표준에 따라 시스템 및 품질 툴을 개발하는 인증 및 자격 키트를 제공합니다.

표준 검증

검색 보드

하드웨어 지원

신호 처리, 컴퓨터 비전, 이미지 처리 또는 제어 시스템에 이르기까지 응용 분야가 무엇이든 간에 코드를 신속하게 생성하고 하드웨어용으로 컴파일합니다.

Raspberry Pi™  또는 Arduino®와 같은 임베디드 플랫폼에서 코드를 생성하고 프로토타입을 제작합니다. 모바일 플랫폼에서는 생성된 코드를 자체 앱에 통합한 다음, 비디오 카메라, 마이크 및 가속도계와 같은 온보드 센서에 액세스하는 것을 포함하여iPhone, iPad, Android™ 디바이스에서 실행합니다. 임베디드 시스템을 강력한 마이크로 프로세서에 배포합니다.

또한, MathWorks 및 Connections 파트너는 다음과 같이 널리 사용되는 하드웨어에 대해 내장, 턴키 방식의 통합 기능을 제공합니다.


제품 소개

대화형 예제와 튜토리얼을 검토하여 기본 작업부터 고급 작동까지 차근차근 진행합니다.

도움이 필요하면 연락주십시오 

귀사를 위한 맟춤형 평가 또는 제품 견적을 원하시면 연락주십오.