현재 위치
Home
Veri cation of Embedded Real-Time Systems Using Symbolic Model Checking : A Case Study
-
- 발행기관
- 보안공학연구지원센터(IJHIT) 바로가기
-
- 간행물
- International Journal of Hybrid Information Technology 바로가기
-
- 통권
- Vol.6 No.6 (2013.11)바로가기
-
- 페이지
- pp.203-216
-
- 저자
-
- 언어
- 영어(ENG)
-
- URL
- https://www.earticle.net/Article/A217420
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
원문정보
초록
- 영어
- This paper presents a case study for symbolic model checking (SMC) with Propositional Projection Temporal Logic (PPTL). First, PPTL is briefly introduced. Then an outline of symbolic model checking algorithm for PPTL proposed in [21] is presented. As a case study, a single-track railroad crossing control system (STRCCS) is employed to illustrate how SMC for PPTL can be utilized in the specification and verification of embedded real-time systems.
목차
Abstract
1. Introduction
2. Preliminaries
2.1 Propositional Projection Temporal Logic
2.2 Normal Form of PPTL
2.3 Labeled Normal Form Graph
3. Symbolic Model Checking for PPTL
4. A Case Study
5. Related Work
6. Conclusion
7. ACKNOWLEDGEMENTS
References
키워드
Propositional Projection Temporal Logic Symbolic Model Checking Verification Embedded Real-Time Systems저자
간행물 정보
발행기관
-
- 발행기관명
- 보안공학연구지원센터(IJHIT) [Science & Engineering Research Support Center, Republic of Korea(IJHIT)]
- 설립연도
- 2006
- 분야
- 공학>컴퓨터학
- 소개
- 1. 보안공학에 대한 각종 조사 및 연구 2. 보안공학에 대한 응용기술 연구 및 발표 3. 보안공학에 관한 각종 학술 발표회 및 전시회 개최 4. 보안공학 기술의 상호 협조 및 정보교환 5. 보안공학에 관한 표준화 사업 및 규격의 제정 6. 보안공학에 관한 산학연 협동의 증진 7. 국제적 학술 교류 및 기술 협력 8. 보안공학에 관한 논문지 발간 9. 기타 본 회 목적 달성에 필요한 사업
간행물
-
- 간행물명
- International Journal of Hybrid Information Technology
- 간기
- 격월간
- pISSN
- 1738-9968
- 수록기간
- 2008~2016
- 십진분류
- KDC 505 DDC 605
이 권호 내 다른 논문 / International Journal of Hybrid Information Technology Vol.6 No.6
피인용수 : 0건 (자료제공 : 네이버학술정보)
함께 이용한 논문 이 논문을 다운로드한 분들이 이용한 다른 논문입니다.
출처 : 네이버학술정보
0개의 논문이 장바구니에 담겼습니다.