DMCA
The Specification and Execution of Heterogeneous Synchronous Reactive Systems (1995)
| Venue: | University of California, Berkeley |
| Citations: | 58 - 0 self |
BibTeX
@TECHREPORT{Edwards95thespecification,
author = {Stephen A. Edwards},
title = {The Specification and Execution of Heterogeneous Synchronous Reactive Systems},
institution = {University of California, Berkeley},
year = {1995}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Electronic systems are becoming more complex. Using subproblem-specific languages simplifies their design, but presents the problem of connecting the parts. I propose a system description scheme for reactive systems (systems that maintain a dialog with their environment) that supports such heterogeneity. I expect to contribute the system description scheme, a mathematical framework for it, a set of efficient algorithms for simulating these systems, and a practical implementation of the scheme. My prototype compiler suggests this scheme can be made practical, and the mathematical framework is nearly complete. I expect this work to make designing complex, heterogeneous reactive systems fast and simple. 1 Introduction Electronic systems are growing more complex. Describing these with a diverse set of languages, each suited to a particular subtask, can greatly simplify designing these systems, but the problem of connecting the subtasks arises. For example, a convenient descriptionof the d...
Keyphrases
heterogeneous synchronous reactive system system description scheme mathematical framework particular subtask introduction electronic system efficient algorithm prototype compiler reactive system heterogeneous reactive system subproblem-specific language diverse set practical implementation designing complex electronic system subtasks arises
