지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학위논문
- 저자정보
- 지도교수
- 김태현
- 발행연도
- 2018
- 저작권
- 서울시립대학교 논문은 저작권에 의해 보호받습니다.
이용수7
이 논문의 연구 히스토리 (2)
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
산업 자동화 시스템의 응용 분야가 전문화되고 다양해짐에 따라 시스템의 핵심인 제어 응용의 복잡도와 신뢰성 요구 수준은 급격히 높아지고 있다. 이러한 수요를 충족시키기 위해 응용 개발 프로세스에 모델 기반 개발 (MDD: Model-Driven Development) 기법을 적용하는 연구가 활발히 진행되고 있다. 본 논문에서는 산업 자동화 응용 개발 과정에 MDD 기법을 적용함에 있어서 꼭 필요한 요구사항을 정의하고, 이들 요구사항에 기반하여 신뢰성 있는 검증된 산업 자동화 응용을 개발할 수 있는 프레임워크를 제안한다. 본 논문에서 제안하는 프레임워크는 정형 명세 언어인 타임드 오토마타 기반의 모델링 및 검증 툴인 UPPAAL을 통해 검증된 모델을 산업 자동화 응용으로 자동 변환하며 이 과정에서 모델과 생성된 응용의 행동 (behavior)이 동일함을 보장한다. 또한 통합개발환경 형태로 개발하여 UPPAAL 연동을 통한 모델링 및 검증부터 응용 생성과 실행까지 MDD 기법의 전 과정을 하나의 툴에서 제공하도록 하였으며, 범용 하드웨어와 운영체제 기반으로 패러다임이 전환되고 있는 산업 자동화 시스템에 적용할 수 있도록 다양한 플랫폼을 지원할 수 있는 구조를 채택하였다. 마지막으로 개발된 프레임워크의 동작을 보이고 평가하기 위해 예제 시스템으로 신호등 제어 시스템을 정의하였으며 이를 프레임워크를 통해 산업 자동화 응용으로 개발한 후 실제 산업 자동화 시스템 상에서 동작시켜 평가하였다.
목차
1. 서론2. 연구 배경 및 관련 연구2.1. 산업 자동화 시스템2.2. 타임드 오토마타와 UPPAAL2.3. 타임드 오토마타의 구현 문제2.4. 관련 연구3. 산업 자동화 응용 자동 생성 프레임워크 구현3.1. 프레임워크 전체 구조3.2. 모델링 및 검증 기능3.3. 변환 알고리즘3.4. 시스템 설정 툴3.5. 다중 플랫폼 지원3.6. 통합개발환경4. 산업 자동화 응용 자동 생성 프레임워크 동작 평가4.1. 시스템 명세 및 모델링, 검증4.2. 프레임워크를 사용한 응용 생성4.3. 동작 및 평가5. 결론참고 문헌Abstract감사의 글
최근 본 자료
댓글(0)
0