선택한 단어 수는 입니다.
최소 단어 이상 선택하여야 합니다.
최소 단어 이상 선택하여야 합니다.
선택한 단어 수는 30입니다.
최대 10 단어까지만 선택 가능합니다.
최대 10 단어까지만 선택 가능합니다.
문제 정의
- 본 논문에서는 RTOS 기반 임베디드 소프트웨어 개발을 위한 모델기반 개발 방법과 이를 지원하는 도구를 제시하고 있다. 본 논문의 결과물은 (1) PSM 단계에서 RTOS 행위들을 표현하기 위해 사용할 수 있도록 정의된 추상화된 RTOS API와 (2) PSM 으로부터 RTOS 용 코드를 생성할 수 있는 모델-코드 변환 도구이다.
- 본 논문에서는 RTOS 기반의 임베디드 소프트웨어 개발에 적합한 모델기반 개발 방법과 이를 지원하기 위한 자동코드생성도구인 TransPI 를 기술한다. 그림 1 에서 보는 바와 같이, 본 논문에서 제시된 방법은 MDA와 매우 유사하나 PSM 단계에서 추상화된 RTOS 행위를 표현할 수 있고 마지막 단계에서는 실제 특정 RTOS 용 구현물을 생성할 수 있다는 차이점이 있다.
- 즉, 소켓 API를 통해 네트워킹을 사용하며 메시지 큐 API를 통해 프로세스 간 통신을 사용하게 된다. 본 연구에서는 RTOS 행위를 표현하기 위한 추상화된 RTOS API를 정의한다. 이는 RTOS 행위를 PSM 에 통합하기에도 용이하다는 이점이 있다.
- 본 연구에서는 TransPI 를 검증하기 위해 두 가지 실험을 수행하여 실제 변환과정의 수행 여부를 보여 주고 있다. 첫 번째 실험은, Open POSIX Test Suite를 이용하여 TransPI 를 집중적으로 테스트하는 것이다.
- 또한, 이러한 API 들이 특정 RTOS 코드로 변환될 때에는, sem_open()과 sem_close() 같은 몇 개의 별도 루틴들이 최종 코드에 삽입되어야 한다. 본 연구에서는 하나 이상의 API가 미리 정의된 의미를 충족하기 위해 코드 내에서 함께 사용되어야 할 때 이를 API 패턴으로 정의하고 있다. 각 API 패턴은 변환의 기본 단위가 되며 변환을 통해 추가적인 코드를 올바른 위치에 삽입함으로써 최종 코드를 생성하게 된다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.