Hierarchical Modeling and Analysis of Embedded Systems

Simple item page
dc.contributor.authorAlur, Rajeev
dc.contributor.authorKumar, R. Vijay
dc.contributor.authorLee, Insup
dc.contributor.authorEsposito, Joel
dc.contributor.authorPappas, George J
dc.contributor.authorSokolsky, Oleg
dc.contributor.authorKumar, R. Vijay
dc.contributor.authorLee, Insup
dc.contributor.authorMishra, Pradyumna
dc.contributor.authorPappas, George J
dc.contributor.authorSokolsky, Oleg
dc.date2023-05-16T21:43:13.000
dc.date.accessioned2023-05-22T12:47:28Z
dc.date.available2023-05-22T12:47:28Z
dc.date.issued2003-01-01
dc.date.submitted2004-11-15T10:13:21-08:00
dc.description.abstractThis paper describes the modeling language CHARON for modular design of interacting hybrid systems. The language allows specification of architectural as well as behavioral hierarchy and discrete as well as continuous activities. The modular structure of the language is not merely syntactic, but is exploited by analysis tools and is supported by a formal semantics with an accompanying compositional theory of refinement. We illustrate the benefits of CHARON in the design of embedded control software using examples from automated highways concerning vehicle coordination.
dc.description.comments<br>Copyright 2003 IEEE. Reprinted from <i>Proceedings of the IEEE</i>, Volume 91, Issue 1, January 2003, pages 11-28.<br> Publisher URL: http://ieeexplore.ieee.org/xpl/tocresult.jsp?isNumber=26369&puNumber=5 <br><br> This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of the University of Pennsylvania's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to pubs-permissions@ieee.org. By choosing to view this document, you agree to all provisions of the copyright laws protecting it. <br><p>
dc.identifier.urihttps://repository.upenn.edu/handle/20.500.14332/6350
dc.legacy.articleid1047
dc.legacy.fields10.1109/JPROC.2002.805817
dc.legacy.fulltexturlhttps://repository.upenn.edu/cgi/viewcontent.cgi?article=1047&amp;context=cis_papers&amp;unstamped=1
dc.rights© 2003 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
dc.source.beginpage11
dc.source.endpage28
dc.source.issue31
dc.source.issue1
dc.source.journalDepartmental Papers (CIS)
dc.source.journaltitleProceedings of the IEEE
dc.source.peerreviewedtrue
dc.source.statuspublished
dc.source.volume91
dc.subject.otherCPS Model-Based Design
dc.subject.otherCPS Formal Methods
dc.subject.otherembedded control systems
dc.subject.otherformal analysis tools
dc.subject.otherhybrid systems
dc.subject.othermodular design
dc.titleHierarchical Modeling and Analysis of Embedded Systems
dc.typeArticle
digcom.contributor.authorisAuthorOfPublication|email:alur@cis.upenn.edu|institution:University of Pennsylvania|Alur, Rajeev
digcom.contributor.authorDang, Thao
digcom.contributor.authorEsposito, Joel
digcom.contributor.authorHur, Yerang
digcom.contributor.authorIvancic, Franjo
digcom.contributor.authorisAuthorOfPublication|email:kumar@grasp.upenn.edu|institution:University of Pennsylvania|Kumar, R. Vijay
digcom.contributor.authorisAuthorOfPublication|email:lee@cis.upenn.edu|institution:University of Pennsylvania|Lee, Insup
digcom.contributor.authorMishra, Pradyumna
digcom.contributor.authorisAuthorOfPublication|email:pappasg@seas.upenn.edu|institution:University of Pennsylvania|Pappas, George J
digcom.contributor.authorisAuthorOfPublication|email:sokolsky@cis.upenn.edu|institution:University of Pennsylvania|Sokolsky, Oleg
digcom.identifiercis_papers/31
digcom.identifier.contextkey32638
digcom.identifier.submissionpathcis_papers/31
digcom.typearticle
dspace.entity.typePublication
relation.isAuthorOfPublication0277bab3-1be2-4f99-9964-92e0ea36014e
relation.isAuthorOfPublication3baa51e5-8e46-41ad-8508-56c025d0f9f1
relation.isAuthorOfPublication45a9eed5-3211-4c36-b40d-6394302dfdce
relation.isAuthorOfPublication3baa51e5-8e46-41ad-8508-56c025d0f9f1
relation.isAuthorOfPublication45a9eed5-3211-4c36-b40d-6394302dfdce
relation.isAuthorOfPublication00473ef0-d415-4df9-b027-00f0cf171730
relation.isAuthorOfPublication35e1b18e-15fe-4438-be3b-84593f70a40a
relation.isAuthorOfPublication.latestForDiscovery0277bab3-1be2-4f99-9964-92e0ea36014e
upenn.schoolDepartmentCenterDepartmental Papers (CIS)
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
alur.pdf
Size:
1006.69 KB
Format:
Adobe Portable Document Format
Download
Collection
Articles