Redesigning of CRSM Editor
| dc.contributor.author | Joshi, Arun | |
| dc.contributor.supervisor | Salaria, R. S. | |
| dc.contributor.supervisor | Ramesh, S. | |
| dc.date.accessioned | 2007-09-17T11:53:04Z | |
| dc.date.available | 2007-09-17T11:53:04Z | |
| dc.date.issued | 2007-09-17T11:53:04Z | |
| dc.description.abstract | Reactive systems are usually very complex. Various programming languages for reactive systems like Esterel, Argos, Statecharts and Lustre have been proposed for reactive ystems. Most of these synchronous languages are useful only for centralized controllers. There are many distributed controller applications which requires more than one local controller controlling their local environment and also communicating with other controllers to maintain the global state of the system. Communicating Reactive state Machines (CRSM) [3]is a pictorial language which provides communication primitives for such kind of distributed application. This project is a part of a broader project for designing an environment for CRSM, which includes development of verification tool, translator, editor and simulator for CRSM. This project is redesigning the existing editor for verification environment of CRSM programs. | en |
| dc.description.sponsorship | Thapar Institute of Engineering and Technology, Department of Computer Science and Engineering | en |
| dc.format.extent | 6219681 bytes | |
| dc.format.mimetype | application/pdf | |
| dc.identifier.uri | http://hdl.handle.net/123456789/413 | |
| dc.language.iso | en | en |
| dc.subject | Programming languages | en |
| dc.subject | Software engineering | en |
| dc.subject | CRSM | en |
| dc.subject | Communicating reactive state machines | en |
| dc.subject | Computer science | en |
| dc.title | Redesigning of CRSM Editor | en |
| dc.type | Thesis | en |