Matches in SemOpenAlex for { <https://semopenalex.org/work/W2002770258> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2002770258 endingPage "46" @default.
- W2002770258 startingPage "35" @default.
- W2002770258 abstract "실시간 시스템의 복잡도가 증가함에 따라 임시방편적 시스템 해석 방법은 시스템 동작 영역 전체를 완전하게 분석하는 데는 한계가 있다. 모델링을 기반으로 한 정형 기법은 그러한 한계점을 극복 할 수 있다. 본 논문은 모델 기반 정형 기법을 이용하여 실시간 시스템의 안전성 및 필연성 등과 같은 논리적 타당성을 이산 사건 모델 수준에서 분석하는 방법을 제안한다. 먼저, 분석 대상 실시간 시스템은 이산사건 수준에서 계층적으로 모듈화하여 모델을 명세하는 수학적 형식론인 DEVS (Discrete Event Systems Specification) 형식론으로 기술된다. 다음으로, 기술된 DEVS 모델은 시간 명세가 포함된 전역 상태 공간을 표현하는 C-DEVS (Communicating DEVS) 형식론으로 표현한 후 C-DEVS 형식론의 해석 알고리즘을 통해 시스템 동작을 분석된다. 제안된 C-DEVS 형식론 및 해석 알고리즘은 주어진 시스템의 동작 특성을 분석하는 과정에서 시스템의 상태 공간을 완전하게 빠짐없이 탐색하는 것을 보장한다. 간단한 건널목 제어 시스템의 안전성 분석 사례 연구를 통하여 제안된 모델 기반 해석 기법의 효율성을 예시 하였다. As complexity of real-time systems is being increased ad hoc approaches to analysis of such systems would have limitations in completeness and coverability for states space search. Formal means using a model-based approach would solve such limitations. This paper proposes a model-based formal method for logical analysis, such as safety and liveness, of real-time systems at a discrete event system level. A discrete event model for real-time systems to be analyzed is specified by DEVS(Discrete Event Systems Specification) formalism, which specifies a discrete event system in hierarchical, modular manner. Analysis of such DEVS models is performed by Communicating DEVS (C-DEVS) formalism of a timed global state transition specification and an associated analysis algorithm. The C-DEVS formalism and an associated analysis algorithm guarantees that all possible states for a given system are visited in an analysis phase. A case study of a safety analysis for a rail road crossing system illustrates the effectiveness of the proposed method of the model-based approach." @default.
- W2002770258 created "2016-06-24" @default.
- W2002770258 creator A5020274815 @default.
- W2002770258 creator A5081369933 @default.
- W2002770258 date "2012-12-31" @default.
- W2002770258 modified "2023-10-04" @default.
- W2002770258 title "Logical Analysis of Real-time Discrete Event Control Systems Using Communicating DEVS Formalism" @default.
- W2002770258 cites W1894906944 @default.
- W2002770258 cites W1969752454 @default.
- W2002770258 cites W2094803205 @default.
- W2002770258 cites W2097219874 @default.
- W2002770258 cites W2117834984 @default.
- W2002770258 cites W834657018 @default.
- W2002770258 cites W3023485956 @default.
- W2002770258 doi "https://doi.org/10.9709/jkss.2012.21.4.035" @default.
- W2002770258 hasPublicationYear "2012" @default.
- W2002770258 type Work @default.
- W2002770258 sameAs 2002770258 @default.
- W2002770258 citedByCount "0" @default.
- W2002770258 crossrefType "journal-article" @default.
- W2002770258 hasAuthorship W2002770258A5020274815 @default.
- W2002770258 hasAuthorship W2002770258A5081369933 @default.
- W2002770258 hasBestOaLocation W20027702581 @default.
- W2002770258 hasConcept C101468663 @default.
- W2002770258 hasConcept C105795698 @default.
- W2002770258 hasConcept C11413529 @default.
- W2002770258 hasConcept C120314980 @default.
- W2002770258 hasConcept C142362112 @default.
- W2002770258 hasConcept C153349607 @default.
- W2002770258 hasConcept C15569618 @default.
- W2002770258 hasConcept C167343916 @default.
- W2002770258 hasConcept C199360897 @default.
- W2002770258 hasConcept C2983390893 @default.
- W2002770258 hasConcept C32866371 @default.
- W2002770258 hasConcept C33923547 @default.
- W2002770258 hasConcept C41008148 @default.
- W2002770258 hasConcept C44154836 @default.
- W2002770258 hasConcept C558565934 @default.
- W2002770258 hasConcept C6260981 @default.
- W2002770258 hasConcept C68757728 @default.
- W2002770258 hasConcept C73301696 @default.
- W2002770258 hasConcept C80444323 @default.
- W2002770258 hasConcept C96314035 @default.
- W2002770258 hasConceptScore W2002770258C101468663 @default.
- W2002770258 hasConceptScore W2002770258C105795698 @default.
- W2002770258 hasConceptScore W2002770258C11413529 @default.
- W2002770258 hasConceptScore W2002770258C120314980 @default.
- W2002770258 hasConceptScore W2002770258C142362112 @default.
- W2002770258 hasConceptScore W2002770258C153349607 @default.
- W2002770258 hasConceptScore W2002770258C15569618 @default.
- W2002770258 hasConceptScore W2002770258C167343916 @default.
- W2002770258 hasConceptScore W2002770258C199360897 @default.
- W2002770258 hasConceptScore W2002770258C2983390893 @default.
- W2002770258 hasConceptScore W2002770258C32866371 @default.
- W2002770258 hasConceptScore W2002770258C33923547 @default.
- W2002770258 hasConceptScore W2002770258C41008148 @default.
- W2002770258 hasConceptScore W2002770258C44154836 @default.
- W2002770258 hasConceptScore W2002770258C558565934 @default.
- W2002770258 hasConceptScore W2002770258C6260981 @default.
- W2002770258 hasConceptScore W2002770258C68757728 @default.
- W2002770258 hasConceptScore W2002770258C73301696 @default.
- W2002770258 hasConceptScore W2002770258C80444323 @default.
- W2002770258 hasConceptScore W2002770258C96314035 @default.
- W2002770258 hasIssue "4" @default.
- W2002770258 hasLocation W20027702581 @default.
- W2002770258 hasOpenAccess W2002770258 @default.
- W2002770258 hasPrimaryLocation W20027702581 @default.
- W2002770258 hasRelatedWork W126171308 @default.
- W2002770258 hasRelatedWork W128464855 @default.
- W2002770258 hasRelatedWork W1487267867 @default.
- W2002770258 hasRelatedWork W1882023746 @default.
- W2002770258 hasRelatedWork W1971833118 @default.
- W2002770258 hasRelatedWork W1984369062 @default.
- W2002770258 hasRelatedWork W1985887473 @default.
- W2002770258 hasRelatedWork W2003216269 @default.
- W2002770258 hasRelatedWork W2092733256 @default.
- W2002770258 hasRelatedWork W2104289831 @default.
- W2002770258 hasRelatedWork W2112283143 @default.
- W2002770258 hasRelatedWork W2161065893 @default.
- W2002770258 hasRelatedWork W2166437339 @default.
- W2002770258 hasRelatedWork W2347310319 @default.
- W2002770258 hasRelatedWork W2587750496 @default.
- W2002770258 hasRelatedWork W2731487363 @default.
- W2002770258 hasRelatedWork W2806028622 @default.
- W2002770258 hasRelatedWork W2984807447 @default.
- W2002770258 hasRelatedWork W3148337883 @default.
- W2002770258 hasRelatedWork W2104964005 @default.
- W2002770258 hasVolume "21" @default.
- W2002770258 isParatext "false" @default.
- W2002770258 isRetracted "false" @default.
- W2002770258 magId "2002770258" @default.
- W2002770258 workType "article" @default.