dc.contributor.advisor | Dilsun K. Kaynar and Nancy Lynch. | en_US |
dc.contributor.author | Solovey, Edward, 1979- | en_US |
dc.contributor.other | Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. | en_US |
dc.date.accessioned | 2005-06-02T19:42:36Z | |
dc.date.available | 2005-06-02T19:42:36Z | |
dc.date.copyright | 2003 | en_US |
dc.date.issued | 2003 | en_US |
dc.identifier.uri | http://hdl.handle.net/1721.1/18033 | |
dc.description | Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2003. | en_US |
dc.description | Includes bibliographical references (p. 107-108). | en_US |
dc.description.abstract | The IOA simulator is a tool that has been developed in the Theory of Distributed Systems group at MIT. This tool simulates the execution of automata described by the IOA language. It generates logs of execution traces and provides other pertinent information regarding the execution, such as the validity of specified invariants. Although the simulator supports paired simulation of two automata for the purpose of checking simulation relations, one of its limitations is its lack of support for the simulation of composite automata. A composite automaton represents a complex system and is made up of other automata, each representing a system component. This thesis concerns the addition of a capability to simulate composite automata in a manner that allows observing and debugging the individual system component automata. While there is work in progress on creating a tool that will translate a composite definition into a single automaton, the added ability to simulate composite automata directly will add modularity and simplicity, as well as ease of observing the behavior of individual components for the purpose of distributed debugging. | en_US |
dc.description.statementofresponsibility | by Edward Solovey. | en_US |
dc.format.extent | 108 p. | en_US |
dc.format.extent | 5346486 bytes | |
dc.format.extent | 5359410 bytes | |
dc.format.mimetype | application/pdf | |
dc.format.mimetype | application/pdf | |
dc.language.iso | eng | en_US |
dc.publisher | Massachusetts Institute of Technology | en_US |
dc.rights | M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. | en_US |
dc.rights.uri | http://dspace.mit.edu/handle/1721.1/7582 | |
dc.subject | Electrical Engineering and Computer Science. | en_US |
dc.title | Simulation of composite I/O automata | en_US |
dc.title.alternative | Simulation of composite IOA | en_US |
dc.type | Thesis | en_US |
dc.description.degree | M.Eng. | en_US |
dc.contributor.department | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science | |
dc.identifier.oclc | 57253409 | en_US |