Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification

Simple item page
dc.contributor.authorLee, Insup
dc.contributor.authorSokolsky, Oleg
dc.contributor.authorLee, Insup
dc.contributor.authorSokolsky, Oleg
dc.date2023-05-16T22:25:13.000
dc.date.accessioned2023-05-22T12:51:59Z
dc.date.available2023-05-22T12:51:59Z
dc.date.issued2004-04-03
dc.date.submitted2005-03-29T14:40:38-08:00
dc.description.abstractWhen specifying system requirements, we want a language that can express the requirements in the simplest and most intuitive form. Although the MaC system provides an expressive language, called MEDL, it is generally awkward to express certain features like temporal ordering of complex events, timing constraints, and frequencies of events which are inherent in safety properties. MEDL-RE extends the MEDL language to include regular expressions to easily specify timing dependencies and timing constraints. Due to simultaneous events generated by the MaC system, monitoring regular expressions by simulating DFAs would result in a potential problem. The DFA simulations would involve concurrent multi-path simulations and result in exponential running time. To handle simultaneous events inexpensively, we generate a dependency graph to identify possible simultaneous events. Further, we augment the original DFAs with alternative transitions, which will substitute for multi-path simulations.
dc.description.commentsPostprint version. Published in <i>Electronic Notes in Theoretical Computer Science</i>, Volume 113, 3 January 2005, pages 123-143, Proceedings of the Fourth Workshop on Runtime Verification (RV 2004).<br> Publisher URL: <a href="http://dx.doi.org/10.1016/j.entcs.2004.01.030" >http://dx.doi.org/10.1016/j.entcs.2004.01.030</a>
dc.description.comments<br>Postprint version. Published in <i>Electronic Notes in Theoretical Computer Science</i>, Volume 113, 3 January 2005, pages 123-143, Proceedings of the Fourth Workshop on Runtime Verification (RV 2004).<br> Publisher URL: http://dx.doi.org/10.1016/j.entcs.2004.01.030 <br><p>
dc.identifier.urihttps://repository.upenn.edu/handle/20.500.14332/6961
dc.legacy.articleid1105
dc.legacy.fulltexturlhttps://repository.upenn.edu/cgi/viewcontent.cgi?article=1105&amp;context=cis_papers&amp;unstamped=1
dc.source.issue89
dc.source.journalDepartmental Papers (CIS)
dc.source.peerreviewedtrue
dc.source.statuspublished
dc.subject.otherRun-time verification
dc.subject.otherregular expressions
dc.subject.othertemporal logic
dc.subject.otherdependency graph
dc.titleSimulation of Simultaneous Events in Regular Expressions for Run-Time Verification
dc.typePresentation
digcom.contributor.authorSammapun, Usa
digcom.contributor.authorEaswaran, Arvind
digcom.contributor.authorisAuthorOfPublication|email:lee@cis.upenn.edu|institution:University of Pennsylvania|Lee, Insup
digcom.contributor.authorisAuthorOfPublication|email:sokolsky@cis.upenn.edu|institution:University of Pennsylvania|Sokolsky, Oleg
digcom.identifiercis_papers/89
digcom.identifier.contextkey52390
digcom.identifier.submissionpathcis_papers/89
digcom.typeconference
dspace.entity.typePublication
relation.isAuthorOfPublication45a9eed5-3211-4c36-b40d-6394302dfdce
relation.isAuthorOfPublication45a9eed5-3211-4c36-b40d-6394302dfdce
relation.isAuthorOfPublication35e1b18e-15fe-4438-be3b-84593f70a40a
relation.isAuthorOfPublication.latestForDiscovery45a9eed5-3211-4c36-b40d-6394302dfdce
upenn.schoolDepartmentCenterDepartmental Papers (CIS)
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
3cis_papers_89.pdf
Size:
1.26 MB
Format:
Adobe Portable Document Format
Download
Collection
Presentations