메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류
인문학
인문학 일반 역사학 철학 종교학 어문학 기타 인문학
사회과학
사회과학 일반 경영학 관광학 교육학 군사학 문헌정보학 법학 사회학 신문방송학 심리과학 정치외교학 지리학 행정학 경제학 무역학 인류학 기타 사회과학
자연과학
자연과학 일반 물리학 생물학 생활과학 수학·통계학 천문학 지구과학 화학 기타 자연과학
공학
공학 일반 건축공학 기계공학 산업공학 재료·에너지공학 전기전자공학 조선해양공학 화학공학 컴퓨터학 기타공학
의약학
의학 일반 간호학 수의학 약학 한의학 기초의학 임상의학 기타 의약학
농수해양학
농수해양학 일반 농학 수산학 식품과학 임학 축산학 해상운송학 기타 농수해양학
예술체육학
예술 일반 디자인 미술 미용 사진 음악학 의상 체육 공연매체예술 기타 예술체육학
복합학
학제간연구 과학기술학 뇌인지과학 기술정책 기타 복합학

ENG

추천
검색
질문

논문 기본 정보

자료유형
학술저널
저자정보
문영주 (한국과학기술원) 김문주 (한국과학기술원) 김태효 (포멀웍스)
저널정보
Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 소프트웨어 및 응용 정보과학회논문지 : 소프트웨어 및 응용 제41권 제4호
발행연도
2014.4
수록면
257 - 264 (8page)

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
🏆
연구결과
AI에게 요청하기
추천
검색
질문

초록· 키워드

오류제보하기
본 논문에서는 Simplified Architecture Description Language (SADL) 이라는 새로운 아키텍처 모델링 언어를 제안하고자 한다. 이는 기존의 아키텍처 모델링 언어의 복잡한 표기법으로 인해서 업계에서 시스템 개발의 전반적인 단계에서 사용이 저조한 실정을 해결하기 위해 제안된 것으로, 내장형 시스템 도메인에 중점을 두고 기존의 아키텍처 모델링 언어 문법의 간략화와 더불어 실제 구현 단계에서 필요한 정보를 모델링 단계에서 명세할 수 있는 표기법을 제안한다. 이와 더불어, 독립적인 다수의 명세 관점을 제안하여, SADL이 표현할 수 있는 다양한 시스템 정보를 각 명세 관점에 따라 제공할 것을 제안함으로써, 사용자에게 혼란을 야기시킬 수 있는 상황을 방지하고자 한다. 본 논문에서는 제안된 아키텍처 모델링 언어와 명세 관점을 바탕으로, 내장형 시스템인 Anti-lock Braking System을 모델링한 결과를 예제로 보여준다.
#내장형 시스템 #아키텍처 모델링 언어 #명세 관점 #Anti-lock Braking System #embedded systems #architecture description language (ADL) #specification views

목차

요약
Abstract
1. 서론
2. 관련 연구
3. SADL(Simplified Architecture Description Language)
4. 엔티티 및 연결 관계 속성
5. 명세 관점(Specification Views)
6. Anti-lock Braking System(ABS) 예제
7. 결론 및 향후 연구
References

참고문헌 (15)

참고문헌 신청
1. [학술대회논문] - L. A. Cortés / 2000 / Verification of embedded systems using a petri net based representation / Proceedings of the 13th international symposium on System synthesis google schola 2. [학술지(정기간행물)] - R. Alur / 1996 / Automatic symbolic verification of embedded systems / Software Engineering, IEEE Transactions on 22 (3) : 181 ~ 201 google schola 3. [학술대회논문] - D. Garlan / 1997 / Acme: an architecture description interchange language / CASCON 1997 google schola 4. [학술지(정기간행물)] - R. Allen / 1997 / A formal basis for architectural connection / ACM TOSEM google schola 5. [학술대회논문] - Suleiman, Basem / 2008 / Non-functional property specifications for WRIGHT ADL / Computer and Information Technology, 2008, CIT 2008, 8th IEEE International Conference on google schola

이 논문의 저자 정보

이 논문과 함께 이용한 논문

구제역 예방을 위한 축우의 실시간 체온 모니터링 방법 및 사례 연구
김희진 ,  오세은 ,  안세혁 외 1명 한국정보기술학회논문지 2017 .05
구현 후 ERP 시스템의 안정화 지표 개발 및 사례 연구
하영목 ,  안형준 한국정보기술학회논문지 2017 .01
Automatic Tagging for Social Images using Convolution Neural Networks
장현웅 ,  조수선 Journal of KIISE 2016 .01
Testing Android Applications Considering Various Contexts Inferred from Permissions
송광식 ,  한아림 ,  정세훈 외 1명 Journal of KIISE 2015 .08
임베디드 소프트웨어의 시스템 테스팅 환경구성 및 시험 기법 사례 연구
김상운 ,  김태효 ,  방호정 외 2명 정보과학회지 2013 .05

최근 본 자료

전체보기

댓글(0)

0

UCI(KEPA) : I410-ECN-0101-2015-560-001429145