10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07)
Periodic Finite-State Machines
Santorini Island, Greece
May 07-May 09
ISBN: 0-7695-2765-5
DOI Bookmark:
http://doi.ieeecomputersociety.org/10.1109/ISORC.2007.47
Finite State Machine (FSM) models are widely used to model the operations of computer systems. Since the basic FSM model is timeless, it is not possible to model within the basic FSM framework system properties that are dependent on the progression of real time, such as the duration of computations or the limited temporal validity of real-time data. To overcome these limitations, efforts have been made to modify the FSM model to include some notion of time. It is the objective of this paper to expand existing work on basic FSMs and timed automata to include the concept of a sparse global time base as a central element of the model. We call such an extended FSM model a Periodic Finite State Machine (PFSM) model. The PFSM model also incorporates the notions of state variables, global time, periodic clock constraints, and time-triggered activities. Thereby, PFSMs enable a concise and intuitive representation of distributed control systems and reduce the gap between a modeled system and its implementation.
Citation:
H. Kopetz, C. El-Salloum, B. Huber, R. Obermaisser, "Periodic Finite-State Machines," isorc, pp.10-20, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07), 2007
Usage of this product signifies your acceptance of the
Terms of Use.
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||