Hidden Time Model for Specification and Verification of Embedded Systems (1998)
| Venue: | In loth Euromicro Workshop on Real-Time Systems |
| Citations: | 3 - 3 self |
BibTeX
@INPROCEEDINGS{Roop98hiddentime,
author = {Partha S. Roop and A. Sowmya},
title = {Hidden Time Model for Specification and Verification of Embedded Systems},
booktitle = {In loth Euromicro Workshop on Real-Time Systems},
year = {1998},
pages = {98--105},
publisher = {IEEE Computer Society Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Embedded systems are application specific digital systems that are usually designed using a microprocessor along with a set of programmable hardware and software components. Since these systems are real-time in nature, specification of temporal constraints is a key issue. We have recently proposed the CFSMcharts language for component-based specification of these systems. However, this proposal had no features to specify quantitative temporal constraints that are crucial to embedded systems specification. In this paper, we propose a new model of time, called hidden time, for specification of temporal constraints in CFSMcharts and contrast it to existing schemes. The proposed scheme is hierarchical and hides away the quantitative temporal constraints from the top level specification. This leads to a simpler style for the specification of these constraints and simpler semantics for the top level specification. Another major contribution of the proposed scheme is that, properties to be v...
