Open Access System for Information Sharing

Login Library

 

Article
Cited 0 time in webofscience Cited 1 time in scopus
Metadata Downloads

Hybrid SynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL SCOPUS

Title
Hybrid SynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL
Authors
Lee, J.Kim, S.Bae, K.?lveczky, P.C.
Date Issued
2021-01
Publisher
Springer Science and Business Media Deutschland GmbH
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. ? 2021, The Author(s).
URI
https://oasis.postech.ac.kr/handle/2014.oak/107731
DOI
10.1007/978-3-030-81685-8_23
ISSN
0302-9743
Article Type
Article
Citation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12759 LNCS, page. 491 - 504, 2021-01
Files in This Item:
There are no files associated with this item.

qr_code

  • mendeley

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Related Researcher

Researcher

배경민BAE, KYUNGMIN
Dept of Computer Science & Enginrg
Read more

Views & Downloads

Browse