지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 발행연도
- 2011.4
- 수록면
- 1,266 - 1,270 (5page)
이용수
초록· 키워드
오류제보하기
UAV 탑재 소프트웨어는 다수의 인터럽트 서비스 루틴과 태스크가 동시에 실행되며 정해진 데드라인안에 반드시 임무를 완수해야 한다. 따라서 설계단계에서 실시간성이 효율적으로 명세 되고 검증되어야 한다. 이를 생략하는 경우 코드수정에 많은 시간이 소모되며 작성된 소프트웨어의 품질을 보장하기 힘들다. 본 논문에서는 RTP (Real-Time UML Profile)를 이용하여 회전익 UAV 시스템과 탑재소프트웨어를 설계하고 스테이트차트(Statechart)을 이용하여 명세 된 소프트웨어의 행위를 시각화된 애니메이션을 통한 시뮬레이션 방법으로 검증하였다. 이러한 설계 기법과 검증 방법을 사용하면 코드와 디버깅 과정이 반복되기 전에 기능의 완전성과 필요사항을 검증할 수 있어 향후 개발 단계에서 빠른 시간 안에 프로그램의 완성도를 높일 수 있다.
목차
초록
ABSTRACT
1. 서론
2. 회전익 UAV 시스템 구성도
3. RTP 를 이용한 제어 소프트웨어 설계
4. 제어 소프트웨어 행위 검증
5. 결론
후기
참고문헌
참고문헌 (0)
참고문헌 신청이 논문의 저자 정보
이 논문과 함께 이용한 논문
안전성이 중요한 시간 기반 내장형 소프트웨어의 시간 제약성 검증에 관한 사례 연구
최진호
,
지은경
,
김현정
외 1명
정보과학회논문지 : 소프트웨어 및 응용
2011
.12
프로세스 알제브라를 이용한 AUTOSAR 소프트웨어 행위의 시간 특성 검증 기법
김진현
,
강인혜
,
김평수
외 1명
정보과학회논문지 : 소프트웨어 및 응용
2011
.11
안전성이 중요한 실시간 시스템의 시간 제약성 검증에 관한 사례 연구
최진호
,
지은경
,
김현정
외 1명
한국정보과학회 학술발표논문집
2011
.06
Creative Engineering Robot Design with UML
Hong Seon Hack
한국통신학회논문지
2008
.10
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2013-558-000699830