DC Field | Value | Language |
---|---|---|
dc.contributor.author | LEE, JAEHUN | - |
dc.contributor.author | SHARON, KIM | - |
dc.contributor.author | BAE, KYUNGMIN | - |
dc.contributor.author | Peter Csaba Olveczky | - |
dc.date.accessioned | 2021-09-03T04:32:28Z | - |
dc.date.available | 2021-09-03T04:32:28Z | - |
dc.date.created | 2021-07-22 | - |
dc.date.issued | 2021-07-22 | - |
dc.identifier.uri | https://oasis.postech.ac.kr/handle/2014.oak/106975 | - |
dc.description.abstract | We present the HYBRIDSYNCHAADL modeling language and formal analysis tool for virtually synchronous cyber-physical systems with complex control programs, continuous behaviors, bounded clock skews, network delays, and execution times. We leverage the Hybrid PALS equivalence, so that it is sufficient to model and verify the simpler underlying synchronous designs. We define the HYBRIDSYNCHAADL language as a sublanguage of the avionics modeling standard AADL for modeling such designs in AADL, and demonstrate the effectiveness of HYBRIDSYNCHAADL on a number of applications. | - |
dc.language | English | - |
dc.publisher | CAV | - |
dc.relation.isPartOf | International Conference on Computer-Aided Verification | - |
dc.relation.isPartOf | Computer Aided Verification | - |
dc.title | HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL | - |
dc.type | Conference | - |
dc.type.rims | CONF | - |
dc.identifier.bibliographicCitation | International Conference on Computer-Aided Verification, pp.491 - 504 | - |
dc.citation.conferenceDate | 2021-07-18 | - |
dc.citation.conferencePlace | US | - |
dc.citation.endPage | 504 | - |
dc.citation.startPage | 491 | - |
dc.citation.title | International Conference on Computer-Aided Verification | - |
dc.contributor.affiliatedAuthor | LEE, JAEHUN | - |
dc.contributor.affiliatedAuthor | SHARON, KIM | - |
dc.contributor.affiliatedAuthor | BAE, KYUNGMIN | - |
dc.description.journalClass | 1 | - |
dc.description.journalClass | 1 | - |
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.