Publication Type |
Journal Article |
School or College |
College of Engineering |
Department |
Electrical & Computer Engineering |
Creator |
Myers, Chris J.; Jones, Kevin |
Other Author |
Thacker, Robert A.; Little, Scott R. |
Title |
New verification method for embedded systems |
Date |
2009 |
Description |
Abstract-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. |
Type |
Text |
Publisher |
Institute of Electrical and Electronics Engineers (IEEE) |
First Page |
193 |
Last Page |
200 |
Language |
eng |
Bibliographic Citation |
Thacker, R. A., Myers, C. J., Jones, K., & Little, S. R. (2009). New verification method for embedded systems. IEEE International Conference on Computer Design, 193-200. October. |
Rights Management |
(c) 2009 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. |
Format Medium |
application/pdf |
Format Extent |
467,886 bytes |
Identifier |
ir-main,14993 |
ARK |
ark:/87278/s61r7828 |
Setname |
ir_uspace |
ID |
706503 |
Reference URL |
https://collections.lib.utah.edu/ark:/87278/s61r7828 |