Safety Property Analysis Techniques for Cooperating Embedded Systems Using LTS
· One min read
저자: Woo Jin Lee, Ho Jun Kim, Heung Seok Chae
게재/발표: SEUS(Software Technologies for Embedded and Ubiquitous Systems) 2007, Lecture Notes in Computer Science #4761(ISSN :0302-9743), Vol. 4761, pp. 114-124, May 2007.
분야: Formal Methods, LTS, Embedded Systems, Safety Analysis
LTS(Labeled Transition System)를 활용하여 협력하는 임베디드 시스템의 안전성 속성을 분석하는 기법을 제안합니다. 컴포지셔널 검증 을 통해 시스템 전체의 안전성을 효율적으로 확인합니다.