A New Verification Method For Embedded Systems

被引：3

作者：

Thacker, Robert A. ^{[1
]}

Myers, Chris J. ^{[1
]}

Jones, Kevin ^{[1
]}

Little, Scott R. ^{[2
]}

机构：

[1] Univ Utah, Salt Lake City, UT 84112 USA

[2] Freescale Semicond Inc, Austin, TX USA

来源：

2009 IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN | 2009年

关键词：

ANALOG/MIXED-SIGNAL CIRCUITS;

D O I：

10.1109/ICCD.2009.5413154

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Verification of embedded systems is complicated by the fact that they are composed of digital hardware, analog sensors and actuators, and low level software. In order to verify the interaction of these heterogeneous components, it would be beneficial to have a single modeling formalism that is capable of representing all of these components. To address this need, this paper describes an extended labeled hybrid Petri net (LHPN) model that includes constructs for Boolean, discrete, and continuous variables as well as constructs to model timing. This paper also presents a method to verify these extended LHPNs. Finally, this paper presents a case study to illustrate the application of this model to the verification of a fault-tolerant temperature sensor.

引用

页码：193 / +

页数：2