DC Field | Value | Language |
---|---|---|
dc.contributor.author | Lee, Jaehun | - |
dc.contributor.author | Bae, Kyungmin | - |
dc.contributor.author | Ölveczky, Peter Csaba | - |
dc.date.accessioned | 2023-02-27T04:41:00Z | - |
dc.date.available | 2023-02-27T04:41:00Z | - |
dc.date.created | 2023-02-27 | - |
dc.date.issued | 2022-10-25 | - |
dc.identifier.uri | https://oasis.postech.ac.kr/handle/2014.oak/115766 | - |
dc.description.abstract | Many collective adaptive systems consist of distributed nodes that communicate with each other and with their physical environments, but that logically should operate in a synchronous way. HybridSynchAADL is a recent modeling language and formal analysis tool for such virtually synchronous cyber-physical systems (CPSs). HybridSynchAADL uses the Hybrid PALS equivalence to reduce the hard problem of designing and verifying virtually synchronous CPSs—with network delays, asynchronous communication, imprecise local clocks, continuous dynamics, etc.—to the much easier tasks of designing and verifying their underlying synchronous designs. Up to now HybridSynchAADL has lacked important programming language features, such as compound data types and user-defined functions, which made it difficult to model advanced control logics of collective adaptive systems. In this paper, we extend the HybridSynchAADL language, its formal semantics, and its analysis tool to support these programming language features. We apply our extension of HybridSynchAADL to design and analyze a collection of collaborating autonomous drones that adapt to their environments. | - |
dc.language | English | - |
dc.publisher | European Association of Software Science and Technology | - |
dc.relation.isPartOf | 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 | - |
dc.relation.isPartOf | Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part III | - |
dc.title | An Extension of HybridSynchAADL and Its Application to Collaborating Autonomous UAVs | - |
dc.type | Conference | - |
dc.type.rims | CONF | - |
dc.identifier.bibliographicCitation | 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022, pp.47 - 64 | - |
dc.citation.conferenceDate | 2022-10-22 | - |
dc.citation.conferencePlace | GR | - |
dc.citation.endPage | 64 | - |
dc.citation.startPage | 47 | - |
dc.citation.title | 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 | - |
dc.contributor.affiliatedAuthor | Lee, Jaehun | - |
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.