TY - GEN
T1 - Formal patterns for multi-rate distributed real-time systems
AU - Bae, Kyungmin
AU - Meseguer, José
AU - Ölveczky, Peter Csaba
PY - 2013/1/28
Y1 - 2013/1/28
N2 - 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 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.
AB - 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 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.
UR - http://www.scopus.com/inward/record.url?scp=84872695137&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84872695137&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-35861-6_1
DO - 10.1007/978-3-642-35861-6_1
M3 - Conference contribution
AN - SCOPUS:84872695137
SN - 9783642358609
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 18
BT - Formal Aspects of Component Software - 9th International Symposium, FACS 2012, Revised Selected Papers
T2 - 9th International Symposium on Formal Aspects of Component Software, FACS 2012
Y2 - 12 September 2012 through 14 September 2012
ER -