DC Field | Value | Language |
---|---|---|
dc.contributor.author | Bae, K | - |
dc.contributor.author | Olveczky, PC | - |
dc.contributor.author | Feng, TH | - |
dc.contributor.author | Lee, EA | - |
dc.contributor.author | Tripakis, S | - |
dc.date.accessioned | 2017-07-19T12:45:57Z | - |
dc.date.available | 2017-07-19T12:45:57Z | - |
dc.date.created | 2016-02-24 | - |
dc.date.issued | 2012-10-01 | - |
dc.identifier.issn | 0167-6423 | - |
dc.identifier.uri | https://oasis.postech.ac.kr/handle/2014.oak/36403 | - |
dc.description.abstract | This paper defines a real-time rewriting logic semantics for a significant subset of Ptolemy II discrete-event models. This is a challenging task, since such models combine a synchronous fixed-point semantics with hierarchical structure, explicit time, and a rich expression language. The code generation features of Ptolemy II have been leveraged to automatically synthesize a Real-Time Maude verification model from a Ptolemy II design model, and to integrate Real-Time Maude verification of the synthesized model into Ptolemy II. This enables a model-engineering process that combines the convenience of Ptolemy II DE modeling and simulation with formal verification in Real-Time Maude. We illustrate such formal verification of Ptolemy II models with three case studies. (C) 2010 Elsevier B.V. All rights reserved. | - |
dc.language | English | - |
dc.publisher | Elsevier | - |
dc.relation.isPartOf | SCIENCE OF COMPUTER PROGRAMMING | - |
dc.title | Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude | - |
dc.type | Article | - |
dc.identifier.doi | 10.1016/J.SCICO.2010.10.002 | - |
dc.type.rims | ART | - |
dc.identifier.bibliographicCitation | SCIENCE OF COMPUTER PROGRAMMING, v.77, no.12, pp.1235 - 1271 | - |
dc.identifier.wosid | 000308732800003 | - |
dc.date.tcdate | 2019-02-01 | - |
dc.citation.endPage | 1271 | - |
dc.citation.number | 12 | - |
dc.citation.startPage | 1235 | - |
dc.citation.title | SCIENCE OF COMPUTER PROGRAMMING | - |
dc.citation.volume | 77 | - |
dc.contributor.affiliatedAuthor | Bae, K | - |
dc.identifier.scopusid | 2-s2.0-84856604844 | - |
dc.description.journalClass | 1 | - |
dc.description.journalClass | 1 | - |
dc.description.wostc | 10 | - |
dc.description.scptc | 16 | * |
dc.date.scptcdate | 2018-05-121 | * |
dc.type.docType | Article; Proceedings Paper | - |
dc.subject.keywordPlus | REWRITING LOGIC | - |
dc.subject.keywordPlus | SEMANTICS | - |
dc.subject.keywordPlus | SYSTEMS | - |
dc.subject.keywordPlus | SPECIFICATION | - |
dc.subject.keywordPlus | FRAMEWORK | - |
dc.subject.keywordAuthor | Ptolemy II DE models | - |
dc.subject.keywordAuthor | Formal semantics | - |
dc.subject.keywordAuthor | Rewriting logic | - |
dc.subject.keywordAuthor | Real-Time Maude | - |
dc.subject.keywordAuthor | Model checking | - |
dc.subject.keywordAuthor | Formal verification | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Software Engineering | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.relation.journalResearchArea | Computer Science | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
library@postech.ac.kr Tel: 054-279-2548
Copyrights © by 2017 Pohang University of Science ad Technology All right reserved.