Conference
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | 김사론 | - |
| dc.contributor.author | 배경민 | - |
| dc.date.accessioned | 2020-10-08T00:50:44Z | - |
| dc.date.available | 2020-10-08T00:50:44Z | - |
| dc.date.created | 2020-10-05 | - |
| dc.date.issued | 2019-12-20 | - |
| dc.identifier.uri | https://oasis.postech.ac.kr/handle/2014.oak/104259 | - |
| dc.description.abstract | 사이버 물리 시스템(CPS)은 물리적 컴포넌트와 소프트웨어 컴포넌트가 통합된 분산 시스템으로 여러 산업 분야에서 널리 사용된다. CPS는 분산 환경에서 실시간으로 정보를 교류하며, 실제로는 여러 시간 오차 때문에 비동기적으로 동작하지만 전체는 논리적으로 동작한다. 실시간 분산 시스템의 물리적 컴포넌트 등과 같은 CPS의 복잡성으로 인해 이를 분석하고 검증하는 것은 매우 어려운 일이다. 이 연구에서는 여러 대의 드론으로 이루어진 시스템의 분산 합의 알고리즘을 정형 기법을 통해 명세하고, 시뮬레이션 및 상태 공간 탐색 등 여러 정형 기법을 이용하여 분산 드론 CPS이 만족해야 하는 요구 사항에 대한 검증을 진행하였다. | - |
| dc.publisher | 한국정보과학회 | - |
| dc.relation.isPartOf | 한국소프트웨어종합학술대회 (KSE) | - |
| dc.relation.isPartOf | 한국정보과학회 2019 한국소프트웨어종합학술대회 논문집 | - |
| dc.title | Maude를 통한 분산 드론 시스템의 정형 분석 | - |
| dc.title.alternative | Formal Analysis of Distributed Drone System in Maude | - |
| dc.type | Conference | - |
| dc.type.rims | CONF | - |
| dc.identifier.bibliographicCitation | 한국소프트웨어종합학술대회 (KSE), pp.296 - 298 | - |
| dc.citation.conferenceDate | 2019-12-18 | - |
| dc.citation.conferencePlace | KO | - |
| dc.citation.endPage | 298 | - |
| dc.citation.startPage | 296 | - |
| dc.citation.title | 한국소프트웨어종합학술대회 (KSE) | - |
| dc.contributor.affiliatedAuthor | 김사론 | - |
| dc.contributor.affiliatedAuthor | 배경민 | - |
| dc.description.journalClass | 2 | - |
| dc.description.journalClass | 2 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
Communities & Collection
Related Researcher
- 배경민BAE, KYUNGMIN
- Dept of Computer Science & Enginrg