Browse > Article
http://dx.doi.org/10.3837/tiis.2014.10.004

qPALS: Quality-Aware Synchrony Protocol for Distributed Real-Time Systems  

Kang, Woochul (School of Information Technology, Incheon National University)
Sha, Lui (Computer Science Department, University of Illinois at Urbana-Champaign)
Publication Information
KSII Transactions on Internet and Information Systems (TIIS) / v.8, no.10, 2014 , pp. 3361-3377 More about this Journal
Abstract
Synchronous computing models provided by real-time synchrony protocols, such as TTA [1] and PALS [2], greatly simplify the design, implementation, and verification of real-time distributed systems. However, their application to real systems has been limited since their assumptions on underlying systems are hard to satisfy. In particular, most previous real-time synchrony protocols hypothesize the existence of underlying fault tolerant real-time networks. This, however, might not be true in most soft real-time applications. In this paper, we propose a practical approach to a synchrony protocol, called Quality-Aware PALS (qPALS), which provides the benefits of a synchronous computing model in environments where no fault-tolerant real-time network is available. qPALS supports two flexible global synchronization protocols: one tailored for the performance and the other for the correctness of synchronization. Hence, applications can make a negotiation flexibly between performance and correctness. In qPALS, the Quality-of-Service (QoS) on synchronization and consistency is specified in a probabilistic manner, and the specified QoS is supported under dynamic and unpredictable network environments via a control-theoretic approach. Our simulation results show that qPALS supports highly reliable synchronization for critical events while still supporting the efficiency and performance even when the underlying network is not stable.
Keywords
Synchrony protocol; middleware; quality-of-service, QoS; cyber physical systems; real-time systems; feedback control; globally asynchronous locally synchronous, GALS;
Citations & Related Records
연도 인용수 순위
  • Reference
1 A. Al-Nayeem, L. Sha, D. D. Cofer, and S. P. Miller, "Pattern-based composition and analysis of virtually synchronized real-time distributed systems," in Proc. of Proceedings of 3rd International Conference on Cyber-Physical Systems (ICCPS), 2012. Article (CrossRef Link)
2 A. Jain, E. Y. Chang, and Y.-F. Wang, "Adaptive stream resource management using kalman filters," in Proc. of SIGMOD '04: Proceedings of the 2004 ACM SIGMOD international conference on Management of data. New York, NY, USA: ACM Press, pp. 11-22, 2004. Article (CrossRef Link)
3 V. Fay-Wolfe, L. C. DiPippo, G. Cooper, R. Johnson, P. Kortmann, and B. Thuraisingham. "Real-time CORBA," Parallel and Distributed Systems, IEEE Transactions on, vol. 11, no. 10, pp. 1073-1089, 2000. Article (CrossRef Link)   DOI
4 K. P. Birman, M. Hayden, O. Ozkasap, Z. Xiao, M. Budiu, and Y. Minsky, "Bimodal multicast," ACM Trans. Comput. Syst., vol. 17, no. 2, pp. 41-88, May 1999. Article (CrossRef Link)   DOI
5 R. Obermaisser, "Reuse of can-based legacy applications in time triggered architectures," IEEE Transactions on Industrial Informatics, vol. 2, no. 4, pp. 255-268, 2006. Article (CrossRef Link)   DOI
6 W. Steiner and J. Rushby, "TTA and PALS: Formally verified design patterns for distributed cyber-physical systems," in Proc. of Digital Avionics Systems Conference (DASC), 2011 IEEE/AIAA 30th, oct. 2011, pp. 79-86, 2011. Article (CrossRef Link)
7 K. P. Birman, "Replication and fault-tolerance in the ISIS system," ACM SIGOPS Operating Systems Review, vol. 19, no. 5, pp. 79-86, 1985. Article (CrossRef Link)   DOI
8 A. Benveniste, P. Caspi, S.A. Edwards, N. Halbwachs, P. Le Guernic, and R. De Simone, "The synchronous languages 12 years later," Proceedings of the IEEE, vol. 91, no. 1, pp. 64-83. 2003. Article (CrossRef Link)   DOI
9 P. T. Eugster, R. Guerraoui, S. B. Handurukande, P. Kouznetsov, and A.-M. Kermarrec, "Lightweight probabilistic broadcast," ACM Trans. Comput. Syst., vol. 21, no. 4, pp. 341-374, Nov. 2003. Article (CrossRef Link)   DOI   ScienceOn
10 L. Sha, A. Al-Nayeem, M. Sun, J. Meseguer, and P. C. Olveczky, "PALS: Physically Asynchronous Logically Synchronous Systems," University of Illinois at Urbana-Champaign, http://www.ideals.illinois.edu/handle/2142/11897, Tech. Rep., 2009.
11 C. Kim, M. Sun, S. Mohan, H. Yun, L. Sha, and T. F. Abdelzaher, "A framework for the safe interoperability of medical devices in the presence of network failures," in Proc. of Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS '10. ACM, pp. 149-158, 2010. Article (CrossRef Link)
12 J. Meseguer and P. C. Olveczky, "Formalization and correctness of the PALS architectural pattern for distributed real-time systems," in Proc. of Proceedings of the 12th international conference on Formal engineering methods and software engineering, ICFEM'10. Berlin, Heidelberg: Springer-Verlag, pp. 303-320, 2010. Article (CrossRef Link)
13 W. Kang, K. Kapitanova, and S. H. Son, "RDDS: A real-time data distribution service for cyber-physical systems," IEEE Trans. Industrial Informatics, vol. 8, no. 2, pp. 393-405, 2012. Article (CrossRef Link)   DOI   ScienceOn
14 A. Kermarrec and M. Steen. "Gossiping in distributed systems," SIGOPS Oper. Syst. Rev. vol. 41, no. 5, pp. 2-7, October 2007. Article (CrossRef Link)   DOI
15 J. Pereira, R. Luis, and O. Rui. "Semantically reliable multicast: Definition, implementation, and performance evaluation," Computers, IEEE Transactions on, vol. 52, no.2, pp. 150-165, 2003. Article (CrossRef Link)   DOI
16 S. Ranganathan, A. D. George, R. W. Todd, and M. C. Chidester, "Gossip-style failure detection and distributed consensus for scalable heterogeneous clusters," Cluster Computing, vol. 4, no. 3, pp. 197-209, Jul. 2001. Article (CrossRef Link)   DOI
17 A. Al-Nayeem, C. Kim, W. Kang, P.-L. Wu, and L. Sha, "Middleware design for physically-asynchronous logically-synchronous (pals) systems," in Proc. of Proceedings of the 13th ACM international conference on Embedded software (Emsoft'13), 2013. Article (CrossRef Link)
18 N. Kottenstette, X. Koutsoukos, J. Hall, J. Sztipanovits, and P. Antsaklis, "Passivity-based design of wireless networked control systems for robustness to time-varying delays," in Proc. of Proceedings of the 2008 Real-Time Systems Symposium, RTSS '08, 2008. Article (CrossRef Link)
19 S. Miller, D. Cofer, L. Sha, J. Meseguer, and A. Al-Nayeem, "Implementing logical synchrony in integrated modular avionics," in Proc. of Digital Avionics Systems Conference, 2009. DASC '09. IEEE/AIAA 28th, pp. 1.A.3-1 -1.A.3-12, oct.2009. Article (CrossRef Link)
20 H. Kopetz and G. Bauer, "The time-triggered architecture," Proceedings of the IEEE, vol. 91, no. 1, pp. 112-126, Jan 2003. Article (CrossRef Link)   DOI
21 N. Leveson and C. Turner, "An investigation of the therac-25 accidents," Computer, vol. 26, no. 7, pp. 18-41, July 1993. Article (CrossRef Link)
22 "MD PnP Project: Getting connected for patient safety, http://www.mdpnp.org," 2012.
23 S. Andalam, P.S. Roop, A. Girault, "Deterministic, predictable and light-weight multithreading using PRET-C," Design, Automation & Test in Europe Conference & Exhibition (DATE), 2010, pp. 1653-1656, IEEE, 2010 Article (CrossRef Link)
24 G. Berry and G. Gonthier, "The esterel synchronous programming language: design, semantics, implementation," Sci. Comput. Program., vol. 19, no. 2, pp. 87-152, Nov. 1992. Article (CrossRef Link)   DOI   ScienceOn