모델 기반 설계를 이용한 효율적인 검증 워크 플로우
시스템의 복잡도 증가로 인해서 발생 될 수 있는 잠재적인 안전 및 기능상의 Malfunction을 방지하기 위해 다양한 연구가 이루어져 왔습니다. 그에 대한 해법으로 다양한 개발 Standard의 적용이 추천 되어지고, 이와 더불어 빠른 기술 변화로 인한 보다 신속한 개발 속도가 요구 되어지고 있습니다. 이와 같은 어려움을 극복하기 위해 모델 기반 설계를 기반으로 한 Agile Process의 적용이 제안되어지고 있으며, 체계적이면서 자동화가 가능하다는 장점으로 인해서 많은 관심을 받고 있습니다. 본 트랙에서는 Agile Process의 대표적 모범 사례로 평가 되고 있는 CI(Continuous Integration)에 대한 MathWorks Product과의 연계 적용 방법과, 이를 보다 구체화 할 수 있는 사용자 지정 및 자동화 방법을 제시해 드리고 공감을 이끌어내는 시간을 갖어 보겠습니다.
Agile Process를 지원하는 모델 기반걸계환경 및 기능 소개
본 비디오는 Agile Process에서 정의하는 9가지 원칙을 충족하기 위하여 모델 기반 설계 워크플로우에서 제시 가능한 각 요소를 설계, 테스트, 통합 그리고 리뷰 단계를 따라서 Practice들을 구체화 합니다.
CI(Continuous Integration)적용으로 인한 모델기반 설계 효울 향상
본 비디오에서는 모델 기반 설계 시 적용 가능한 지속적 통합 워크플로우에 대해서, MathWorks에서 제공되는 Technical Article의 실질적인 예제를를 가지고 설명해 드립니다.
CI ( Continuous Integration)를 활용한 정적 검증 자동화 및 협업 검토 환경
본 비디오는 모델로부터 자동 생성한 코드를 정적 분석하고, 분석 결과물에서 모델로 역추적하는 기능을 먼저 소개합니다. 또한Polyspace 제품군의 정적 분석 작업을 Jenkins 도구로 자동화하는 방법과 Polyspace Bug Finder Access, Polyspace Code Prover Access에서의 협업 검토 환경을 자세히 설명합니다.
이 비디오에서는 테스트를 위하여 수행해야하는 일들을 설명하고 이 일들중 Simulink Test를 사용하여 자동화 가능한 부분과 그렇지 않은 부분을 구분한 후, Simulink Test가 자동화하지 못하는 부분을 API를 사용하여 어떻게 자동화할 수 있는지를 설명합니다. 또한 커스터마이즈에 대한 다양한 예도 소개합니다.