Distributed-Code Generation from Hybrid Systems Models for Time-delayed Multirate Systems

dc.contributor.authorAnand, Madhukar
dc.contributor.authorFischmeister, Sebastian
dc.contributor.authorKim, Jesung
dc.contributor.authorLee, Insup
dc.date2023-05-16T22:49:41.000
dc.date.accessioned2023-05-22T12:46:28Z
dc.date.available2023-05-22T12:46:28Z
dc.date.issued2005-09-19
dc.date.submitted2005-09-28T11:43:27-07:00
dc.description.abstractHybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of communicating hybrid automata, allows for modeling distributed embedded systems. Although it is possible to generate code from such models, it is difficult to provide formal guarantees in the code with respect to the model. One of the reasons for this is that, the model is set in continuous time and concurrent execution with instantaneous communication, whereas the generated code is set in discrete time with delayed communication. This can introduce semantic differences between the model and the code such as missed transitions, faulty transitions, and altered continuous behavior. The goal of faithful code generation is to minimize these differences. In this paper, we propose a relaxed criteria of relative faithful implementation. Based on this criteria, we propose dynamically adjusting the guard at runtime using estimates of errors for preventing faulty transitions. We also identify a sufficient condition to ensure no missed transitions in the code.
dc.description.commentsPostprint version. Copyright ACM, 2005. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the 5th ACM International Conference on Embedded Software (EMSOFT 2005), pages 210-213. Publisher URL: http://doi.acm.org/10.1145/1086228.1086267
dc.identifier.urihttps://repository.upenn.edu/handle/20.500.14332/6209
dc.legacy.articleid1219
dc.legacy.fulltexturlhttps://repository.upenn.edu/cgi/viewcontent.cgi?article=1219&context=cis_papers&unstamped=1
dc.source.issue178
dc.source.journalDepartmental Papers (CIS)
dc.source.peerreviewedtrue
dc.source.statuspublished
dc.subject.otherHybrid Systems
dc.subject.otherDistributed Systems
dc.titleDistributed-Code Generation from Hybrid Systems Models for Time-delayed Multirate Systems
dc.typePresentation
digcom.contributor.authorisAuthorOfPublication|email:anandm@cis.upenn.edu|institution:University of Pennsylvania|Anand, Madhukar
digcom.contributor.authorisAuthorOfPublication|email:sfischme@saul.cis.upenn.edu|institution:University of Pennsylvania|Fischmeister, Sebastian
digcom.contributor.authorisAuthorOfPublication|email:jesung@saul.cis.upenn.edu|institution:University of Pennsylvania|Kim, Jesung
digcom.contributor.authorisAuthorOfPublication|email:lee@cis.upenn.edu|institution:University of Pennsylvania|Lee, Insup
digcom.identifiercis_papers/178
digcom.identifier.contextkey101008
digcom.identifier.submissionpathcis_papers/178
digcom.typeconference
dspace.entity.typePublication
relation.isAuthorOfPublicationdc8daf4c-f8e0-485e-9f69-39af1c7ed400
relation.isAuthorOfPublication99e5e3c3-6107-4929-b9bd-ab9856cfc747
relation.isAuthorOfPublicationdfd41b17-3fe8-4391-b0db-913e83696baf
relation.isAuthorOfPublication45a9eed5-3211-4c36-b40d-6394302dfdce
relation.isAuthorOfPublication.latestForDiscoverydc8daf4c-f8e0-485e-9f69-39af1c7ed400
upenn.schoolDepartmentCenterDepartmental Papers (CIS)
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
1568962906_anand.pdf
Size:
95.96 KB
Format:
Adobe Portable Document Format
Collection