시스템 오브 시스템즈 수준의 목표 달성 검증을 위한 행동-이익-비용 모델과 통계적 모델 체킹 적용 연구 An Applicability Study of Action-Benefit-Cost Model and Statistical Model Checking for System of Systems Goal Achievement Verification

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 398
  • Download : 0
DC FieldValueLanguage
dc.contributor.author김준호ko
dc.contributor.author신동환ko
dc.contributor.author배두환ko
dc.date.accessioned2018-04-24T04:28:13Z-
dc.date.available2018-04-24T04:28:13Z-
dc.date.created2018-04-03-
dc.date.created2018-04-03-
dc.date.issued2017-
dc.identifier.citation정보과학회 컴퓨팅의 실제 논문지, v.23, no.4, pp.256 - 261-
dc.identifier.issn2383-6318-
dc.identifier.urihttp://hdl.handle.net/10203/241258-
dc.description.abstract사회 기반 시설을 비롯하여 다양한 도메인에서 하나의 시스템이 아닌 다수의 독립 시스템으로 구성된 시스템 오브 시스템즈(System of Systems, 이하 SoS)의 개념이 대두되고 있다. 단일 시스템으로는 만족하기 어려운 복잡한 요구사항을 SoS 수준에서 보다 효과적으로 만족할 수 있을 것으로 기대되기 때문이다. SoS를 구성하는 독립 시스템을 구성 시스템(Constituent System, 이하 CS)이라 부르며, 다수의 CS와 그들의 상호작용을 고려하여 제한된 자원 안에서 SoS 수준의 목표 달성 여부를 검증하는 것이 SoS 공학의 핵심 문제 중 하나이다. 최근 SoS 개발을 위한 기초 연구는 활발하게 이루어졌으나, SoS 모델링 및 검증에 대한 구체적인 사례 기반 연구는 거의 존재하지 않는다. 본 연구는 SoS와 CS가 자신의목표를 달성하기 위해 독립적으로 의사결정을 수립한다는 특성에 기반을 두어, 개별 행동의 비용과 이익대비 효용을 기준으로 의사결정을 하는 행동-이익-비용(Action-Benefit-Cost) SoS 모델을 제안하고, SoS 예제의 모델링과 정량적 검증 사례 연구를 수행한다.-
dc.languageKorean-
dc.publisher한국정보과학회-
dc.subjectSystem of Systems-
dc.subjectAction-Benefit-Cost modeling-
dc.subjectstatistical model checking-
dc.subjectquantitative verification-
dc.subject시스템 오브 시스템즈-
dc.subject행동-이익-비용모델링-
dc.subject통계적 모델 체킹-
dc.subject정량적 검증-
dc.title시스템 오브 시스템즈 수준의 목표 달성 검증을 위한 행동-이익-비용 모델과 통계적 모델 체킹 적용 연구-
dc.title.alternativeAn Applicability Study of Action-Benefit-Cost Model and Statistical Model Checking for System of Systems Goal Achievement Verification-
dc.typeArticle-
dc.type.rimsART-
dc.citation.volume23-
dc.citation.issue4-
dc.citation.beginningpage256-
dc.citation.endingpage261-
dc.citation.publicationname정보과학회 컴퓨팅의 실제 논문지-
dc.identifier.kciidART002215569-
dc.contributor.localauthor배두환-
dc.contributor.nonIdAuthor김준호-
dc.description.isOpenAccessN-
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0