DSpace
 

DSpace at IIT Bombay >
IITB Publications >
Proceedings papers >

Please use this identifier to cite or link to this item: http://dspace.library.iitb.ac.in/jspui/handle/100/2666

Title: Communicating reactive state machines : design, model and implementation
Authors: RAMESH, S
Issue Date: 1999
Publisher: PERGAMON PRESS LTD
Citation: DISTRIBUTED COMPUTER CONTROL SYSTEMS 1998,105-110
Abstract: This paper proposes a language, called Communicating Reactive State Machines (CRSM), useful for describing behaviors of real-time distributed controllers. The characteristic features of this language are that it has a pictorial syntax, a precise formal semantics and an efficient implementation. CRSM is based on Argos, a language proposed for centralized real-time controllers. Argos is extended by including a primitive for communication between Argos programs. This communication primitive is based upon the communication primitive of CSP. A precise mathematical model, called communicating boolean automata (CBA) based upon the boolean automata model of Argos is developed, A number of operations over CBA have been defined to model the constructs of CRSM and a notion of bisimulation equivalence is also defined. CBA would form the basis for automatic verification of CRSM. An outline of an implementation of CRSM is also given. Copyright (C) 1998 IFAC.
URI: http://dspace.library.iitb.ac.in/xmlui/handle/10054/16238
http://hdl.handle.net/100/2666
ISBN: 0-08-043242-5
Appears in Collections:Proceedings papers

Files in This Item:

There are no files associated with this item.

View Statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback