https://scholars.lib.ntu.edu.tw/handle/123456789/497113
標題: | Scheduling System Verification. | 作者: | Hsiung, Pao-Ann FARN WANG Kuo, Yue-Sun |
關鍵字: | Interactive computer systems; Real time systems; Scheduling; Semantics; Client server; Complex real-time systems; Formal framework; Important features; Scheduling semantics; Scheduling systems; State-space reduction; Model checking | 公開日期: | 1999 | 起(迄)頁: | 19-33 | 來源出版物: | Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings | 摘要: | A formal framework is proposed for the verification of complex realtime systems, modeled as client-server scheduling systems, using the popular model-checking approach. Model-checking is often restricted by the large statespace of complex real-time systems. The scheduling of tasks in such systems can be taken advantage of for model-checking. Our implementation and experiments corroborate the feasibility of such an approach. Wide-applicability, significant state-space reduction, and several scheduling semantics are some of the important features in our theory and implementation. © Springer-Verlag Berlin Heidelberg 1999. |
URI: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84948991684&doi=10.1007%2f3-540-49059-0_2&partnerID=40&md5=4167f3c5fdbf2490313a582b67026756 | ISSN: | 03029743 | DOI: | 10.1007/3-540-49059-0_2 |
顯示於: | 電機工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。