Record Details

Communicating reactive state machines : design, model and implementation

DSpace at IIT Bombay

View Archive Info
 
 
Field Value
 
Title Communicating reactive state machines : design, model and implementation
 
Creator RAMESH, S
 
Subject distributed controllers
state machines
formal method
real-time systems
 
Description 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.
 
Publisher PERGAMON PRESS LTD
 
Date 2011-10-27T08:41:58Z
2011-12-15T09:12:26Z
2011-10-27T08:41:58Z
2011-12-15T09:12:26Z
1999
 
Type Proceedings Paper
 
Identifier DISTRIBUTED COMPUTER CONTROL SYSTEMS 1998,105-110
0-08-043242-5
http://dspace.library.iitb.ac.in/xmlui/handle/10054/16238
http://hdl.handle.net/100/2666
 
Source 15th IFAC Workshop on Distributed Computer Control Systems,COMO, ITALY,SEP 09-11, 1998
 
Language English