대표어
한국학술지인용색인(NRF)
권호기사보기
| 기사명 | 저자명 | 페이지 | 원문 | 기사목차 |
|---|
국회도서관 홈으로
정보검색
소장정보 검색
결과 내 검색
동의어 포함
목차보기
목차
임베디드 시스템을 위한 그레이-박스 기반의 소프트웨어 요구사항 명세 기법 / 박수진 ; 박수용 1
요약 1
Abstract 1
1. 서론 2
2. 관련연구 2
3. 그레이-박스 기반의 임베디드 시스템 개발 요구사항 명세 기법 3
4. 사례연구: 핸드폰 카메라 4
5. 검증 및 결론 5
참고문헌 6
[저자소개] 6
초록보기
대부분의 구현 로직이 시스템 외부로 공개되지 않는 임베디드 시스템의 경우, 비즈니스 어플리케이션 분석에 널리 사용되는 사용자의 관점의 요구사항 명세 모델인 유스케이스 모델을 그대로 적용하는데 한계가 있다. 유스케이스 모델의 블랙박스 관점 기반의 시스템 분석은 시스템과 관련 환경과의 외부적인 상호작용 기술에 초점을 두고 있기 때문이다. 이러한 문제점 해결을 위해 기존 연구들은 상태 다이어그램을 이용하여 임베디드 시스템의 동적인 행위를 파악하여 그 결과를 요구사항 명세서에 반영하는 일종의 화이트-박스 기법을 소개하고 있다. 그러나, 소프트웨어 개발 라이프 주기 상 초기 단계에 해당되는 요구사항 분석 단계에서 화이트-박스 기반 모델링은 고비용을 요구하는 작업으로, 이로 인해 실제 프로젝트에서는 개발자들의 많은 저항에 부딪쳐 왔다. 본 연구는 이와 같은 두 가지의 접근방식에서 임베디드 개발을 위해 필요로 하는 정보의 양과 요구사항 단계에 소요되는 노력 비용, 두 가지 요소의 적점에 해당되는 요구사항 명세서를 제공하는 것을 그 목적으로 하고 있다. 이를 위해, 본 논문에서 제안하는 그레이-박스 기반의 요구사항 명세 기법은 요구사항 추출을 위한 임베디드 시스템 모델링의 적절한 깊이를 제시함은 물론, 작성된 모델을 기반으로 개별적인 개발자들이 자신이 맡은 컴포넌트의 API를 숙지하여 협업할 수 있는 요구사항 명세서를 자동으로 생성하는 메커니즘을 제안하고 있다.
The inner implementation logic of an embedded system is not exposed to users but encapsulated in the system, whereas the use case model is invented to show the interaction between outer environment and a system. This is the reason why we have difficulties in using the use case model which stands upon the black-box mechanism in documenting requirements of an embedded system. In this background, previous studies have introduced some white-box approaches that utilize state diagrams as a main tool to grasp inner behavior of the embedded software and make several specifications from the state diagrams. However, the construction of a fully analyzed state model in requirements elicitation requires lots of efforts which have discouraged software developers or caused their resistance. The objective of our study is to find the optimal point between the amounts of information which needs to develop a consistent embedded system and the effort cost that is consumed in requirements elicitation of the embedded system. To this end, we introduced a gray-box software requirements specification method that guides the extent of the system modeling, which can give sufficient information to software developers. Moreover, we introduced an automatic requirements specification mechanism for providing APIs of each software component and helping the collaboration between individual developers.
The inner implementation logic of an embedded system is not exposed to users but encapsulated in the system, whereas the use case model is invented to show the interaction between outer environment and a system. This is the reason why we have difficulties in using the use case model which stands upon the black-box mechanism in documenting requirements of an embedded system. In this background, previous studies have introduced some white-box approaches that utilize state diagrams as a main tool to grasp inner behavior of the embedded software and make several specifications from the state diagrams. However, the construction of a fully analyzed state model in requirements elicitation requires lots of efforts which have discouraged software developers or caused their resistance. The objective of our study is to find the optimal point between the amounts of information which needs to develop a consistent embedded system and the effort cost that is consumed in requirements elicitation of the embedded system. To this end, we introduced a gray-box software requirements specification method that guides the extent of the system modeling, which can give sufficient information to software developers. Moreover, we introduced an automatic requirements specification mechanism for providing APIs of each software component and helping the collaboration between individual developers.
권호기사
| 기사명 | 저자명 | 페이지 | 원문 | 목차 |
|---|---|---|---|---|
| CMMI(Capability Maturity Model Integration)의 SP(Specific Practice)와 GP(Generic Practice)간 연관성 분석을 통해 도출한 개선안을 조직에 적용한 성과 검증 | 이민재 ,류성열 | pp.457-469 |
|
보기 |
| 간판 영상 인식을 위한 텍스트 영역 왜곡 보정 | 임준식 ,김수형 ,박상철 | pp.470-476 |
|
보기 |
| 블록 차이를 이용한 유사 동영상 검출 및 클러스터링 | 이현덕 ,배건태 ,변혜란 | pp.477-484 |
|
보기 |
| 임베디드 시스템을 위한 그레이-박스 기반의 소프트웨어 요구사항 명세 기법 | 박수진 ,박수용 | pp.485-490 |
|
보기 |
| 게임이론 관점에서 본 개인의 배반이 집단 이익에 미치는 영향 | 이창환 | pp.491-496 |
|
보기 |
| k 근접 이웃 그래프 기반 미니폴드 학습에서의 k의 선택 | 최현석 ,박혜영 | pp.497-502 |
|
보기 |
참고문헌 (11건) : 자료제공( 네이버학술정보 )
| 번호 | 참고문헌 | 국회도서관 소장유무 |
|---|---|---|
| 1 | What's ahead for embedded software?  |
미소장 |
| 2 | G. Booch, J. Rumbaugh, I. Jacobson, The Unified Modeling Language: User Guide 2nded., Addison- Wesley Professional, 2005. | 미소장 |
| 3 | Ferg, S. & Cases, U. Whatʼs Wrong with Use Cases?, pp.1-8, 2007. | 미소장 |
| 4 | B.P.Douglass, Real-Time UML Second Edition Developing Efficient Objects for Embedded Systems, Addison-Wesley, 2000. | 미소장 |
| 5 | H.Gamaa, Designing Concurrent, Distributed and Real- Time Application with UML, Addison-Wesley, 2000. | 미소장 |
| 6 | Requirements specification for process-control systems |
미소장 |
| 7 | F. Lattemann, E. Lehmann, "A Methodological Approach to the Requirement Specification of Embedded Systems," Proceedings of the 1st International Conference on Formal Engineering Methods, 1997. | 미소장 |
| 8 | Systems modeling & requirements specification using ECSAM: an analysis method for embedded & computer-based systems |
미소장 |
| 9 | M. Glinz, "Statecharts For Requirements Specification – As Simple As Possible, As Rich As Needed," ICSE 2002 International Workshop on Scenarios and State Machines, 2002. | 미소장 |
| 10 | M. Broy, "Requirements Engineering for Embedded Systems," Proc. First Workshop Formal Design of Safety Critical Embedded Systems(FemSys), 1997. | 미소장 |
| 11 | http://scitools.com/index.php | 미소장 |
MARC 보기
오류 데이터 정정요청
*표시는 필수 입력사항입니다.
알림톡 발송
| 전화번호 |
|---|
개인정보 수정 바로가기
연속간행물 권호 선택
우편복사 안내
- ◾ 도서관을 방문하지 못할 경우 인터넷, 팩스 등으로 자료 복사를 신청하고, 복사물을 우편·팩스 등으로 제공받는 서비스
- ◾ 대상자료: 일반도서, 연속간행물 및 학위논문
- ※ 고서, 고잡지, 훼손될 우려가 있는 자료, 마이크로폼 자료 및 신문 등 제외
- ◾ 신청 책수: 1인 5책 이하(1일 기준)
- ◾ 신청 절차: 자료 검색 → 우편복사 목록담기 → 복사 범위 입력 → 우편복사 주문서 입력 → 접수 및 확인
- ※ 저작권법에 의거하여 부분 복사(전체 페이지 수의 1/3 범위 이내)만 가능
- ◾ 복사 범위 입력 예시: (연속 페이지) 1-30, (부분 페이지) 25, 30-40
| 번호 | 발행일자 | 권호명 | 제본정보 | 자료실 | 원문 | 신청 페이지 |
|---|
도서위치안내(서울관)
도서위치안내: / 서가번호:
0
확인
우편복사 목록담기를 완료하였습니다.
내서재에 담기
새로운 서재
*표시는 필수 입력사항입니다.
저장
저장 되었습니다.