Enhanced Compositional Safety Analysis for Distributed Embedded Systems using LTS Equivalence
· One min read
저자: Hui Guo, Youngsul Shin, Woo Jin Lee
게재/발표: WSEAS Conference on Applied Computer Science, Hangzhou, China, April 15-17, 2007.
분야: Formal Methods, LTS, Embedded Systems, Safety Analysis
LTS 동치성(equivalence)을 활용하여 분산 임베디드 시스템의 컴포지셔널 안전성 분석을 강화하는 기법을 제안합니다.