Open Access System for Information Sharing

Login Library

 

Article
Cited 8 time in webofscience Cited 10 time in scopus
Metadata Downloads

Formal patterns for multirate distributed real-time systems SCIE SCOPUS

Title
Formal patterns for multirate distributed real-time systems
Authors
Bae, KMeseguer, JOlveczky, PC
Date Issued
2014-10-01
Publisher
Elsevier
Abstract
Distributed real-time systems (DRTSs), such as avionics and automotive systems, are very hard to design and verify. Besides the difficulties of asynchrony, clock skews, and network delays, an additional source of complexity comes from the multirate nature of many such systems, which must implement several levels of hierarchical control at different rates. In previous work we showed how the design and implementation of a single-rate DRTS which should behave in a virtually synchronous way can be drastically simplified by the PALS model transformation that generates the DRTS from a much simpler synchronous model. In this work we present several simple model transformations and a multirate extension of the PALS pattern which can be combined to reduce the design and verification of a virtually synchronous multirate DRTS to the much simpler task of specifying and verifying a single synchronous system. We illustrate the ideas with a multirate hierarchical control system where a central controller orchestrates control systems in the ailerons and tail of an airplane to perform turning maneuvers. (C) 2013 Elsevier B.V. All rights reserved.
URI
https://oasis.postech.ac.kr/handle/2014.oak/36401
DOI
10.1016/J.SCICO.2013.09.010
ISSN
0167-6423
Article Type
Article
Citation
SCIENCE OF COMPUTER PROGRAMMING, vol. 91, page. 3 - 44, 2014-10-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