On the Partitioning of Syntax and Semantics For Hybrid Systems Tools
Abstract
Interchange formats are notoriously difficult to finish. That is, once one is developed, it is highly nontrivial to prove (or disprove) generality, and difficult at best to gain acceptance from all major players in the application domain. This paper addresses such a problem for hybrid systems, but not from the perspective of a tool interchange format, but rather that of tool availability in a toolbox. Through the paper we explain why we think this is a good approach for hybrid systems, and we also analyze the domain of hybrid systems to discern the semantic partitions that can be formed to yield a classification of tools based on their semantics. These discoveries give us the foundation upon which to build semantic capabilities, and to guarantee operational interaction between tools based on matched operational semantics.
Additional Information
© 2005 IEEE. This work is supported by the Large NSF ITR Project on "Foundations of Hybrid and Embedded Software Systems," award number: CCR-0225610. The authors for this particular paper are a short list of involved researchers who are members of a special interest group that discusses the hyper framework weekly at University of California, Berkeley. Active local members of this group, excluding the authors, include (alphabetically by surname) Alessandro Abate, J. Mikael Eklund, Alexander Kurzhanskiy, Edward A. Lee, and Alberto Sangiovanni Vincentelli. These members contributed greatly to the sentiment of this paper, if not the contents. Additional thanks are due to Gabor Karsai of Vanderbilt University, and Oleg Sokolsky of the University of Pennsylvania, who were the original designers of HSIF, and provided many insightful comments and suggestions over time regarding the hyper effort. We also thank the National Science Foundation and Office of Naval Research for their support and direction of this hybrid systems research.Attached Files
Published - 01582903.pdf
Files
| Name | Size | Download all |
|---|---|---|
|
md5:d824bf3efadf8f464e0024f8c5543fd3
|
3.5 MB | Preview Download |
Additional details
- Eprint ID
- 93634
- Resolver ID
- CaltechAUTHORS:20190307-111103826
- CCR-0225610
- NSF
- Office of Naval Research (ONR)
- Created
-
2019-03-07Created from EPrint's datestamp field
- Updated
-
2021-11-16Created from EPrint's last_modified field