loading...
Periodic Finite-State Machines
Santorini Island, Greece May 07-May 09
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISORC.2007.4710th IEEE International Symposium on ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
H. Kopetz, Institut fur Technische Informatik, TU Wien, Austria
C. El-Salloum, Institut fur Technische Informatik, TU Wien, Austria
B. Huber, Institut fur Technische Informatik, TU Wien, Austria
R. Obermaisser, Institut fur Technische Informatik, TU Wien, Austria
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.


Suggestions