Hybridity in Embedded Computing Systems  

作　　者：虞慧群 孙永强 

机构地区：[1]DepartmentofComputerScience,EastChinaUniversityofScienceandTechnology,Shanghai200237 [2]DepartmentofComp

出　　处：《Journal of Computer Science & Technology》1996年第1期90-96,共7页计算机科学技术学报（英文版）

摘　　要：An embedded system is a system that computer is used as a componelit ina larger device. In this paper, we study hybridity in embedded systems andpresent an interval based temporal logic to express and reason about hybridproperties of such ldnd of systems.An embedded system is a system that computer is used as a componelit ina larger device. In this paper, we study hybridity in embedded systems andpresent an interval based temporal logic to express and reason about hybridproperties of such ldnd of systems.

关 键 词：Embedded systems hybridity temporal logic specification verification 

分 类 号：TP338[自动化与计算机技术—计算机系统结构]